Neutrally expandable models of arithmetic

DOI10.1002/malq.201800043OpenAlexW2965309719MaRDI QIDQ5108857

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)

Related Items (1)

CP‐generic expansions of models of Peano Arithmetic

Cites Work

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

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