Copertina

Automatic structures and the problem of natural well-orderings

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Beklemishev, Lev D., Pakhomov, Fedor N.
Natura:	Preprint
Pubblicazione:	2024
Soggetti:	Logic 03F15 (primary), 03D05, 03D45 (secondary)
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

On the unification problem for GLP
di: Beklemishev, Lev D.
Pubblicazione: (2024)

Filters on a countable vector space
di: Smythe, Iian B.
Pubblicazione: (2021)

Periodic frames
di: Beklemishev, Lev D., et al.
Pubblicazione: (2024)

Paths, Ends and The Separation Problem for Infinite Graphs
di: Carrasco-Vargas, Nicanor, et al.
Pubblicazione: (2024)

Finitely Bounded Homogeneity Turned Inside-Out
di: Rydval, Jakub
Pubblicazione: (2021)

Mad families of vector subspaces and the smallest nonmeager set of reals
di: Smythe, Iian B.
Pubblicazione: (2019)

On Friedman's Property
di: Jakob, Hannes
Pubblicazione: (2024)

On the problem of generalized measures: an impossibility result
di: Agostini, Claudio, et al.
Pubblicazione: (2026)

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

Algorithmic correspondence and analytic rules
di: De Domenico, Andrea, et al.
Pubblicazione: (2022)

Fundamental sequences based on localization
di: Wilken, Gunnar
Pubblicazione: (2024)

Generalizing Goodstein's theorem and Cichon's independence proof
di: Wilken, Gunnar
Pubblicazione: (2025)

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

Strong reducibilities and set theory
di: Schweber, Noah
Pubblicazione: (2024)

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

A generalization of Markov's approach to the continuity problem for Type 1 computable functions
di: Rauzy, Emmanuel
Pubblicazione: (2023)

Dilators and the reverse mathematics zoo
di: Freund, Anton
Pubblicazione: (2024)

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

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

Amalgamation in Semilinear Residuated Lattices
di: Fussner, Wesley, et al.
Pubblicazione: (2024)

Cut-free sequent calculi for the provability logic D
di: Kashima, Ryo, et al.
Pubblicazione: (2023)

Feferman's completeness theorem
di: Pakhomov, Fedor, et al.
Pubblicazione: (2024)

Proof-theoretic dilator and intermediate pointclasses
di: Jeon, Hanul
Pubblicazione: (2025)

New definitions in the theory of Type 1 computable topological spaces
di: Rauzy, Emmanuel
Pubblicazione: (2023)

The *-variation of the Banach-Mazur game and forcing axioms
di: Yoshinobu, Yasuo
Pubblicazione: (2015)

Why the classes P and NP are not well-defined finitarily
di: Anand, Bhupinder Singh
Pubblicazione: (2024)

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

Predicative Ordinal Recursion on the Constructive Veblen Hierarchy
di: Tabatabai, Amirhossein Akbar, et al.
Pubblicazione: (2025)

A non-speedup result for the chain-antichain principle over a weak base theory
di: Kowalik, Katarzyna W.
Pubblicazione: (2025)

Well-quasi-orders on finite trees and transfinite sequences
di: Chopra, Alakh Dhruv, et al.
Pubblicazione: (2026)

Induction on Dilators and Bachmann-Howard Fixed Points
di: Aguilera, Juan P., et al.
Pubblicazione: (2024)

The strength of Ramsey's theorem for $α$-large sets
di: Carlucci, Lorenzo, et al.
Pubblicazione: (2026)

Bi-Isolated d.c.e. Degrees and $Σ_1$ Induction
di: Liu, Yong, et al.
Pubblicazione: (2025)

Isolated d.c.e. degrees and $Σ_1$ induction
di: Liu, Yiqun, et al.
Pubblicazione: (2025)

Robinson Splitting Theorem and $Σ_1$ Induction
di: Liu, Yong, et al.
Pubblicazione: (2026)

Isomorphism Spectra and Computably Composite Structures
di: Lakerdas-Gayle, Joey
Pubblicazione: (2025)

Possibility Semantics
di: Holliday, Wesley H.
Pubblicazione: (2024)

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

The cohesive and stable Ramsey theorems and proof size over a weak base theory
di: Kołodziejczyk, Leszek Aleksander, et al.
Pubblicazione: (2026)

Fragments of arithmetic and cyclic proofs
di: Beklemishev, Lev D., et al.
Pubblicazione: (2025)