Calculating self-referential statements

DOI10.4064/FM-109-3-189-210MaRDI QIDQ3895468zbMATH OpenOpenAlexFDO

Authors Craig Smoryński

Publication date 1980

Published in Fundamenta Mathematicae (Search for Journal in Brave)

Full work available at URL https://eudml.org/doc/211159

zbMATH Keywords

diagonalizationself-reference

Mathematics Subject Classification ID

Proof theory and constructive mathematics (03F99)

Cited in

(12)

• The provability logics of recursively enumerable theories extending Peano arithmetic at arbitrary theories extending Peano arithmetic
• Generic generalized Rosser fixed points
• Independent numerations of theories and recursive progressions
• On partial disjunction properties of theories containing Peano arithmetic
• On Guaspari's problem about partially conservative sentences
• Fixed point theorems for precomplete numberings
• Fixed point algebras
• Unary interpretability logics for sublogics of the interpretability logic \textbf{IL}
• A note on the diagonalizable algebras of PA and ZF
• On the conservation results for local reflection principles
• Mathematical developments of the incompleteness theorems
• Henkin sentences and local reflection principles for Rosser provability

This page was built for publication: Calculating self-referential statements

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