Buchumschlag

Online and feasible presentability: from trees to modal algebras

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Bazhenov, Nikolay, Kalociński, Dariusz, Wrocławski, Michał
Format:	Preprint
Veröffentlicht:	2025
Schlagworte:	Logic Computational Complexity 03D45, 03C57, 03D15
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Punctually Standard and Nonstandard Models of Natural Numbers
von: Bazhenov, Nikolay, et al.
Veröffentlicht: (2026)

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

Computability for tree presentations of continuum-size structures
von: Block, Jason, et al.
Veröffentlicht: (2025)

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

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

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

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

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

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

Finitely Bounded Homogeneity Turned Inside-Out
von: Rydval, Jakub
Veröffentlicht: (2021)

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

Automatic structures and the problem of natural well-orderings
von: Beklemishev, Lev D., et al.
Veröffentlicht: (2024)

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

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

Exploring P versus NP
von: Tang, Jian-Gang
Veröffentlicht: (2022)

Predicative Ordinal Recursion on the Constructive Veblen Hierarchy
von: Tabatabai, Amirhossein Akbar, et al.
Veröffentlicht: (2025)

Semi-Algebraic Proof Systems for QBF
von: Beyersdorff, Olaf, et al.
Veröffentlicht: (2025)

A note on the degree structure of primitive recursive m-reducibility
von: Kalmurzayev, Birzhan, et al.
Veröffentlicht: (2023)

Learning Families of Algebraic Structures from Text
von: Bazhenov, Nikolay, et al.
Veröffentlicht: (2024)

Computable vs Descriptive Combinatorics of Local Problems on Trees
von: Weilacher, Felix
Veröffentlicht: (2022)

Externally definable fsg groups in NIP theories
von: Chernikov, Artem
Veröffentlicht: (2025)

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)

A Minimal Substitution Basis for the Kalmár Elementary Functions
von: Prunescu, Mihai, et al.
Veröffentlicht: (2025)

Effective Completeness for S4.3.1-Theories with Respect to Discrete Linear Models
von: Nichols, David
Veröffentlicht: (2017)

Scott Complexity of Reduced Abelian $p$-Groups
von: Alvir, Rachael, et al.
Veröffentlicht: (2024)

Forcing Axioms, the Uniformization and the Basis Property
von: Hoffelner, Stefan
Veröffentlicht: (2020)

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

Dichotomy results for classes of countable graphs
von: Cipriani, Vittorio, et al.
Veröffentlicht: (2025)

A Lopez-Escobar Theorem for Continuous Domains
von: Bazhenov, Nikolay, et al.
Veröffentlicht: (2023)

On $\boldsymbolΣ^1_3$- and $Σ^1_4$-uniformization
von: Hoffelner, Stefan
Veröffentlicht: (2026)

The generalized continuous model theory, Borel complexity and stability
von: Ivanov, Aleksander
Veröffentlicht: (2026)

On Borel subsets of generalized Baire spaces
von: Hyttinen, Tapani, et al.
Veröffentlicht: (2025)

A Counterexample Regarding C.E. Closed Subsets of [0,1] Under Homeomorphisms
von: Bosserhoff, Volker
Veröffentlicht: (2025)

Paths, Ends and The Separation Problem for Infinite Graphs
von: Carrasco-Vargas, Nicanor, et al.
Veröffentlicht: (2024)

Analysis of HOD for Admissible Structures
von: Kruschewski, Jan, et al.
Veröffentlicht: (2025)

Feferman's completeness theorem
von: Pakhomov, Fedor, et al.
Veröffentlicht: (2024)

Generalizing Goodstein's theorem and Cichon's independence proof
von: Wilken, Gunnar
Veröffentlicht: (2025)

Fundamental sequences based on localization
von: Wilken, Gunnar
Veröffentlicht: (2024)

Foundational Analysis Of The Solvability Complexity Index: The Weihrauch-SCI Intermediate Hierarchy
von: Sorg, Christopher
Veröffentlicht: (2026)