Arithmetic analogues of McAloon's unique Rosser sentences

DOI10.1007/BF01624079zbMATH Open0663.03049OpenAlexW1503684994MaRDI QIDQ1114685FDOQ1114685

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

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

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)

Cites Work

• Peano's smart children: A provability logical study of systems with built-in consistency
• Self-reference and modal logic
• Completeness Theorems, Incompleteness Theorems and Models of Arithmetic
• Title not available (Why is that?)
• Title not available (Why is that?)

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)