Saved in:
| Main Author: | |
|---|---|
| Format: | Preprint |
| Published: |
2025
|
| Subjects: | |
| Online Access: | https://arxiv.org/abs/2501.16067 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
Global choice is not conservative over local choice for Zermelo set theory
by: Glazer, Elliot
Published: (2023)
by: Glazer, Elliot
Published: (2023)
Cauchy-completions and the rule of unique choice in relational doctrines
by: Dagnino, Francesco, et al.
Published: (2024)
by: Dagnino, Francesco, et al.
Published: (2024)
On the logical structure of some maximality and well-foundedness principles equivalent to choice principles
by: Herbelin, Hugo
Published: (2024)
by: Herbelin, Hugo
Published: (2024)
On some subtheories of strong dependent choice
by: Aguilera, Juan P., et al.
Published: (2024)
by: Aguilera, Juan P., et al.
Published: (2024)
Extensional realizability and choice for dependent types in intuitionistic set theory
by: Frittaion, Emanuele
Published: (2024)
by: Frittaion, Emanuele
Published: (2024)
Class choice and the surprising weakness of Kelley-Morse set theory
by: Gitman, Victoria, et al.
Published: (2026)
by: Gitman, Victoria, et al.
Published: (2026)
Geometric theories for real number algebra without sign test or dependent choice axiom
by: Lombardi, Henri, et al.
Published: (2024)
by: Lombardi, Henri, et al.
Published: (2024)
On the logical structure of choice and bar induction principles
by: Brede, Nuria, et al.
Published: (2021)
by: Brede, Nuria, et al.
Published: (2021)
The Logics of Individual Medvedev Frames
by: Chen, Zhicheng, et al.
Published: (2024)
by: Chen, Zhicheng, et al.
Published: (2024)
Descending sequences in reflection hierarchies
by: Łełyk, Mateusz, et al.
Published: (2025)
by: Łełyk, Mateusz, et al.
Published: (2025)
Sign sequences of log-atomic numbers
by: Bagayoko, Vincent
Published: (2024)
by: Bagayoko, Vincent
Published: (2024)
New simple theories from hypergraph sequences
by: Malliaris, M., et al.
Published: (2021)
by: Malliaris, M., et al.
Published: (2021)
The short exact sequence in definable Galois cohomology
by: Meretzky, David
Published: (2024)
by: Meretzky, David
Published: (2024)
On the representation of C-recursive integer sequences by arithmetic terms
by: Prunescu, Mihai, et al.
Published: (2024)
by: Prunescu, Mihai, et al.
Published: (2024)
Fundamental sequences and fast-growing hierarchies for the Bachmann-Howard ordinal
by: Fernández-Duque, David, et al.
Published: (2022)
by: Fernández-Duque, David, et al.
Published: (2022)
Dynamical ideals and the axiom of choice
by: Zapletal, Jindrich
Published: (2024)
by: Zapletal, Jindrich
Published: (2024)
Modeling FO-limits for monadically stable sequences
by: Braunfeld, S., et al.
Published: (2025)
by: Braunfeld, S., et al.
Published: (2025)
Mad families of Gowers' infinite block sequences
by: Yung, Clement
Published: (2024)
by: Yung, Clement
Published: (2024)
Walks along a weak square sequence and the non-semiproperness of Namba forcings
by: Tsukuura, Kenta
Published: (2025)
by: Tsukuura, Kenta
Published: (2025)
Intermediate models with deep failure of choice
by: Hayut, Yair, et al.
Published: (2024)
by: Hayut, Yair, et al.
Published: (2024)
Local reflections of choice
by: Ryan-Smith, Calliope
Published: (2024)
by: Ryan-Smith, Calliope
Published: (2024)
Strongly increasing sequences
by: Larson, Paul B., et al.
Published: (2025)
by: Larson, Paul B., et al.
Published: (2025)
Computable Folner sequences of amenable groups
by: Duda, Karol, et al.
Published: (2025)
by: Duda, Karol, et al.
Published: (2025)
Operator-based semantics for choice programs: is choosing losing? (full version)
by: Heyninck, Jesse
Published: (2024)
by: Heyninck, Jesse
Published: (2024)
Remarks on convergence of Morley sequences
by: Khanaki, Karim
Published: (2021)
by: Khanaki, Karim
Published: (2021)
Borel Complexity of the set of vectors normal for a fixed recurrence sequence
by: Kaneko, Hajime, et al.
Published: (2025)
by: Kaneko, Hajime, et al.
Published: (2025)
Finding descending sequences through ill-founded linear orders
by: Goh, Jun Le, et al.
Published: (2020)
by: Goh, Jun Le, et al.
Published: (2020)
The weakness of finding descending sequences in ill-founded linear orders
by: Goh, Jun Le, et al.
Published: (2024)
by: Goh, Jun Le, et al.
Published: (2024)
Hereditary History-Preserving Bisimilarity: Characterizations via Backward Ready Multisets
by: Bernardo, Marco, et al.
Published: (2025)
by: Bernardo, Marco, et al.
Published: (2025)
Bounding finite-image sequences of length $ω^k$
by: Altman, Harry
Published: (2024)
by: Altman, Harry
Published: (2024)
Bounded ultraimaginary independence and its total Morley sequences
by: Hanson, James
Published: (2022)
by: Hanson, James
Published: (2022)
A Banach space with $L$-orthogonal sequences but without $L$-orthogonal elements
by: Avilés, Antonio, et al.
Published: (2025)
by: Avilés, Antonio, et al.
Published: (2025)
A consistency theorem for cardinal sequences of length $< ω_3$
by: Martínez, Juan Carlos, et al.
Published: (2025)
by: Martínez, Juan Carlos, et al.
Published: (2025)
On disjoint stationary sequences
by: Levine, Maxwell
Published: (2023)
by: Levine, Maxwell
Published: (2023)
Predicates and terms from non-standard sequences
by: Zhuravlov, V. M.
Published: (2023)
by: Zhuravlov, V. M.
Published: (2023)
Generalized quantifiers using team semantics
by: Engström, Fredrik
Published: (2024)
by: Engström, Fredrik
Published: (2024)
History-deterministic Timed Automata
by: Bose, Sougata, et al.
Published: (2023)
by: Bose, Sougata, et al.
Published: (2023)
Comparing and Contrasting Arrow's Impossibility Theorem and Gödel's Incompleteness Theorem
by: Livson, Ori, et al.
Published: (2025)
by: Livson, Ori, et al.
Published: (2025)
A study of cut-elimination for a non-labelled cyclic proof system for propositional dynamic logics
by: Oda, Yukihiro
Published: (2025)
by: Oda, Yukihiro
Published: (2025)
Abstract computation over first-order structures. Part IIa: Moschovakis' operator and other non-determinisms
by: Gaßner, Christine
Published: (2025)
by: Gaßner, Christine
Published: (2025)