A Generalization of a Theorem of H. Friedman

DOI10.1002/MALQ.19850311403MaRDI QIDQ3701406zbMATH OpenOpenAlexFDO

Authors

Publication date 1985

Published in Mathematical Logic Quarterly (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1002/malq.19850311403

zbMATH Keywords

fragments of arithmeticinitial segmentmodels of arithmeticrecursivesaturation

Mathematics Subject Classification ID

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

Recommendations

• A Note on a Theorem of H. FRIEDMAN
• Automorphisms of models of bounded arithmetic
• A note on a theorem of Kanovei
• End-extending models of IΔ_0 + exp + ΒΣ_1
• Some remarks on initial segments in models of Peano arithmetic

Cited in

(18)

• Tanaka's theorem revisited
• Unifying the model theory of first-order and second-order arithmetic via \(\mathrm{WKL}_0^\ast\)
• scientific article; zbMATH DE number 3855080 (Why is no real title available?)
• Automorphisms of models of bounded arithmetic
• GENERALIZING A THEOREM OF HUPPERT AND MANZ
• A normal form theorem for first order formulas and its application to Gaifman's splitting theorem
• scientific article; zbMATH DE number 3939366 (Why is no real title available?)
• A Note on a Theorem of H. FRIEDMAN
• scientific article; zbMATH DE number 4006270 (Why is no real title available?)
• scientific article; zbMATH DE number 612353 (Why is no real title available?)
• The Barwise-Schlipf theorem
• Notes on various versions of Friedman's self-embedding theorem
• UNCOUNTABLE REAL CLOSED FIELDS WITH PA INTEGER PARTS
• Injecting inconsistencies into models of PA
• The self-embedding theorem of \(\text{WKL}_ 0\) and a non-standard method
• A sharpened version of McAloon's theorem on initial segments of models of \(I\Delta_ 0\)
• A note on a theorem of Kanovei
• A generalization of the Curtis-Hedlund theorem

This page was built for publication: A Generalization of a Theorem of H. Friedman

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