Minimal elementary extensions of models of set theory and arithmetic

DOI10.1007/BF01621470zbMath0734.03024MaRDI QIDQ810502

Ali Enayat

Publication date: 1990

Published in: Archive for Mathematical Logic (Search for Journal in Brave)

zbMATH Keywords

models of arithmeticBoolean ultrapowerminimal elementary extensions of models of set theory

Mathematics Subject Classification ID

Models of arithmetic and set theory (03C62)

Cites Work

• Unnamed Item
• Unnamed Item
• A minimal extension that is not conservative
• Conservative extensions of models of set theory and generalizations
• On Certain Elementary Extensions of Models of Set Theory
• Undefinable Classes and Definable Elements in Models of Set Theory and Arithmetic
• Conservative extensions of models of arithmetic
• On certain types and models for arithmetic
• Models and types of Peano's arithmetic
• Hanf numbers for omitting types over particular theories
• Some points in βN
• End Extensions, Conservative Extensions, and the Rudin-Frolik Ordering
• A model of peano arithmetic with no elementary end extension
• A simple tree lemma and its application to a counterexample of philips
• Toward model theory through recursive saturation
• The theory of Boolean ultrapowers
• Limit Ultrapowers

This page was built for publication: Minimal elementary extensions of models of set theory and arithmetic