:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Sakai, Hiroshi, Tanno, Toshimasa
Format:	Preprint
Published:	2025
Subjects:	Logic
Online Access:	https://arxiv.org/abs/2512.03386
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Generalized Tukey reducibility between $σ$-directed sets
by: Sakai, Hiroshi, et al.
Published: (2025)

Independence relations in the Solovay model I
by: Zapletal, Jindrich
Published: (2025)

A Solovay-like model at $\aleph_ω$
by: Poveda, Alejandro, et al.
Published: (2025)

Partition theorems for Ketonen-Solovay largeness
by: Houérou, Quentin Le, et al.
Published: (2026)

Condensed Sets and the Solovay Model
by: Bannister, Nathaniel, et al.
Published: (2026)

Variants of Solovay reducibility
by: Titov, Ivan
Published: (2024)

On the optimality of the HOD dichotomy
by: Goldberg, Gabriel, et al.
Published: (2024)

Higher Solovay Models
by: Straffelini, Cesare, et al.
Published: (2025)

When Darwin met Ianus: dichotomies of expressivity
by: Brunar, Johanna, et al.
Published: (2025)

Separating Subversion Forcing Axioms
by: Sakai, Hiroshi, et al.
Published: (2023)

Solovay reducibility implies S2a-reducibility
by: Titov, Ivan
Published: (2024)

A total Solovay reducibility and totalizing of the notion of speedability
by: Merkle, Wolfgang, et al.
Published: (2024)

The Myhill isomorphism theorem does not generalize much
by: Pradic, Cécilia
Published: (2025)

Michael's selection theorem in general d-minimal structures
by: Fujita, Masato
Published: (2024)

Fodor space in generalized descriptive set theory
by: Feldman, Ido, et al.
Published: (2026)

Big Ramsey combinatorics of the Cantor set and a simple proof of Blass' perfect set theorem
by: Mašulović, Dragan
Published: (2026)

A completeness theorem in proof-theoretic semantics via set-theoretic semantics
by: Takemura, Ryo
Published: (2025)

The equivariant model structure on cartesian cubical sets
by: Awodey, Steve, et al.
Published: (2024)

Degrees of the finite model property: the antidichotomy theorem
by: Bezhanishvili, Guram, et al.
Published: (2023)

Implicative models of set theory
by: Maschio, Samuele, et al.
Published: (2023)

Incompleteness theorems via Turing category
by: Savelyev, Yasha
Published: (2024)

A Cobham theorem for scalar multiplication
by: Hieronymi, Philipp, et al.
Published: (2024)

Towards a generic absoluteness theorem for Chang models
by: Müller, Sandra, et al.
Published: (2023)

Generic dichotomy for homomorphisms for $E_0^\mathbb{N}$
by: Shani, Assaf
Published: (2024)

An abstract fixed-point theorem for Horn formula equations
by: Hetzl, Stefan, et al.
Published: (2025)

The nonexistence of unicorns and many-sorted Löwenheim-Skolem theorems
by: Przybocki, Benjamin, et al.
Published: (2024)

Ajtai's theorem for $T^2_2(R)$ and pebble games with backtracking
by: Ken, Eitetsu, et al.
Published: (2024)

Intuitionistic modal logics: a minimal setting
by: Balbiani, Philippe, et al.
Published: (2025)

An algebraic proof of the dichotomy for graph orientation problems with forbidden tournaments
by: Feller, Roman, et al.
Published: (2024)

A dichotomy for countable unions of smooth Borel equivalence relations
by: de Rancourt, N., et al.
Published: (2021)

Characterizing fragments of collection principle in set theory with model theoretic properties
by: Chen, Junhong
Published: (2025)

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

Nelson algebras, residuated lattices and rough sets: A survey
by: Järvinen, Jouni, et al.
Published: (2024)

Measurable Vizing's theorem
by: Grebík, Jan
Published: (2023)

Rational points of rigid-analytic sets: a Pila-Wilkie type theorem
by: Binyamini, Gal, et al.
Published: (2022)

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

Star operation, microscopic sets and porous sets
by: Perkowska, Daria, et al.
Published: (2025)

A generalized Cantor theorem in ZF
by: Peng, Yinhe, et al.
Published: (2021)

Free sets, thin sets and rainbows for barriers
by: Carlucci, Lorenzo, et al.
Published: (2026)

Zilber dichotomy for $DCF_{0,m}$
by: Sanchez, Omar Leon
Published: (2024)