scientific article; zbMATH DE number 823597

zbMATH Open0833.18001MaRDI QIDQ4856952FDOQ4856952

Authors: Joshua A. Cole, Chris Mortensen 

Publication date: 26 February 1996

Title of this publication is not available (Why is that?)

Recommendations

• THE PROSPECTS OF UNLIMITED CATEGORY THEORY: DOING WHAT REMAINS TO BE DONE
• Self-reference and fixed points: A discussion and an extension of Lawvere's theorem
• A Universal Approach to Self-Referential Paradoxes, Incompleteness and Fixed Points
• Categorical pairs and the indicative shift
• Infinitary first-order categorical logic

zbMATH Keywords

fixed pointsinconsistent theoriesincomplete theorieslarge categoriesunrestricted comprehension scheme

Mathematics Subject Classification ID

Foundations, relations to logic and deductive systems (18A15)

Cited In (2)

• A categorical construction of Bachmann–Howard fixed points
• Large systems of independent objects in concrete categories. I

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4856952)