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)

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

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

• Title not available (Why is that?)
• Some points in βN
• End Extensions, Conservative Extensions, and the Rudin-Frolik Ordering
• Title not available (Why is that?)
• Limit Ultrapowers
• On Certain Elementary Extensions of Models of Set Theory
• The theory of Boolean ultrapowers
• Toward model theory through recursive saturation
• Models and types of Peano's arithmetic
• A minimal extension that is not conservative
• Conservative extensions of models of set theory and generalizations
• 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
• Hanf numbers for omitting types over particular theories
• A model of peano arithmetic with no elementary end extension
• A simple tree lemma and its application to a counterexample of philips

Cited In (6)

• Title not available (Why is that?)
• 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)