Arithmetic analogues of McAloon's unique Rosser sentences

DOI10.1007/BF01624079MaRDI QIDQ1114685zbMATH OpenOpenAlexFDO

Authors Craig Smoryński

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)

Recommendations

• Rosser and Mostowski sentences
• Generic generalized Rosser fixed points
• Henkin sentences and local reflection principles for Rosser provability
• Arithmetic with a local reflection principle for Rosser provability formulas
• A remark on equivalent Rosser sentences

Cites work

• scientific article; zbMATH DE number 3745164 (Why is no real title available?)
• scientific article; zbMATH DE number 3520409 (Why is no real title available?)
• Completeness Theorems, Incompleteness Theorems and Models of Arithmetic
• Peano's smart children: A provability logical study of systems with built-in consistency
• Self-reference and modal logic

Cited in

(8)

• Uniform density in Lindenbaum algebras
• Franco Montagna's work on provability logic and many-valued logic
• Why Horn formulas matter in computer science: initial structures and generic examples
• Informal versus formal mathematics
• The Henkin sentence
• Derivability conditions on Rosser's provability predicates
• Interpretability suprema in Peano arithmetic
• Another look at the second incompleteness theorem

This page was built for publication: Arithmetic analogues of McAloon's unique Rosser sentences

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