Imagen de Portada

Strong reducibilities and set theory

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autor principal:	Schweber, Noah
Formato:	Preprint
Publicado:	2024
Materias:	Logic 03D45 (Primary) 03D60, 03E15 (Secondary)
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

Clarifying ordinals
por: Schweber, Noah
Publicado: (2024)

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

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

Derived Models in PFA
por: Levinson, Derek, et al.
Publicado: (2025)

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

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

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

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

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

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

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

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

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

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

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

Partial Tower Sealing
por: Sargsyan, Grigor, et al.
Publicado: (2025)

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

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

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

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

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

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

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

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

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

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

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

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

Monoidal Symmetric Models
por: Basak, Dianthe
Publicado: (2024)

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

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

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

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

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

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

Externally definable fsg groups in NIP theories
por: Chernikov, Artem
Publicado: (2025)

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

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

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

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