An addition to Rosser's theorem

DOI10.2307/2275611zbMATH Open0848.03030OpenAlexW2092134241MaRDI QIDQ4879914FDOQ4879914

Authors: 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

Recommendations

• A further extension of Rödl's theorem
• A generalization of Rosenbrock's theorem
• Refining Rossberg's theorem
• A further extension of Rotfel'd theorem
• An addendum to Birkhoff's theorem
• On a theorem of Rosenblatt
• A generalization of the Rogosinski-Rogosinski theorem
• An addendum to the Vietoris-Begle theorem
• An addition to the Tumura-Clunie theorem
• Addition to the Popoviciu theorem

zbMATH Keywords

metamathematicsindependent statementprimitive recursive theory

Mathematics Subject Classification ID

First-order arithmetic and fragments (03F30)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Construction of Satisfaction Classes for Nonstandard Models
• On the incompleteness theorems
• Nonstandard definability
• On the structure of initial segments of models of arithmetic

Cited In (3)

• Refining Rossberg's theorem
• The incompleteness theorems after 70 years
• The scope of Gödel's first incompleteness theorem

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

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