Arithmetic analogues of McAloon's unique Rosser sentences

DOI10.1007/BF01624079zbMath0663.03049OpenAlexW1503684994MaRDI QIDQ1114685

Craig Smorynski

Publication date: 1989

Published in: Archive for Mathematical Logic (Search for Journal in Brave)

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

zbMATH Keywords

PRAfragments of arithmeticHenkin sentencesend extensions of models of arithmeticMcAloon-Rosser sentencesRosser theoremself referential sentences

Mathematics Subject Classification ID

First-order arithmetic and fragments (03F30) Models of arithmetic and set theory (03C62)

Related Items

Why Horn formulas matter in computer science: initial structures and generic examples, Franco Montagna's work on provability logic and many-valued logic, The Henkin Sentence, Interpretability suprema in Peano arithmetic, Informal versus formal mathematics, ANOTHER LOOK AT THE SECOND INCOMPLETENESS THEOREM, Uniform density in Lindenbaum algebras

Cites Work

• Unnamed Item
• Unnamed Item
• Self-reference and modal logic
• Peano's smart children: A provability logical study of systems with built-in consistency
• Completeness Theorems, Incompleteness Theorems and Models of Arithmetic