Imagen de Portada

A New Weak Choice Principle

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Halbeisen, Lorenz, Plati, Riccardo, Schumacher, Salome
Formato:	Preprint
Publicado:	2021
Materias:	Logic
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

Implications of Ramsey Choice principles in ZF$\mathsf {ZF}$
por: Lorenz Halbeisen, et al.
Publicado: (2024)

There may be exactly $n$ $Q$-points
por: Halbeisen, Lorenz, et al.
Publicado: (2025)

A unique $Q$-point and infinitely many near-coherence classes of ultrafilters
por: Halbeisen, Lorenz, et al.
Publicado: (2025)

Relationships between Principles of Choice in Second-Order Henkin Structures
por: Gaßner, Christine
Publicado: (2024)

Structural Infinite-Exponent Partition Relations and Weak Choice Principles
por: Gardiner, Lyra A., et al.
Publicado: (2026)

Witnessed Symmetric Choice and Interpretations in Fixed-Point Logic with Counting
por: Lichter, Moritz
Publicado: (2022)

The Ordering Principle and Dependent Choice
por: Holy, Peter, et al.
Publicado: (2025)

On the Cut Elimination of Weak Intuitionistic Tense Logic
por: Wang, Yiheng, et al.
Publicado: (2024)

The Ordering Principle and Higher Dependent Choice
por: Holy, Peter, et al.
Publicado: (2025)

Binary Choice Games and Arithmetical Comprehension
por: Aguilera, Juan Pablo, et al.
Publicado: (2025)

Induction and Recursion Principles in a Higher-Order Quantitative Logic for Probability
por: Bacci, Giorgio, et al.
Publicado: (2025)

Weak Indestructibility and Reflection
por: Holland, James
Publicado: (2022)

The Ouroboros Goodstein Principle
por: Fernández-Duque, David, et al.
Publicado: (2026)

Reflection Principles in ZFU
por: Glazer, Elliot, et al.
Publicado: (2026)

Structures Associated with Real Closed Fields and the Axiom of Choice
por: Carl, Merlin
Publicado: (2014)

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

Weakly o-minimal types
por: Moconja, Slavko, et al.
Publicado: (2024)

Berkeley Cardinals and Vopěnka's Principle
por: Mohammd, Marwan Salam
Publicado: (2024)

The strong reflecting property and Harrington's Principle
por: Cheng, Yong
Publicado: (2015)

Weak A2 spaces, the Kastanas game and strategically Ramsey sets
por: Yung, Clement
Publicado: (2024)

Formalization of the Filter Extension Principle (FEP) in Coq
por: Dou, Guowei, et al.
Publicado: (2024)

Deducibility of Identicals, Reflection Principle and Synthetic Connectives
por: Nishimuta, Yuki
Publicado: (2019)

Models of Bounded Arithmetic and variants of Pigeonhole Principle
por: Narusevych, Mykyta
Publicado: (2022)

Proving and Computing: The Infinite Pigeonhole Principle and Countable Choice
por: Ariola, Zena M., et al.
Publicado: (2026)

Positive Almost-Sure Termination of Polynomial Random Walks
por: Winkler, Lorenz, et al.
Publicado: (2025)

Modular Multiparty Sessions with Mixed Choice
por: Barbanera, Franco, et al.
Publicado: (2025)

Asynchronous Multiparty Sessions with Mixed Choice
por: Barbanera, Franco, et al.
Publicado: (2026)

Minimization Principle for Polynomial-Time Predicates and Forcing in Bounded Arithmetic
por: Narusevych, Mykyta
Publicado: (2026)

Cardinal Well-foundedness and Choice
por: Blass, Andreas, et al.
Publicado: (2023)

Uniform Local Weak o‐Minimality and ∗$*$‐Local Weak o‐Minimality
por: Masato Fujita
Publicado: (2025)

Characterizing Borel Isomorphism Among Some Weakly Minimal Trivial Theories
por: Ulrich, Danielle
Publicado: (2024)

Club Stationary Reflection and other Combinatorial Principles at $\aleph_{ω+2}$
por: Gilton, Thomas, et al.
Publicado: (2022)

The weak Extension Principle
por: Vignati, Alessandro, et al.
Publicado: (2024)

Separable C*-algebras Without the Countable Axiom of Choice
por: Blackadar, Bruce, et al.
Publicado: (2026)

The Functional Machine Calculus III: Choice (Early Announcement)
por: Heijltjes, Willem
Publicado: (2024)

Growth of regular partitions 2: Weak regularity
por: Terry, C.
Publicado: (2024)

Separation and Encodability in Mixed Choice Multiparty Sessions (Technical Report)
por: Peters, Kirstin, et al.
Publicado: (2024)

Finite Hilbert systems for Weak Kleene logics
por: Greati, Vitor, et al.
Publicado: (2024)

A Behavioral Theory for Distributed Systems with Weak Recovery
por: Fabbretti, Giovanni, et al.
Publicado: (2024)

The Logic of Cardinality Comparison Without the Axiom of Choice
por: Harrison-Trainor, Matthew, et al.
Publicado: (2022)