Some Properties of the Family of Expansions to Models of A/Δ + Σ‐AC

DOI10.1002/MALQ.19910371703MaRDI QIDQ3989276zbMATH OpenOpenAlexFDO

Authors Roman Murawski

Publication date 28 June 1992

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

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

zbMATH Keywords

expandabilityPArecursively saturated model of arithmeticsatisfaction class

Mathematics Subject Classification ID

Model theory of denumerable and separable structures (03C15) Models of arithmetic and set theory (03C62) Nonstandard models of arithmetic (03H15)

Recommendations

• Definable sets and expansions of models of Peano arithmetic
• scientific article; zbMATH DE number 4043837
• ITERATIONS OF SATISFACTION CLASSES AND MODELS OF PEANO ARITHMETIC
• A note on the variety of satisfaction classes
• scientific article; zbMATH DE number 32280

Cited in

(9)

• Pointwise definable substructures of models of Peano arithmetic
• On expandability of models of Peano arithmetic. III
• Full satisfaction classes, definability, and automorphisms
• A note on satisfaction classes
• A note on the variety of satisfaction classes
• scientific article; zbMATH DE number 4043837 (Why is no real title available?)
• ITERATIONS OF SATISFACTION CLASSES AND MODELS OF PEANO ARITHMETIC
• Compactly expandable models and stability
• Neutrally expandable models of arithmetic

This page was built for publication: Some Properties of the Family of Expansions to Models of A/Δ + Σ‐AC

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