An addition to Rosser's theorem

DOI10.2307/2275611zbMath0848.03030OpenAlexW2092134241MaRDI QIDQ4879914

Henryk Kotlarski

Publication date: 2 June 1996

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2275611

zbMATH Keywords

metamathematicsindependent statementprimitive recursive theory

Mathematics Subject Classification ID

First-order arithmetic and fragments (03F30)

Related Items (2)

The incompleteness theorems after 70 years ⋮ The scope of Gödel's first incompleteness theorem

Cites Work

• Unnamed Item
• Unnamed Item
• Nonstandard definability
• On the structure of initial segments of models of arithmetic
• Construction of Satisfaction Classes for Nonstandard Models
• On the incompleteness theorems

This page was built for publication: An addition to Rosser's theorem