Buchumschlag

Iterated Priority Arguments in Descriptive Set Theory

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Day, Adam, Greenberg, Noam, Harrison-Trainor, Matthew, Turetsky, Dan
Format:	Preprint
Veröffentlicht:	2022
Schlagworte:	Logic 03D99
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Forcing and classes of $\mathsf{HYP}$-dominating functions
von: Greenberg, Noam, et al.
Veröffentlicht: (2026)

Low$_2$ computably enumerable sets have hyperhypersimple supersets
von: Cholak, Peter, et al.
Veröffentlicht: (2024)

Open Problems in Computability Theory and Descriptive Set Theory
von: Barmpalias, George, et al.
Veröffentlicht: (2025)

Problems with fixpoints of polynomials of polynomials
von: Pradic, Cécilia, et al.
Veröffentlicht: (2026)

Two results on complexities of decision problems of groups
von: Andrews, Uri, et al.
Veröffentlicht: (2024)

Refutability as Recursive as Provability
von: Cattabriga, Paola
Veröffentlicht: (2024)

Axioms for Arbitrary Object Theory
von: Steinkrauss, Luca, et al.
Veröffentlicht: (2025)

Cofinal families of finite VC-dimension
von: Ben-Neria, Omer, et al.
Veröffentlicht: (2025)

Preservation of some topological properties under forcing
von: Lambie-Hanson, Chris, et al.
Veröffentlicht: (2026)

The Logic of Cardinality Comparison Without the Axiom of Choice
von: Harrison-Trainor, Matthew, et al.
Veröffentlicht: (2022)

Mixed quantifier prefixes over Diophantine equations with integer variables
von: Sun, Zhi-Wei
Veröffentlicht: (2021)

Generalized Von Neumann Universe and Non-Well-Founded Sets
von: Zhang, Eugene
Veröffentlicht: (2023)

Infinitary Logic Has No Expressive Efficiency Over Finitary Logic
von: Harrison-Trainor, Matthew, et al.
Veröffentlicht: (2022)

An ordinal analysis of a single stable ordinal
von: Arai, Toshiyasu
Veröffentlicht: (2022)

An ordinal analysis of $Π_{N}$-Collection
von: Arai, Toshiyasu
Veröffentlicht: (2023)

Nonclassical logics and multivariate truth values
von: Zhuravlov, Volodymyr M.
Veröffentlicht: (2024)

Computable Gelfand Duality
von: Burton, Peter, et al.
Veröffentlicht: (2024)

Ramsey's coheirs
von: Colla, Eugenio, et al.
Veröffentlicht: (2019)

First-order friendliness
von: Badia, Guillermo, et al.
Veröffentlicht: (2022)

The $\mathsf{HOD}$ Hypothesis and a supercompact cardinal
von: Cheng, Yong
Veröffentlicht: (2018)

The Logic of Correct Models
von: Aguilera, Juan Pablo, et al.
Veröffentlicht: (2024)

The Countable Reals
von: Bauer, Andrej, et al.
Veröffentlicht: (2024)

A Self-Reflecting Formal Language
von: Patrakeev, Mikhail
Veröffentlicht: (2023)

The set-theoretic Kaufmann-Clote question
von: McKenzie, Zachiri
Veröffentlicht: (2025)

First-Order Implication-Space Semantics
von: Hlobil, Ulf
Veröffentlicht: (2026)

Relativized Galois groups of first order theories over a hyperimaginary
von: Lee, Hyoyoon, et al.
Veröffentlicht: (2024)

On Sets That Encode Themselves
von: Em, Taeyoung
Veröffentlicht: (2026)

Undecidability on Diophantine equations over $\mathbb Z[i]$ with $20$ unknowns
von: Matiyasevich, Yuri, et al.
Veröffentlicht: (2025)

On Variable-Bounded Non-Linear Expansions of Presburger Arithmetic
von: Bacik, Piotr, et al.
Veröffentlicht: (2026)

An effective version of the Stone duality
von: Bazhenov, Nikolay A., et al.
Veröffentlicht: (2026)

Partially-elementary end extensions of countable models of set theory
von: McKenzie, Zachiri
Veröffentlicht: (2024)

Iterated jump noncomputability and compactness
von: Dooley, Gavin
Veröffentlicht: (2025)

On non-isomorphic universal sofic groups
von: Alekseev, Vadim, et al.
Veröffentlicht: (2024)

A Closer Look at the Russell Paradox
von: Sheridan, Flash
Veröffentlicht: (2021)

Uniform terms and local elements
von: Zhuravlov, Volodymyr
Veröffentlicht: (2024)

Minimal covers in the Weihrauch degrees
von: Lempp, Steffen, et al.
Veröffentlicht: (2023)

Borel Reductions and Cub Games in Generalized Descriptive Set Theory
von: Kulikov, Vadim
Veröffentlicht: (2012)

Martin's Conjecture in the Enumeration Degrees
von: Cordero, Antonio Nakid
Veröffentlicht: (2025)

\texorpdfstring{$D$}{D}-maximal many-one degrees contain least finite-one degrees
von: Cintioli, Patrizio
Veröffentlicht: (2026)

A computably enumerable many-one degree with no least finite-one degree
von: Cintioli, Patrizio
Veröffentlicht: (2026)