:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Schindler, Ralf, Yasuda, Taichi
Format:	Preprint
Published:	2024
Subjects:	Logic
Online Access:	https://arxiv.org/abs/2404.12836
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

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

Ultrapowers of determinacy models as iteration trees on HOD
by: Goldberg, Gabriel, et al.
Published: (2026)

A formalization of Borel determinacy in Lean
by: Manthe, Sven
Published: (2025)

Homotopy type theory as a language for diagrams of $\infty$-logoses
by: Uemura, Taichi
Published: (2022)

The transcendence degree of the reals over certain set-theoretical subfields
by: Fatalini, Azul, et al.
Published: (2024)

Perfectly normal nonrealcompact spaces under Martin's Maximum
by: Tetsuya Ishiu
Published: (2024)

PFA and the definability of the nonstationary ideal
by: Hoffelner, Stefan, et al.
Published: (2023)

Con($\mathfrak{r}_{\mathsf{nwd}}<\mathfrak{irr}$)
by: Manríquez, Jonathan Cancino
Published: (2025)

A model with fragments of projective determinacy and failures of $\mathsf{DC}$
by: Müller, Sandra, et al.
Published: (2025)

The consistency strength of determinacy when all sets are universally Baire
by: Müller, Sandra
Published: (2021)

Varsovian models II
by: Sargsyan, Grigor, et al.
Published: (2021)

A complete classification of the zero-dimensional homogeneous spaces under determinacy
by: Medini, Andrea
Published: (2023)

Higher inductive types in $(\infty,1)$-categories
by: Uemura, Taichi
Published: (2024)

Maximum linearizations of lower sets in $\mathbb{N}^m$ with application to monomial ideals
by: Altman, Harry, et al.
Published: (2019)

Bilateral base-extension semantics
by: Barroso-Nascimento, Victor, et al.
Published: (2025)

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

Base-extension Semantics for Modal Logic
by: Eckhardt, Timo, et al.
Published: (2024)

In Memory of Martin Davis
by: Calvert, Wesley, et al.
Published: (2024)

Base-extension Semantics for Intuitionistic Modal Logics
by: Buzoku, Yll, et al.
Published: (2025)

Interpretation of Inaccessible Sets in Martin-Löf Type Theory with One Mahlo Universe
by: Takahashi, Yuta
Published: (2024)

The automorphism group of countable recursively saturated models of Peano arithmetic and strong cuts
by: Bahrami, Saeideh
Published: (2026)

From Proof-theoretic Validity to Base-extension Semantics for Intuitionistic Propositional Logic
by: Gheorghiu, Alexander V., et al.
Published: (2022)

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

Weak, strong and mixed extensions of relations to spaces of ultrafilters
by: Gasparro, Leonardo Raffaello Maximilian, et al.
Published: (2025)

An invitation to extension domination
by: Gannon, Kyle, et al.
Published: (2022)

P-measures in models without P-points
by: Borodulin-Nadzieja, Piotr, et al.
Published: (2024)

Every countable model of arithmetic or set theory has a pointwise-definable end extension
by: Hamkins, Joel David
Published: (2022)

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

Martin's conjecture for regressive functions on the hyperarithmetic degrees
by: Lutz, Patrick
Published: (2023)

Ultrafilter extensions of bounded graphs are elementary
by: Molnár, Zalán
Published: (2024)

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

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

Approximate matrices of systems of max-min fuzzy relational equations
by: Baaj, Ismaïl
Published: (2025)

Finite central extensions of o-minimal groups
by: Baro, Elías, et al.
Published: (2024)

Base-extension Semantics for S5 Modal Logic
by: Eckhardt, Timo, et al.
Published: (2024)

A note on the modal logic of symmetric extensions
by: Duncan, Hope
Published: (2026)

Elementary extensions of almost o-minimal structures
by: Berraho, Mourad, et al.
Published: (2026)

More on the indivisibility of $\mathbb{Q}$
by: Pauly, Arno
Published: (2024)

Inferentialist Public Announcement Logic: Base-extension Semantics
by: Eckhardt, Timo, et al.
Published: (2024)

Varieties of modal algebras without the congruence extension property
by: Gyenis, Zalán, et al.
Published: (2024)