coq-club AT inria.fr

Subject: The Coq mailing list

List archive

Re: [Coq-Club] Re: Is the Daniel Schepler's inconsistency real?

From: Adam Chlipala <adam AT chlipala.net>
To: Georgi Guninski <guninski AT guninski.com>
Cc: coq-club AT inria.fr
Subject: Re: [Coq-Club] Re: Is the Daniel Schepler's inconsistency real?
Date: Mon, 27 Jun 2011 13:13:39 -0400

May I ask you to please do the list members a favor and read Chapter 11, "Universes and Axioms," of CPDT before asking any more questions on this subject?
http://adam.chlipala.net/cpdt/

Re: [Coq-Club] Is the Daniel Schepler's inconsistency real?, (continued)
- [Coq-Club] Re: Is the Daniel Schepler's inconsistency real?, Daniel Schepler
  - Message not available
    - Re: [Coq-Club] Re: Is the Daniel Schepler's inconsistency real?, Daniel Schepler
      - Re: [Coq-Club] Re: Is the Daniel Schepler's inconsistency real?, Georgi Guninski
        
        Re: [Coq-Club] Re: Is the Daniel Schepler's inconsistency real?, AUGER Cedric
        
        Re: [Coq-Club] Re: Is the Daniel Schepler's inconsistency real?, Adam Chlipala