Minimal elementary extensions of models of set theory and arithmetic

DOI10.1007/BF01621470zbMATH Open0734.03024MaRDI QIDQ810502FDOQ810502

Authors 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)

Recommendations

• Elementary extensions of models of set theory
• On Certain Elementary Extensions of Models of Set Theory
• Elementary Extensions of Models of the Alternative Set Theory
• scientific article; zbMATH DE number 3887675
• Subsets of models of arithmetic
• Minimal models of Heyting arithmetic
• Elementary epimorphisms between models of set theory
• Theories of arithmetics in finite models
• Minimum models of second-order set theories
• Theories of initial segments of standard models of arithmetics and their complete extensions

Cites Work

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

Cited In (6)

• Title not available (Why is no real title available?)
• Conservative extensions of models of set theory and generalizations
• Chains of end elementary extensions of models of set theory
• Elementary Extensions of Models of the Alternative Set Theory
• Minimal readability of intuitionistic arithmetic and elementary analysis
• Elementary epimorphisms between models of set theory

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

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