:: Library Catalog

Buchumschlag

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Franklin, Johanna N. Y., Hölzl, Rupert, Melnikov, Alexander, Ng, Keng Meng, Turetsky, Daniel
Format:	Preprint
Veröffentlicht:	2020
Schlagworte:	Logic
Online-Zugang:	https://arxiv.org/abs/2010.09499
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

The computational content of multidimensional discontinuity
von: Hölzl, Rupert, et al.
Veröffentlicht: (2024)

Computable topological groups
von: Koh, Heer Tern, et al.
Veröffentlicht: (2022)

Failure Modes for Structural Highness Notions
von: Calvert, Wesley, et al.
Veröffentlicht: (2025)

The subTuring degrees
von: Kihara, Takayuki, et al.
Veröffentlicht: (2024)

Benign approximations and non-speedability
von: Hölzl, Rupert, et al.
Veröffentlicht: (2023)

Primitive recursive categoricity spectra of functional structures
von: Bazhenov, Nikolay, et al.
Veröffentlicht: (2026)

Computably totally disconnected locally compact groups
von: Melnikov, Alexander, et al.
Veröffentlicht: (2022)

Independence and Induction in Reverse Mathematics
von: Belanger, David, et al.
Veröffentlicht: (2024)

Primitive recursive categoricity spectra
von: Bazhenov, Nikolay, et al.
Veröffentlicht: (2026)

Regainingly approximable numbers and sets
von: Hertling, Peter, et al.
Veröffentlicht: (2023)

Randomness versus superspeedability
von: Hölzl, Rupert, et al.
Veröffentlicht: (2024)

sp-Homogeneous Linear Orderings
von: Calvert, Wesley, et al.
Veröffentlicht: (2025)

Computably locally compact groups and their closed subgroups
von: Melnikov, Alexander G., et al.
Veröffentlicht: (2024)

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

Algorithmic randomness in harmonic analysis
von: Franklin, Johanna N. Y., et al.
Veröffentlicht: (2026)

Topology, forcing, and graph colourings
von: Greenberg, Noam, et al.
Veröffentlicht: (2026)

Conjunctive reducibilities and completeness
von: Chitaia, Irakli, et al.
Veröffentlicht: (2026)

Finite final segments of the d.c.e. Turing degrees
von: Lempp, Steffen, et al.
Veröffentlicht: (2024)

Iterated Priority Arguments in Descriptive Set Theory
von: Day, Adam, et al.
Veröffentlicht: (2022)

On classification of continuous first order theories
von: Khanaki, Karim
Veröffentlicht: (2022)

Inconsistency of Reinhardt cardinals with $\mathsf{ZF}$
von: McCallum, Rupert
Veröffentlicht: (2026)

First-order transducibility among classes of sparse graphs
von: Gajarský, Jakub, et al.
Veröffentlicht: (2025)

3D-grids are not transducible from planar graphs
von: Gajarský, Jakub, et al.
Veröffentlicht: (2025)

Normality, Relativization, and Randomness
von: Calvert, Wesley, et al.
Veröffentlicht: (2023)

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

The structure of polynomial growth for tree automata/transducers and MSO set queries
von: Gallot, Paul, et al.
Veröffentlicht: (2025)

The complete classification for quantified equality constraints
von: Zhuk, Dmitriy, et al.
Veröffentlicht: (2021)

A proof of P!=NP
von: McCallum, Rupert
Veröffentlicht: (2020)

CMSO-transducing tree-like graph decompositions
von: Campbell, Rutger, et al.
Veröffentlicht: (2024)

Tree transducers of linear size-to-height increase (and the additive conjunction of linear logic)
von: Dartois, Luc, et al.
Veröffentlicht: (2026)

When Darwin met Ianus: dichotomies of expressivity
von: Brunar, Johanna, et al.
Veröffentlicht: (2025)

Growth of regular partitions 2: Weak regularity
von: Terry, C.
Veröffentlicht: (2024)

A classification of incompleteness statements
von: Towsner, Henry, et al.
Veröffentlicht: (2024)

Computability of Brjuno-like functions
von: Shevchenko, Ivan O., et al.
Veröffentlicht: (2025)

On the regularity of almost stable relations
von: Girón, Marcos
Veröffentlicht: (2025)

Definability in affine continuous logic
von: Bagheri, Seyed-Mohammad
Veröffentlicht: (2024)

Scott analysis, linear orders and almost periodic functions
von: Gonzalez, David, et al.
Veröffentlicht: (2024)

Growth of regular partitions 4: strong regularity and the pairs partition
von: Terry, C.
Veröffentlicht: (2024)

Growth of regular partitions 3: strong regularity and the vertex partition
von: Terry, C.
Veröffentlicht: (2024)

Bridging Computational Notions of Depth
von: Bienvenu, Laurent, et al.
Veröffentlicht: (2024)