Fixed point theorems for inconsistent and incomplete formation of large categories

Joshua Cole, Chris Mortensen


The method of fixed points is used to show that an unrestricted comprehension scheme for large categories can be described in either inconsistent or incomplete theories of several background logics; thus simplifying and generalising a result of Feferman.

Full Text:



  • There are currently no refbacks.