Cover Image

Strong reducibilities and set theory

Fuente: arXiv

Saved in:

Bibliographic Details
Main Author:	Schweber, Noah
Format:	Preprint
Published:	2024
Subjects:	Logic 03D45 (Primary) 03D60, 03E15 (Secondary)
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Clarifying ordinals
by: Schweber, Noah
Published: (2024)

Building Models of Determinacy from Below
by: Kasum, Obrad, et al.
Published: (2024)

Recursive Analogues of Shrewdness and Subtlety, with Applications to Fine Structure
by: Massmann, Jayde Sylvie
Published: (2023)

Derived Models in PFA
by: Levinson, Derek, et al.
Published: (2025)

Analysis of HOD for Admissible Structures
by: Kruschewski, Jan, et al.
Published: (2025)

The breadth of constructibility degrees and definable Sierpiński's coverings
by: Andretta, Alessandro, et al.
Published: (2024)

The Weihrauch lattice at the level of $\boldsymbolΠ_1^1\mathsf{-CA}_0$: the Cantor-Bendixson theorem
by: Cipriani, Vittorio, et al.
Published: (2022)

On a Conjecture Regarding the Mouse Order for Weasels
by: Kruschewski, Jan, et al.
Published: (2022)

A $Π^0_2$ Singleton of Minimal Arithmetic Degree
by: Gerdes, Peter
Published: (2023)

A non-computable c.e. closed subset of $[0,1]$
by: Badaev, Serikzhan, et al.
Published: (2025)

Computability for tree presentations of continuum-size structures
by: Block, Jason, et al.
Published: (2025)

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

Computable vs Descriptive Combinatorics of Local Problems on Trees
by: Weilacher, Felix
Published: (2022)

Axiom Beta Implies Elementary Transfinite Recursion
by: Frittaion, Emanuele, et al.
Published: (2026)

The Tree Pulldown Method: McLaughlin's Conjecture and Beyond
by: Harrington, Leo A., et al.
Published: (2025)

Partial Tower Sealing
by: Sargsyan, Grigor, et al.
Published: (2025)

Analogues of the countable Borel equivalence relations in the setting of computable reducibility
by: Andrews, Uri, et al.
Published: (2024)

Algorithmic aspects of left-orderings of solvable Baumslag--Solitar groups via its dynamical realization
by: Ho, Meng-Che "Turbo", et al.
Published: (2024)

A formula for any real number, maybe
by: Hanson, James E., et al.
Published: (2026)

Cardinality in a paraconsistent and paracomplete set theory
by: Oddsson, Hrafn Valtýr
Published: (2026)

Scott sentence complexities of linear orderings
by: Gonzalez, David, et al.
Published: (2023)

Diamonds and Dominoes: Impossibility Results for Associative Modal Logics
by: Knudstorp, Søren Brinck
Published: (2025)

Parametrizing the Ramsey theory of vector spaces I: Discrete spaces
by: Smythe, Iian B.
Published: (2021)

The Ramsey property and higher dimensional mad families
by: Schrittesser, David, et al.
Published: (2020)

Universally Baire sets in $2^κ$
by: Ikegami, Daisuke, et al.
Published: (2024)

Vaught's conjecture for theories of discretely ordered structures
by: Tanović, Predrag
Published: (2022)

Constructibility real degrees in the side-by-side Sacks model
by: Notaro, Lorenzo
Published: (2025)

Minimal signatures with undecidability of representability by binary relations
by: Hirsch, Robin, et al.
Published: (2024)

Monoidal Symmetric Models
by: Basak, Dianthe
Published: (2024)

Iterated club shooting and the stationary-logic constructible model
by: Ya'ar, Ur
Published: (2022)

Model Theory of Homogeneous D-sets
by: Estrada, Felipe, et al.
Published: (2025)

The first measurable can be the first inaccessible cardinal
by: Gitik, Moti, et al.
Published: (2024)

The complexity of non-stationary ideals
by: Lücke, Philipp
Published: (2024)

Models for short sequences of measures in the cofinality-$ω$ constructible model
by: Ya'ar, Ur
Published: (2021)

The number of countable models of first-order theories
by: Pillay, Anand, et al.
Published: (2025)

Externally definable fsg groups in NIP theories
by: Chernikov, Artem
Published: (2025)

$Σ^1_3$ sets in the Sacks model
by: Schilhan, Jonathan
Published: (2025)

Stone type representation theorems via games
by: Aslan, Tuğba, et al.
Published: (2018)

Closed copies of $\mathbb{N}$ in $\mathbb{R}^{ω_1}$
by: Dow, Alan, et al.
Published: (2023)

Part 1 of Martin's Conjecture for order-preserving and measure-preserving functions
by: Lutz, Patrick, et al.
Published: (2023)