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) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Combinatory logic and lambda calculus (03B40)

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)

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

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)