Fixed point theorems for inconsistent and incomplete formation of large categories

Joshua Cole, Chris Mortensen

Abstract


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:

PDF

Refbacks

  • There are currently no refbacks.