Commutativity and self-reference

DOI10.1305/NDJFL/1093870156MaRDI QIDQ786803zbMATH OpenOpenAlexFDO

Authors Craig Smoryński

Publication date 1982

Published in Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1305/ndjfl/1093870156

zbMATH Keywords

arithmetical self-referencecommutativitycommuting operatorsfixed pointmodal analysis of arithmetical self-referencemodal logic GL

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Proof theory and constructive mathematics (03F99)

Review text

A common occurrence in fixed point theory is the sharing of some fixed point by commuting operators. But, how common is (his occurrence in the arithmetical fixed point theory, i.e., in the theory of arithmetical self-reference? The author features the modal analysis of arithmetical self-reference as a tool to study this question and gives some observations with open problems from such a point of view. In the introduction, the author says: Though the results are not difficult, I think they do testify to the coherence of the modal theory. Moreover, through the exhibition of nontrivial differences between varying types of self-reference, they offer some indication of the possibility of a rich theory of arithmetical self-reference.

Recommendations

• Fixed points and self-reference
• Fixed point constructions
• On common fixed and periodic points of commuting functions
• A Universal Approach to Self-Referential Paradoxes, Incompleteness and Fixed Points
• scientific article; zbMATH DE number 7140669

Cited in

(1)

• Fixed point algebras

This page was built for publication: Commutativity and self-reference

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