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

DOI10.1007/BF01405490zbMath0538.03052MaRDI QIDQ793024

Francisco J. Varela, Jorge Soto-Andrade

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) Categorical logic, topoi (03G30) General systems theory (93A99) Closed categories (closed monoidal and Cartesian closed categories, etc.) (18D15) General biology and biomathematics (92B05) Theory of computing (68Q99)

Related Items (14)

Learning processes based on incomplete identification and information generation ⋮ Bootstrapping system defined by inconsistent relation between Boolean and non-Boolean algebra ⋮ Invariant sets and Knaster-Tarski principle ⋮ Organizational invariance and metabolic closure: analysis in terms of \((M, R)\) systems ⋮ Sets with structure, mappings and fixed point property: fixed point structures ⋮ Multivalued fractals ⋮ Appearance of hierarchical structure in hyper-dilation model: Model of generalized measurement process ⋮ 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 ⋮ Functional dynamics. I: Articulation process ⋮ The Tarski–Kantorovitch prinicple and the theory of iterated function systems ⋮ From Lawvere to Brandenburger-Keisler: interactive forms of diagonalization and self-reference ⋮ Reflexive domains and fixed points ⋮ Autonomic life as the proof of incompleteness and Lawvere's theorem of fixed point

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