Image de couverture de livre

A New Weak Choice Principle

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Halbeisen, Lorenz, Plati, Riccardo, Schumacher, Salome
Format:	Preprint
Publié:	2021
Sujets:	Logic
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Implications of Ramsey Choice principles in ZF$\mathsf {ZF}$
par: Lorenz Halbeisen, et autres
Publié: (2024)

There may be exactly $n$ $Q$-points
par: Halbeisen, Lorenz, et autres
Publié: (2025)

A unique $Q$-point and infinitely many near-coherence classes of ultrafilters
par: Halbeisen, Lorenz, et autres
Publié: (2025)

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

Structural Infinite-Exponent Partition Relations and Weak Choice Principles
par: Gardiner, Lyra A., et autres
Publié: (2026)

Witnessed Symmetric Choice and Interpretations in Fixed-Point Logic with Counting
par: Lichter, Moritz
Publié: (2022)

The Ordering Principle and Dependent Choice
par: Holy, Peter, et autres
Publié: (2025)

On the Cut Elimination of Weak Intuitionistic Tense Logic
par: Wang, Yiheng, et autres
Publié: (2024)

The Ordering Principle and Higher Dependent Choice
par: Holy, Peter, et autres
Publié: (2025)

Binary Choice Games and Arithmetical Comprehension
par: Aguilera, Juan Pablo, et autres
Publié: (2025)

Induction and Recursion Principles in a Higher-Order Quantitative Logic for Probability
par: Bacci, Giorgio, et autres
Publié: (2025)

Weak Indestructibility and Reflection
par: Holland, James
Publié: (2022)

The Ouroboros Goodstein Principle
par: Fernández-Duque, David, et autres
Publié: (2026)

Reflection Principles in ZFU
par: Glazer, Elliot, et autres
Publié: (2026)

Structures Associated with Real Closed Fields and the Axiom of Choice
par: Carl, Merlin
Publié: (2014)

Choice and independence of premise rules in intuitionistic set theory
par: Frittaion, Emanuele, et autres
Publié: (2024)

Weakly o-minimal types
par: Moconja, Slavko, et autres
Publié: (2024)

Berkeley Cardinals and Vopěnka's Principle
par: Mohammd, Marwan Salam
Publié: (2024)

The strong reflecting property and Harrington's Principle
par: Cheng, Yong
Publié: (2015)

Weak A2 spaces, the Kastanas game and strategically Ramsey sets
par: Yung, Clement
Publié: (2024)

Formalization of the Filter Extension Principle (FEP) in Coq
par: Dou, Guowei, et autres
Publié: (2024)

Deducibility of Identicals, Reflection Principle and Synthetic Connectives
par: Nishimuta, Yuki
Publié: (2019)

Models of Bounded Arithmetic and variants of Pigeonhole Principle
par: Narusevych, Mykyta
Publié: (2022)

Proving and Computing: The Infinite Pigeonhole Principle and Countable Choice
par: Ariola, Zena M., et autres
Publié: (2026)

Positive Almost-Sure Termination of Polynomial Random Walks
par: Winkler, Lorenz, et autres
Publié: (2025)

Modular Multiparty Sessions with Mixed Choice
par: Barbanera, Franco, et autres
Publié: (2025)

Asynchronous Multiparty Sessions with Mixed Choice
par: Barbanera, Franco, et autres
Publié: (2026)

Minimization Principle for Polynomial-Time Predicates and Forcing in Bounded Arithmetic
par: Narusevych, Mykyta
Publié: (2026)

Cardinal Well-foundedness and Choice
par: Blass, Andreas, et autres
Publié: (2023)

Uniform Local Weak o‐Minimality and ∗$*$‐Local Weak o‐Minimality
par: Masato Fujita
Publié: (2025)

Characterizing Borel Isomorphism Among Some Weakly Minimal Trivial Theories
par: Ulrich, Danielle
Publié: (2024)

Club Stationary Reflection and other Combinatorial Principles at $\aleph_{ω+2}$
par: Gilton, Thomas, et autres
Publié: (2022)

The weak Extension Principle
par: Vignati, Alessandro, et autres
Publié: (2024)

Separable C*-algebras Without the Countable Axiom of Choice
par: Blackadar, Bruce, et autres
Publié: (2026)

The Functional Machine Calculus III: Choice (Early Announcement)
par: Heijltjes, Willem
Publié: (2024)

Growth of regular partitions 2: Weak regularity
par: Terry, C.
Publié: (2024)

Separation and Encodability in Mixed Choice Multiparty Sessions (Technical Report)
par: Peters, Kirstin, et autres
Publié: (2024)

Finite Hilbert systems for Weak Kleene logics
par: Greati, Vitor, et autres
Publié: (2024)

A Behavioral Theory for Distributed Systems with Weak Recovery
par: Fabbretti, Giovanni, et autres
Publié: (2024)

The Logic of Cardinality Comparison Without the Axiom of Choice
par: Harrison-Trainor, Matthew, et autres
Publié: (2022)