Imagen de Portada

Individual choice sequences -- History, development and use

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autor principal:	Niekus, Joop
Formato:	Preprint
Publicado:	2025
Materias:	Logic
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

Global choice is not conservative over local choice for Zermelo set theory
por: Glazer, Elliot
Publicado: (2023)

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

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

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

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

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

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

The Logics of Individual Medvedev Frames
por: Chen, Zhicheng, et al.
Publicado: (2024)

Descending sequences in reflection hierarchies
por: Łełyk, Mateusz, et al.
Publicado: (2025)

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

Sign sequences of log-atomic numbers
por: Bagayoko, Vincent
Publicado: (2024)

New simple theories from hypergraph sequences
por: Malliaris, M., et al.
Publicado: (2021)

The short exact sequence in definable Galois cohomology
por: Meretzky, David
Publicado: (2024)

On the representation of C-recursive integer sequences by arithmetic terms
por: Prunescu, Mihai, et al.
Publicado: (2024)

Fundamental sequences and fast-growing hierarchies for the Bachmann-Howard ordinal
por: Fernández-Duque, David, et al.
Publicado: (2022)

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

Modeling FO-limits for monadically stable sequences
por: Braunfeld, S., et al.
Publicado: (2025)

Mad families of Gowers' infinite block sequences
por: Yung, Clement
Publicado: (2024)

Computable Folner sequences of amenable groups
por: Duda, Karol, et al.
Publicado: (2025)

Strongly increasing sequences
por: Larson, Paul B., et al.
Publicado: (2025)

Dynamical ideals and the axiom of choice
por: Zapletal, Jindrich
Publicado: (2024)

Remarks on convergence of Morley sequences
por: Khanaki, Karim
Publicado: (2021)

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

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

Local reflections of choice
por: Ryan-Smith, Calliope
Publicado: (2024)

Borel Complexity of the set of vectors normal for a fixed recurrence sequence
por: Kaneko, Hajime, et al.
Publicado: (2025)

A Banach space with $L$-orthogonal sequences but without $L$-orthogonal elements
por: Avilés, Antonio, et al.
Publicado: (2025)

Hereditary History-Preserving Bisimilarity: Characterizations via Backward Ready Multisets
por: Bernardo, Marco, et al.
Publicado: (2025)

Bounding finite-image sequences of length $ω^k$
por: Altman, Harry
Publicado: (2024)

Bounded ultraimaginary independence and its total Morley sequences
por: Hanson, James
Publicado: (2022)

A consistency theorem for cardinal sequences of length $< ω_3$
por: Martínez, Juan Carlos, et al.
Publicado: (2025)

Generalized quantifiers using team semantics
por: Engström, Fredrik
Publicado: (2024)

Finding descending sequences through ill-founded linear orders
por: Goh, Jun Le, et al.
Publicado: (2020)

The weakness of finding descending sequences in ill-founded linear orders
por: Goh, Jun Le, et al.
Publicado: (2024)

On disjoint stationary sequences
por: Levine, Maxwell
Publicado: (2023)

Predicates and terms from non-standard sequences
por: Zhuravlov, V. M.
Publicado: (2023)

Comparing and Contrasting Arrow's Impossibility Theorem and Gödel's Incompleteness Theorem
por: Livson, Ori, et al.
Publicado: (2025)

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

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

Decidability in First-Order Modal Logic with Non-Rigid Constants and Definite Descriptions
por: Artale, Alessandro, et al.
Publicado: (2025)