On expandability of models of Peano arithmetic. III

DOI10.1007/BF02121264zbMath0359.02058MaRDI QIDQ1238808

Roman Murawski

Publication date: 1977

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

Mathematics Subject Classification ID

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

Related Items (1)

Set theory with a filter quantifier

Cites Work

• On expandability of models of Peano arithmetic. I
• On expandability of models of Peano arithmetic. II
• Arithmetization of metamathematics in a general setting
• An introduction to recursively saturated and resplendent models
• Axiomatizability by a schema
• Internally standard set theories

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