Cover Image

On some subtheories of strong dependent choice

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Aguilera, Juan P., Suzuki, Yudai, Yokoyama, Keita
Format:	Preprint
Published:	2024
Subjects:	Logic
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

On the $Π^1_2$ consequences of $Π^1_1$-$\mathsf{CA}_0$
by: Suzuki, Yudai, et al.
Published: (2024)

Searching problems above arithmetical transfinite recursion
by: Suzuki, Yudai, et al.
Published: (2023)

The Reverse Mathematics of Analytic Measurability
by: Aguilera, Juan P., et al.
Published: (2026)

Relative leftmost path principles and omega-model reflections of transfinite inductions
by: Suzuki, Yudai
Published: (2024)

Quasi-Polish spaces and spaces of filters in second-order arithmetic
by: Kaneko, Yuzuki, et al.
Published: (2026)

Low-like basis theorems for Ramsey's theorem for pairs in first-order arithmetic
by: Ikari, Hiroyuki, et al.
Published: (2026)

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

Completeness theorems for modal logic in second-order arithmetic
by: Shimomichi, Sho, et al.
Published: (2025)

Constructive Quantum Logics
by: Aguilera, Juan P., et al.
Published: (2025)

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

Conservation of Ramsey's theorem for pairs and well-foundedness
by: Houérou, Quentin Le, et al.
Published: (2024)

On Translating Epistemic Operators in a Logic of Awareness
by: Kubono, Yudai
Published: (2026)

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

Logic of Awareness for Nested Knowledge
by: Kubono, Yudai
Published: (2024)

The Cardinalities of Intervals of Equational Theories and Logics
by: Aguilera, Juan P., et al.
Published: (2026)

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

A Representation of Explicit Knowledge and Epistemic Indistinguishability in a Logic of Awareness
by: Kubono, Yudai, et al.
Published: (2025)

Polytopological Semantics for Intuitionistic Modal Logics
by: Aguilera, Juan P., et al.
Published: (2026)

The Limits of Determinacy in Higher-Order Arithmetic
by: Aguilera, Juan Pablo, et al.
Published: (2024)

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

Shininess, strong politeness, and unicorns
by: Przybocki, Benjamin, et al.
Published: (2025)

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

Individual choice sequences -- History, development and use
by: Niekus, Joop
Published: (2025)

The Provably Total Set-Recursive Functions of KPl
by: Aguilera, Juan Pablo, et al.
Published: (2025)

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

Many-valued coalgebraic dynamic logics: Safety and strong completeness via reducibility
by: Hansen, Helle Hvid, et al.
Published: (2025)

Effectiveness and strong graph indivisibility
by: Dzhafarov, Damir D., et al.
Published: (2024)

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

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

Hereditary undecidability of fragments of some elementary theories
by: Karpov, Vladimir E.
Published: (2024)

On Star operation and some ideals on the Baire space
by: Cieślak, Aleksander, et al.
Published: (2026)

On $ω$-strongly measurable cardinals in $\mathbb{P}_{\max}$ extensions
by: Aksornthong, Navin, et al.
Published: (2023)

Arithmetical completeness for some extensions of the pure logic of necessitation
by: Kogure, Haruka
Published: (2024)

Natural Deduction systems for some weak Subintuitionistic Logics
by: Maleki, Fatemeh Shirmohammadzadeh
Published: (2024)

A note on some example of NSOP1 theories
by: Bossut, Yvon
Published: (2023)

$Π^0_4$ conservation of Ramsey's theorem for pairs
by: Houérou, Quentin Le, et al.
Published: (2024)

A synthetic overview on some known characterizations of Woodin cardinals
by: Gullà, Gabriele
Published: (2024)

Normalization and cut-elimination theorems for some logics of evidence and truth
by: Coniglio, Marcelo E., et al.
Published: (2024)

The finite frame property of some extensions of the pure logic of necessitation
by: Kurahashi, Taishi, et al.
Published: (2023)

Classification properties for some ternary structures
by: Miguel-Gómez, Alberto
Published: (2024)