Buchumschlag

Computability for tree presentations of continuum-size structures

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Block, Jason, Miller, Russell
Format:	Preprint
Veröffentlicht:	2025
Schlagworte:	Logic 03D45 (Primary) 03D78, 03C57 (Secondary)
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

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

Online and feasible presentability: from trees to modal algebras
von: Bazhenov, Nikolay, et al.
Veröffentlicht: (2025)

Isomorphism Spectra and Computably Composite Structures
von: Lakerdas-Gayle, Joey
Veröffentlicht: (2025)

Chains and antichains in the Weihrauch lattice
von: Lempp, Steffen, et al.
Veröffentlicht: (2024)

New definitions in the theory of Type 1 computable topological spaces
von: Rauzy, Emmanuel
Veröffentlicht: (2023)

A generalization of Markov's approach to the continuity problem for Type 1 computable functions
von: Rauzy, Emmanuel
Veröffentlicht: (2023)

On Cohesive Products of Fields
von: Dimitrov, Rumen, et al.
Veröffentlicht: (2026)

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

Strong reducibilities and set theory
von: Schweber, Noah
Veröffentlicht: (2024)

On the computability of cofinal Fraïssé limits
von: Ackerman, Nathanael, et al.
Veröffentlicht: (2026)

Scott sentence complexities of linear orderings
von: Gonzalez, David, et al.
Veröffentlicht: (2023)

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

Computability in infinite Galois theory and algorithmically random algebraic fields
von: Calvert, Wesley, et al.
Veröffentlicht: (2023)

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

Clarifying ordinals
von: Schweber, Noah
Veröffentlicht: (2024)

A jump operator on the Weihrauch degrees
von: Andrews, Uri, et al.
Veröffentlicht: (2024)

The Tree Pulldown Method: McLaughlin's Conjecture and Beyond
von: Harrington, Leo A., et al.
Veröffentlicht: (2025)

Vaught's conjecture for theories of discretely ordered structures
von: Tanović, Predrag
Veröffentlicht: (2022)

Stable formulas in ordered structures
von: Hoffmann, Daniel Max, et al.
Veröffentlicht: (2020)

Evaluative presentations
von: McNicholl, Timothy H.
Veröffentlicht: (2024)

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

Definability over $\mathrm BΣ^0_2$-models
von: Chong, Chi Tat, et al.
Veröffentlicht: (2025)

A $Π^0_2$ Singleton of Minimal Arithmetic Degree
von: Gerdes, Peter
Veröffentlicht: (2023)

The tree pigeonhole principle in the Weihrauch degrees
von: Dzhafarov, Damir, et al.
Veröffentlicht: (2023)

Notes on ultrafilter extensions of almost bounded structures
von: Molnár, Zalán
Veröffentlicht: (2025)

Computable Bases
von: Brattka, Vasco, et al.
Veröffentlicht: (2025)

Extensions of categoricity relative to a degree
von: Villano, Java Darleen
Veröffentlicht: (2025)

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

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

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

The Galvin-Prikry Theorem in the Weihrauch lattice
von: Marcone, Alberto, et al.
Veröffentlicht: (2024)

Contrasting the Halves of an Ahmad Pair
von: Ravishankar, Karthik
Veröffentlicht: (2025)

Nonvaluational ordered Abelian groups of finite burden
von: Fujita, Masato
Veröffentlicht: (2025)

On the spectrum of limit models
von: Beard, Jeremy, et al.
Veröffentlicht: (2025)

Orthogonality and domination in o-minimal expansions of ordered groups
von: Guerrero, Pablo Andújar, et al.
Veröffentlicht: (2025)

The O-minimal Zilber Conjecture in Higher Dimensions
von: Castle, Benjamin
Veröffentlicht: (2024)

Some definable types that cannot be amalgamated
von: Hils, Martin, et al.
Veröffentlicht: (2022)

Corrigendum to "Kim-independence in positive logic"
von: Dobrowolski, Jan, et al.
Veröffentlicht: (2024)

Computable $K$-theory for $\mathrm{C}^*$-algebras: UHF algebras
von: Eagle, Christopher, et al.
Veröffentlicht: (2025)

Long limit models are isomorphic assuming a splitting-like relation
von: Beard, Jeremy
Veröffentlicht: (2025)