On expandability of models of Peano arithmetic. I

DOI10.1007/BF02123406zbMath0353.02035OpenAlexW4250353949MaRDI QIDQ1236114

Roman Murawski

Publication date: 1977

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf02123406

Mathematics Subject Classification ID

Model-theoretic algebra (03C60) Computability and recursion theory on ordinals, admissible sets, etc. (03D60)

Related Items (5)

Definable sets and expansions of models of Peano arithmetic ⋮ The Barwise-Schlipf theorem ⋮ On cofinal extensions of models of arithmetic ⋮ On expandability of models of Peano arithmetic. III ⋮ Reverse mathematics and its meaning

Cites Work

• Model theory
• Arithmetization of metamathematics in a general setting
• Predicative Expansions of Axiomatic Theories
• Second order arithmetic and related topics
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: On expandability of models of Peano arithmetic. I