Fixed point constructions

MaRDI QIDQ3604277zbMATH OpenFDO

Authors Andrea Cantini

Publication date 24 February 2009

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Combinatory logic and lambda calculus (03B40) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47)

Recommendations

• Fixed points and self-reference
• 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
• Editorial introduction
• scientific article; zbMATH DE number 664031

Cited in

(10)

• scientific article; zbMATH DE number 5186437 (Why is no real title available?)
• Categorical pairs and the indicative shift
• Fixed-point models for theories of properties and classes
• scientific article; zbMATH DE number 6149557 (Why is no real title available?)
• Fixed points and unfounded chains
• Truth in applicative theories
• Commutativity and self-reference
• Self-reference and fixed points: A discussion and an extension of Lawvere's theorem
• A fixed-point farrago
• Another construction of a Cantor bouquet at a fixed indeterminate point

This page was built for publication: Fixed point constructions

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