Power-like models of set theory

DOI10.2307/2694973zbMATH Open0994.03034OpenAlexW2034208453MaRDI QIDQ4328832

Ali Enayat

Publication date: 29 April 2002

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2694973

zbMATH Keywords

models of set theory\(\theta\)-like modelconsistent extension of ZFmodel of Zermelo-Fraenkel set theory

Mathematics Subject Classification ID

Large cardinals (03E55) Models of arithmetic and set theory (03C62)

Cites Work

• Aronszajn trees on \(\aleph_2\) and \(\aleph_3\).
• Logic year 1979--80, The University of Connecticut, USA
• The tree property at successors of singular cardinals
• A partition calculus in set theory
• Boolean extensions which efface the Mahlo property
• Models with second order properties II. Trees with no undefined branches
• Fundamenta Mathematicae: An Examination of Its Founding and Significance

Related Items (8)

End extending models of set theory via power admissible covers ⋮ Set theory with a proper class of indiscernibles ⋮ Relational, closure and partition powerset theories ⋮ The powerset operator on abstract interpretations ⋮ Model theory of the regularity and reflection schemes ⋮ ZFC PROVES THAT THE CLASS OF ORDINALS IS NOT WEAKLY COMPACT FOR DEFINABLE CLASSES ⋮ Similarities between powersets of terms ⋮ Rank-initial embeddings of non-standard models of set theory

Recommendations

• Title not available (Why is that?) 👍 👎
• The cardinality of powersets in finite models of the powerset axiom 👍 👎
• Relational powerset theories 👍 👎
• Condensable models of set theory 👍 👎
• A note on the structure of the power set 👍 👎
• Closure theories of powerset theories 👍 👎
• On power set in explicit mathematics 👍 👎
• Relational, closure and partition powerset theories 👍 👎

This page was built for publication: Power-like models of set theory

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