Buchumschlag

A New Weak Choice Principle

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Halbeisen, Lorenz, Plati, Riccardo, Schumacher, Salome
Format:	Preprint
Veröffentlicht:	2021
Schlagworte:	Logic
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Implications of Ramsey Choice principles in ZF$\mathsf {ZF}$
von: Lorenz Halbeisen, et al.
Veröffentlicht: (2024)

There may be exactly $n$ $Q$-points
von: Halbeisen, Lorenz, et al.
Veröffentlicht: (2025)

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

Relationships between Principles of Choice in Second-Order Henkin Structures
von: Gaßner, Christine
Veröffentlicht: (2024)

Structural Infinite-Exponent Partition Relations and Weak Choice Principles
von: Gardiner, Lyra A., et al.
Veröffentlicht: (2026)

Witnessed Symmetric Choice and Interpretations in Fixed-Point Logic with Counting
von: Lichter, Moritz
Veröffentlicht: (2022)

The Ordering Principle and Dependent Choice
von: Holy, Peter, et al.
Veröffentlicht: (2025)

On the Cut Elimination of Weak Intuitionistic Tense Logic
von: Wang, Yiheng, et al.
Veröffentlicht: (2024)

The Ordering Principle and Higher Dependent Choice
von: Holy, Peter, et al.
Veröffentlicht: (2025)

Binary Choice Games and Arithmetical Comprehension
von: Aguilera, Juan Pablo, et al.
Veröffentlicht: (2025)

Induction and Recursion Principles in a Higher-Order Quantitative Logic for Probability
von: Bacci, Giorgio, et al.
Veröffentlicht: (2025)

Weak Indestructibility and Reflection
von: Holland, James
Veröffentlicht: (2022)

The Ouroboros Goodstein Principle
von: Fernández-Duque, David, et al.
Veröffentlicht: (2026)

Reflection Principles in ZFU
von: Glazer, Elliot, et al.
Veröffentlicht: (2026)

Structures Associated with Real Closed Fields and the Axiom of Choice
von: Carl, Merlin
Veröffentlicht: (2014)

Choice and independence of premise rules in intuitionistic set theory
von: Frittaion, Emanuele, et al.
Veröffentlicht: (2024)

Weakly o-minimal types
von: Moconja, Slavko, et al.
Veröffentlicht: (2024)

Berkeley Cardinals and Vopěnka's Principle
von: Mohammd, Marwan Salam
Veröffentlicht: (2024)

The strong reflecting property and Harrington's Principle
von: Cheng, Yong
Veröffentlicht: (2015)

Weak A2 spaces, the Kastanas game and strategically Ramsey sets
von: Yung, Clement
Veröffentlicht: (2024)

Formalization of the Filter Extension Principle (FEP) in Coq
von: Dou, Guowei, et al.
Veröffentlicht: (2024)

Deducibility of Identicals, Reflection Principle and Synthetic Connectives
von: Nishimuta, Yuki
Veröffentlicht: (2019)

Models of Bounded Arithmetic and variants of Pigeonhole Principle
von: Narusevych, Mykyta
Veröffentlicht: (2022)

Proving and Computing: The Infinite Pigeonhole Principle and Countable Choice
von: Ariola, Zena M., et al.
Veröffentlicht: (2026)

Positive Almost-Sure Termination of Polynomial Random Walks
von: Winkler, Lorenz, et al.
Veröffentlicht: (2025)

Modular Multiparty Sessions with Mixed Choice
von: Barbanera, Franco, et al.
Veröffentlicht: (2025)

Asynchronous Multiparty Sessions with Mixed Choice
von: Barbanera, Franco, et al.
Veröffentlicht: (2026)

Minimization Principle for Polynomial-Time Predicates and Forcing in Bounded Arithmetic
von: Narusevych, Mykyta
Veröffentlicht: (2026)

Cardinal Well-foundedness and Choice
von: Blass, Andreas, et al.
Veröffentlicht: (2023)

Uniform Local Weak o‐Minimality and ∗$*$‐Local Weak o‐Minimality
von: Masato Fujita
Veröffentlicht: (2025)

Characterizing Borel Isomorphism Among Some Weakly Minimal Trivial Theories
von: Ulrich, Danielle
Veröffentlicht: (2024)

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

The weak Extension Principle
von: Vignati, Alessandro, et al.
Veröffentlicht: (2024)

Separable C*-algebras Without the Countable Axiom of Choice
von: Blackadar, Bruce, et al.
Veröffentlicht: (2026)

The Functional Machine Calculus III: Choice (Early Announcement)
von: Heijltjes, Willem
Veröffentlicht: (2024)

Growth of regular partitions 2: Weak regularity
von: Terry, C.
Veröffentlicht: (2024)

Separation and Encodability in Mixed Choice Multiparty Sessions (Technical Report)
von: Peters, Kirstin, et al.
Veröffentlicht: (2024)

Finite Hilbert systems for Weak Kleene logics
von: Greati, Vitor, et al.
Veröffentlicht: (2024)

A Behavioral Theory for Distributed Systems with Weak Recovery
von: Fabbretti, Giovanni, et al.
Veröffentlicht: (2024)

The Logic of Cardinality Comparison Without the Axiom of Choice
von: Harrison-Trainor, Matthew, et al.
Veröffentlicht: (2022)