Some unifying fixed point principles

DOI10.1007/BF00370391MaRDI QIDQ1176099zbMATH OpenOpenAlexFDO

Authors Raymond M. Smullyan

Publication date 25 June 1992

Published in Studia Logica (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/bf00370391

zbMATH Keywords

fixed pointcombinatory logicrecursion theorymetamathematicsapplicative system

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40) Gödel numberings and issues of incompleteness (03F40) Recursive functions and relations, subrecursive hierarchies (03D20) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01)

Recommendations

• Fixed points and self-reference
• Some results in the fixed point theory. III
• Fixed points and diagonal method
• From mathesis universalis to fixed points and related set-theoretic concepts
• A systematic generalization procedure for fixed-point theorems

Cited in

(2)

• From mathesis universalis to fixed points and related set-theoretic concepts
• Fixed points and diagonal method

This page was built for publication: Some unifying fixed point principles

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