On expandability of models of Peano arithmetic. II

DOI10.1007/BF02123407zbMath0353.02036OpenAlexW4240595892MaRDI QIDQ1236115

Roman Murawski

Publication date: 1976

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

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

Mathematics Subject Classification ID

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

Related Items (5)

Recursively saturated nonstandard models of arithmetic ⋮ European meeting of the Association for Symbolic Logic, Mons, Belgium, 1978 ⋮ On expandability of models of Peano arithmetic. III ⋮ European Summer Meeting of the Association for Symbolic Logic ⋮ Meeting of the Association for Symbolic Logic Florence, Italy 1982

Cites Work

• The classical and the ω-complete arithmetic
• On models of arithmetic—Answers to two problems raised by H. Gaifman
• ω-models of second order arithmetic and admissible sets
• Discernible elements in models for Peano arithmetic
• Normal models and the field $Σ*_1$
• The role of the axiom of induction in elementary arithmetic
• Unnamed Item
• Unnamed Item
• Unnamed Item

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