scientific article; zbMATH DE number 823597

MaRDI QIDQ4856952zbMATH OpenFDO

Authors Joshua A. Cole, Chris Mortensen

Publication date 26 February 1996

zbMATH Keywords

fixed pointsinconsistent theoriesincomplete theorieslarge categoriesunrestricted comprehension scheme

Mathematics Subject Classification ID

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

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

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)