Image de couverture de livre

Individual choice sequences -- History, development and use

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteur principal:	Niekus, Joop
Format:	Preprint
Publié:	2025
Sujets:	Logic
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Global choice is not conservative over local choice for Zermelo set theory
par: Glazer, Elliot
Publié: (2023)

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

On some subtheories of strong dependent choice
par: Aguilera, Juan P., et autres
Publié: (2024)

Cauchy-completions and the rule of unique choice in relational doctrines
par: Dagnino, Francesco, et autres
Publié: (2024)

Extensional realizability and choice for dependent types in intuitionistic set theory
par: Frittaion, Emanuele
Publié: (2024)

Class choice and the surprising weakness of Kelley-Morse set theory
par: Gitman, Victoria, et autres
Publié: (2026)

Geometric theories for real number algebra without sign test or dependent choice axiom
par: Lombardi, Henri, et autres
Publié: (2024)

The Logics of Individual Medvedev Frames
par: Chen, Zhicheng, et autres
Publié: (2024)

Descending sequences in reflection hierarchies
par: Łełyk, Mateusz, et autres
Publié: (2025)

On the logical structure of choice and bar induction principles
par: Brede, Nuria, et autres
Publié: (2021)

Sign sequences of log-atomic numbers
par: Bagayoko, Vincent
Publié: (2024)

New simple theories from hypergraph sequences
par: Malliaris, M., et autres
Publié: (2021)

The short exact sequence in definable Galois cohomology
par: Meretzky, David
Publié: (2024)

On the representation of C-recursive integer sequences by arithmetic terms
par: Prunescu, Mihai, et autres
Publié: (2024)

Fundamental sequences and fast-growing hierarchies for the Bachmann-Howard ordinal
par: Fernández-Duque, David, et autres
Publié: (2022)

Walks along a weak square sequence and the non-semiproperness of Namba forcings
par: Tsukuura, Kenta
Publié: (2025)

Modeling FO-limits for monadically stable sequences
par: Braunfeld, S., et autres
Publié: (2025)

Mad families of Gowers' infinite block sequences
par: Yung, Clement
Publié: (2024)

Computable Folner sequences of amenable groups
par: Duda, Karol, et autres
Publié: (2025)

Strongly increasing sequences
par: Larson, Paul B., et autres
Publié: (2025)

Dynamical ideals and the axiom of choice
par: Zapletal, Jindrich
Publié: (2024)

Remarks on convergence of Morley sequences
par: Khanaki, Karim
Publié: (2021)

Intermediate models with deep failure of choice
par: Hayut, Yair, et autres
Publié: (2024)

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

Local reflections of choice
par: Ryan-Smith, Calliope
Publié: (2024)

Borel Complexity of the set of vectors normal for a fixed recurrence sequence
par: Kaneko, Hajime, et autres
Publié: (2025)

A Banach space with $L$-orthogonal sequences but without $L$-orthogonal elements
par: Avilés, Antonio, et autres
Publié: (2025)

Hereditary History-Preserving Bisimilarity: Characterizations via Backward Ready Multisets
par: Bernardo, Marco, et autres
Publié: (2025)

Bounding finite-image sequences of length $ω^k$
par: Altman, Harry
Publié: (2024)

Bounded ultraimaginary independence and its total Morley sequences
par: Hanson, James
Publié: (2022)

A consistency theorem for cardinal sequences of length $< ω_3$
par: Martínez, Juan Carlos, et autres
Publié: (2025)

Generalized quantifiers using team semantics
par: Engström, Fredrik
Publié: (2024)

Finding descending sequences through ill-founded linear orders
par: Goh, Jun Le, et autres
Publié: (2020)

The weakness of finding descending sequences in ill-founded linear orders
par: Goh, Jun Le, et autres
Publié: (2024)

On disjoint stationary sequences
par: Levine, Maxwell
Publié: (2023)

Predicates and terms from non-standard sequences
par: Zhuravlov, V. M.
Publié: (2023)

Comparing and Contrasting Arrow's Impossibility Theorem and Gödel's Incompleteness Theorem
par: Livson, Ori, et autres
Publié: (2025)

A study of cut-elimination for a non-labelled cyclic proof system for propositional dynamic logics
par: Oda, Yukihiro
Publié: (2025)

Abstract computation over first-order structures. Part IIa: Moschovakis' operator and other non-determinisms
par: Gaßner, Christine
Publié: (2025)

Decidability in First-Order Modal Logic with Non-Rigid Constants and Definite Descriptions
par: Artale, Alessandro, et autres
Publié: (2025)