Neutrally expandable models of arithmetic

DOI10.1002/MALQ.201800043MaRDI QIDQ5108857zbMATH OpenOpenAlexFDO

Authors Athar Abdul-Quader, Roman Kossak

Publication date 6 May 2020

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

Full work available at URL https://arxiv.org/abs/1712.06503

Mathematics Subject Classification ID

Models of arithmetic and set theory (03C62)

Recommendations

• Some Properties of the Family of Expansions to Models of A/Δ + Σ‐AC
• On expandability of models of Peano arithmetic. III
• Extendible Sets in Peano Arithmetic
• On expandability of models of arithmetic and set theory to models of weak second-order theories
• Enayat models of Peano arithmetic

Cites work

• A certain class of models of Peano arithmetic
• Construction of Satisfaction Classes for Nonstandard Models
• Discernible elements in models for Peano arithmetic
• Enayat models of Peano arithmetic
• Expansions of o-minimal structures by dense independent sets
• Extensions of ordered theories by generic predicates
• Forcing and Models of Arithmetic
• Generic structures and simple theories
• Nonstandard definability
• Recursively saturated nonstandard models of arithmetic
• Subsets coded in elementary end extensions
• The structure of models of Peano arithmetic
• Undefinable Classes and Definable Elements in Models of Set Theory and Arithmetic
• Uniqueness, collection, and external collapse of cardinals in IST and models of Peano arithmetic

Cited in

(2)

• CP‐generic expansions of models of Peano Arithmetic
• Neutrally Expandable Models of Arithmetic

This page was built for publication: Neutrally expandable models of arithmetic

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