Cover Image

Global choice is not conservative over local choice for Zermelo set theory

Fuente: arXiv

Saved in:

Bibliographic Details
Main Author:	Glazer, Elliot
Format:	Preprint
Published:	2023
Subjects:	Logic
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Extensional realizability and choice for dependent types in intuitionistic set theory
by: Frittaion, Emanuele
Published: (2024)

Class choice and the surprising weakness of Kelley-Morse set theory
by: Gitman, Victoria, et al.
Published: (2026)

Reflection Principles in ZFU
by: Glazer, Elliot, et al.
Published: (2026)

Geometric theories for real number algebra without sign test or dependent choice axiom
by: Lombardi, Henri, et al.
Published: (2024)

On some subtheories of strong dependent choice
by: Aguilera, Juan P., et al.
Published: (2024)

Cauchy-completions and the rule of unique choice in relational doctrines
by: Dagnino, Francesco, et al.
Published: (2024)

Individual choice sequences -- History, development and use
by: Niekus, Joop
Published: (2025)

On the logical structure of some maximality and well-foundedness principles equivalent to choice principles
by: Herbelin, Hugo
Published: (2024)

Tarskian truth theories over set theory
by: Enayat, Ali
Published: (2026)

Constructing crowded Hausdorff $P$-spaces in set theory without the axiom of choice
by: Tachtsis, Eleftherios, et al.
Published: (2025)

On the logical structure of choice and bar induction principles
by: Brede, Nuria, et al.
Published: (2021)

Necessary and Sufficient Conditions for Proving Choice in Zermelo-Fraenkel Set Theory
by: Khokhlov, Valentyn
Published: (2026)

Dynamical ideals and the axiom of choice
by: Zapletal, Jindrich
Published: (2024)

Local reflections of choice
by: Ryan-Smith, Calliope
Published: (2024)

Intermediate models with deep failure of choice
by: Hayut, Yair, et al.
Published: (2024)

Dimension theory for the asymptotic couple of the field of logarithmic transseries
by: Gehret, Allen, et al.
Published: (2025)

Operator-based semantics for choice programs: is choosing losing? (full version)
by: Heyninck, Jesse
Published: (2024)

Maximal δ-separated sets in separable metric spaces and weak forms of choice
by: Dybowski, Michał, et al.
Published: (2024)

Gradualist descriptionalist set theory
by: Simmons, David
Published: (2026)

Relating homotopy equivalences to conservativity in dependent type theories with computation axioms
by: Spadetto, Matteo
Published: (2023)

MSO logic of the real order with the set quantifiers ranging over the Borel sets
by: Džamonja, Mirna
Published: (2025)

A lower bound on the analytic log-canonical threshold over local fields of positive characteristic
by: Glazer, Itay, et al.
Published: (2025)

Fodor space in generalized descriptive set theory
by: Feldman, Ido, et al.
Published: (2026)

Implicative models of set theory
by: Maschio, Samuele, et al.
Published: (2023)

Choice and independence of premise rules in intuitionistic set theory
by: Frittaion, Emanuele, et al.
Published: (2024)

Randomness via infinite computation and effective descriptive set theory
by: Carl, Merlin, et al.
Published: (2016)

Very large set axioms over constructive set theories
by: Jeon, Hanul, et al.
Published: (2022)

Characterizing fragments of collection principle in set theory with model theoretic properties
by: Chen, Junhong
Published: (2025)

Generic derivations, differential largeness, and NTP$_2$
by: Kaplan, Elliot, et al.
Published: (2025)

Some aspects of topological dynamics of Polish groups (with an introduction to descriptive set theory)
by: Melleray, Julien
Published: (2026)

Definable coordinate geometries over fields, part 1: theory
by: Madarász, Judit, et al.
Published: (2025)

Descriptive set theory of separable Fréchet spaces
by: Braga, Bruno de Mendonça, et al.
Published: (2025)

Monotone $T$-convex $T$-differential fields
by: Kaplan, Elliot, et al.
Published: (2023)

Eccentricity, extendable choice and descending distributive forcing
by: Ryan-Smith, Calliope
Published: (2025)

Every countable model of arithmetic or set theory has a pointwise-definable end extension
by: Hamkins, Joel David
Published: (2022)

A choice-free proof of Mal'cev's theorem on quasivarieties
by: Shen, Guozhen
Published: (2025)

A note on uniform definability of types over finite sets in partial orders of finite width
by: Krisam, Timo, et al.
Published: (2024)

Quantum set theory: quantum conditionals and order of observable
by: Ozawa, Masanao
Published: (2024)

Stable first order theories as simplicial profinite sets
by: Gavrilovich, Misha
Published: (2025)

Full mad families of vector spaces and two local Ramsey theories
by: Yung, Clement
Published: (2025)