Model theory of the regularity and reflection schemes

DOI10.1007/S00153-008-0089-ZMaRDI QIDQ938239zbMATH OpenOpenAlexFDO

Authors Ali Enayat, S. Mohsenipour

Publication date 18 August 2008

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

Full work available at URL https://doi.org/10.1007/s00153-008-0089-z

zbMATH Keywords

\(\kappa\)-like modelselementary end extensionsreflection schemeregularity scheme

Mathematics Subject Classification ID

Models of arithmetic and set theory (03C62) Model theory of ordered structures; o-minimality (03C64) Logic with extra quantifiers and operators (03C80)

Recommendations

• scientific article; zbMATH DE number 4116510
• Model theory and spectra
• Model theory of special subvarieties and Schanuel-type conjectures
• scientific article; zbMATH DE number 192904
• scientific article; zbMATH DE number 1136100
• Model theory of modules
• scientific article; zbMATH DE number 554994
• scientific article; zbMATH DE number 4059374
• scientific article; zbMATH DE number 125233
• MODEL THEORY AND ULTRAPRODUCTS

Cites work

• ``Gap 1 two-cardinal principles and the omitting types theorem for \(\mathcal L(\mathcal Q)\)
• A gap 1 cardinal transfer theorem
• A Note on the Two Cardinal Problem
• An application of games to the completeness problem for formalized theories
• An introduction to recursively saturated and resplendent models
• Blunt and topless end extensions of models of set theory
• Comparison of the axioms of local and universal choice
• Elementary extensions of countable models of set theory
• End extensions and numbers of countable models
• Generalized Quantifiers and Compact Logic
• Generalizing special Aronszajn trees
• scientific article; zbMATH DE number 3908418 (Why is no real title available?)
• scientific article; zbMATH DE number 3767656 (Why is no real title available?)
• scientific article; zbMATH DE number 51556 (Why is no real title available?)
• scientific article; zbMATH DE number 1226875 (Why is no real title available?)
• Levy and set theory
• Model theory for infinitary logic. Logic with countable conjunctions and finite quantifiers
• Models of set theory with definable ordinals
• On Certain Elementary Extensions of Models of Set Theory
• On power-like models for hyperinaccessible cardinals
• On κ-like structures which embed stationary and closed unbounded subsets
• Power-like models of set theory
• Powers of regular cardinals
• Recursive logic frames
• Regularity in models of arithmetic
• Set Theory
• Some model theoretic results for -logic
• The fine structure of the constructible hierarchy
• The structure of models of Peano arithmetic
• Toward model theory through recursive saturation

Cited in

(7)

• Enriched regular theories
• Local collection and end-extensions of models of compositional truth
• scientific article; zbMATH DE number 4116510 (Why is no real title available?)
• Constructive reflectivity principles for regular theories
• scientific article; zbMATH DE number 4185594 (Why is no real title available?)
• MODEL THEORY OF DERIVATIONS OF THE FROBENIUS MAP REVISITED
• Model theory of the inaccessibility scheme

This page was built for publication: Model theory of the regularity and reflection schemes

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