Self-reference and fixed points: A discussion and an extension of Lawvere's theorem

DOI10.1007/BF01405490MaRDI QIDQ793024zbMATH OpenFDO

Authors Jorge Soto Andrade, Francisco J. Varela

Publication date 1984

Published in Acta Applicandae Mathematicae (Search for Journal in Brave)

zbMATH Keywords

fixed pointsself-referencecontinuous latticescartesian closed categoriesbiological autonomycategory of chain complete posets with continuous morphismsdiagonal argumentsextension of Lawvere's Theoremreflexive domains

Mathematics Subject Classification ID

Fixed-point and coincidence theorems (topological aspects) (54H25) General biology and biomathematics (92B05) Categorical logic, topoi (03G30) Closed categories (closed monoidal and Cartesian closed categories, etc.) (18D15) Theory of computing (68Q99) General systems theory (93A99)

Recommendations

• A Universal Approach to Self-Referential Paradoxes, Incompleteness and Fixed Points
• Categorical pairs and the indicative shift
• Fixed points and self-reference
• Fixed point constructions
• On fixed-point theorems in synthetic computability

Cited in

(21)

• The Tarski–Kantorovitch prinicple and the theory of iterated function systems
• From Lawvere to Brandenburger-Keisler: interactive forms of diagonalization and self-reference
• Invariant sets and Knaster-Tarski principle
• Autonomic life as the proof of incompleteness and Lawvere's theorem of fixed point
• Functional dynamics. I: Articulation process
• Bootstrapping system defined by inconsistent relation between Boolean and non-Boolean algebra
• Categorical pairs and the indicative shift
• Learning processes based on incomplete identification and information generation
• On self-regular IPMs (with comments and rejoinder)
• Sets with structure, mappings and fixed point property: fixed point structures
• Multivalued fractals
• A Universal Approach to Self-Referential Paradoxes, Incompleteness and Fixed Points
• Reflexive domains and fixed points
• Organizational invariance and metabolic closure: analysis in terms of \((M, R)\) systems
• Appearance of hierarchical structure in hyper-dilation model: Model of generalized measurement process
• On fixed-point theorems in synthetic computability
• Self-similar sets as Tarski's fixed points
• AN APPROACH TO A MATHEMATICS OF PHENOMENA: CANONICAL ASPECTS OF REENTRANT FORM EIGENBEHAVIOR IN THE EXTENDED CALCULUS OF INDICATIONS
• Fixed point constructions
• Fixed points and self-reference
• scientific article; zbMATH DE number 823597 (Why is no real title available?)

This page was built for publication: Self-reference and fixed points: A discussion and an extension of Lawvere's theorem

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