A model of \(\mathsf {ZFA}+ \mathsf {PAC}\) with no outer model of \(\mathsf {ZFAC}\) with the same pure part

DOI10.1007/s00153-018-0610-yzbMath1475.03097OpenAlexW2783058886MaRDI QIDQ1756492

Saharon Shelah, Paul B. Larson

Publication date: 14 January 2019

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

Full work available at URL: https://doi.org/10.1007/s00153-018-0610-y

zbMATH Keywords

forcingaxiom of choiceset theory with atom

Mathematics Subject Classification ID

Consistency and independence results (03E35) Ordinal and cardinal numbers (03E10) Axiom of choice and related propositions (03E25)

Cites Work

• Unnamed Item
• Combinatorial Set Theory
• On automorphism groups of countable structures
• On the existence of atomic models
• KNIGHT'S MODEL, ITS AUTOMORPHISM GROUP, AND CHARACTERIZING THE UNCOUNTABLE CARDINALS
• Set Theory
• The axiom of choice

This page was built for publication: A model of \(\mathsf {ZFA}+ \mathsf {PAC}\) with no outer model of \(\mathsf {ZFAC}\) with the same pure part