Cover Image

Open Problems in Computability Theory and Descriptive Set Theory

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Barmpalias, George, Bazhenov, Nikolay, Chong, Chi Tat, Dai, Wei, Gao, Su, Goh, Jun Le, He, Jialiang, Ng, Keng Meng Selwyn, Nies, Andre, Slaman, Theodore, Thornton, Riley, Wang, Wei, Yu, Jing, Yu, Liang
Format:	Preprint
Published:	2025
Subjects:	Logic 03E15, 03D30
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Learning Equivalence Relations on Polish Spaces
by: Rossegger, Dino, et al.
Published: (2024)

Reduced Set Theory
by: Kunik, Matthias
Published: (2023)

A note on the degree structure of primitive recursive m-reducibility
by: Kalmurzayev, Birzhan, et al.
Published: (2023)

Generalized Descriptive Set Theory and Classification Theory
by: Friedman, Sy-David, et al.
Published: (2012)

Borel Reductions and Cub Games in Generalized Descriptive Set Theory
by: Kulikov, Vadim
Published: (2012)

Online and feasible presentability: from trees to modal algebras
by: Bazhenov, Nikolay, et al.
Published: (2025)

The computational content of multidimensional discontinuity
by: Hölzl, Rupert, et al.
Published: (2024)

Iterated Priority Arguments in Descriptive Set Theory
by: Day, Adam, et al.
Published: (2022)

Hausdorff dimension and countable Borel equivalence relations
by: Marks, Andrew, et al.
Published: (2024)

Intuitionism and computing with partial information
by: Ganchev, Hristo, et al.
Published: (2026)

Notes on Interpretability between Weak First-order Theories: Theories of Sequences
by: Kristiansen, Lars, et al.
Published: (2024)

Axiomatization and Forcing in Set Theory with Urelements
by: Yao, Bokai
Published: (2022)

The singleton degrees of the $Σ^0_2$ sets are not dense
by: Kent, Thomas F., et al.
Published: (2024)

Sets and Classes: Operational Theory
by: Warner, Garth
Published: (2024)

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

Definability over $\mathrm BΣ^0_2$-models
by: Chong, Chi Tat, et al.
Published: (2025)

Conjunctive reducibilities and completeness
by: Chitaia, Irakli, et al.
Published: (2026)

A Guide to Krivine Realizability for Set Theory
by: Matthews, Richard
Published: (2023)

Relative consistency of Set Matrix Theory with ZF
by: Cabbolet, Marcoen J. T. F.
Published: (2024)

Topological weak containment
by: Thornton, Riley
Published: (2025)

Learning Families of Algebraic Structures from Text
by: Bazhenov, Nikolay, et al.
Published: (2024)

A New Overture to Classical Simple Type Theory, Ketonen-type Gentzen and Tableau Systems
by: Miwa, Tadayoshi, et al.
Published: (2026)

Independence and Induction in Reverse Mathematics
by: Belanger, David, et al.
Published: (2024)

Generalized Descriptive Set Theory at Singular Cardinals of Countable Cofinality
by: Dimonte, Vincenzo, et al.
Published: (2025)

Models of Set Theory: Extensions and Dead-ends
by: Enayat, Ali
Published: (2024)

Terminal Coalgebras and Non-wellfounded Sets in Homotopy Type Theory
by: Gylterud, Håkon Robbestad, et al.
Published: (2020)

A Reflection Principle for Potential Infinite Models of Type Theory
by: Eberl, Matthias
Published: (2024)

Univalent Material Set Theory
by: Gylterud, Håkon Robbestad, et al.
Published: (2023)

Kripke-like models of Set Theory in Modal Residuated Logic
by: Moncayo, Jose, et al.
Published: (2024)

On the Existence and Disjunction Properties in Structural Set Theory
by: Saving, Mark
Published: (2023)

Axioms for Arbitrary Object Theory
by: Steinkrauss, Luca, et al.
Published: (2025)

On the Model Theory of Second-Order Objects
by: Hyttinen, Tapani, et al.
Published: (2024)

A Complete Bounded Theory with Unbounded Types
by: Zhu, Hongyu
Published: (2026)

The Compatibility of the Minimalist Foundation with Homotopy Type Theory
by: Contente, Michele, et al.
Published: (2022)

Necessary and Sufficient Conditions for Proving Choice in Zermelo-Fraenkel Set Theory
by: Khokhlov, Valentyn
Published: (2026)

Computable topological groups
by: Koh, Heer Tern, et al.
Published: (2022)

Completions of Restricted Complexity I, Weak Arithmetical Theories
by: Enayat, Ali, et al.
Published: (2025)

A General Theory of Class Symmetric Systems
by: Holy, Peter, et al.
Published: (2026)

Finite final segments of the d.c.e. Turing degrees
by: Lempp, Steffen, et al.
Published: (2024)

Maximal eventually different families for uniformly weak Ramsey ideals
by: He, Jialiang, et al.
Published: (2024)