Approaching a Bristol model

DOI10.1017/BSL.2025.10126MaRDI QIDQ6848514zbMATH OpenFDO

Authors Asaf Karagila

Publication date 5 March 2026

Published in The Bulletin of Symbolic Logic (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://doi.org/10.1017/BSL.2025.10126

zbMATH Keywords

axiom of choiceBristol modelgeneric multiverseiterations of symmetric extensionsKinna-Wagner principlessymmetric extensionssymmetric multiverse

Mathematics Subject Classification ID

Axiom of choice and related propositions (03E25) Consistency and independence results (03E35)

Cites work

• A model of ZF + there exists an inaccessible, in which the dedekind cardinals constitute a natural non-standard model of arithmetic
• An independence result concerning the axiom of choice
• Borel reducibility and symmetric models
• Choiceless Löwenheim-Skolem property and uniform definability of grounds
• Combinatorial Set Theory
• Critical cardinals
• Independence results concerning Dedekindfinite sets
• Injectivity, Projectivity, and the Axiom of Choice
• Intermediate models and Kinna-Wagner principles
• Intermediate submodels and generic extensions in set theory
• Iterating symmetric extensions
• Models of ZF with the same sets of sets of ordinals
• On generic extensions without the axiom of choice
• On the Independence of the Kinna Wagner Principle
• REALIZING REALIZABILITY RESULTS WITH CLASSICAL CONSTRUCTIONS
• Set Theory
• Set theory.
• Squares, scales and stationary reflection
• The axiom of choice
• The Bristol model: an abyss called a Cohen real

This page was built for publication: Approaching a Bristol model

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