Copertina

Isomorphism relations on classes of c.e. algebras

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Ho, Meng-Che "Turbo", Ritter, Martin, Mauro, Luca San
Natura:	Preprint
Pubblicazione:	2026
Soggetti:	Logic 03C57, 20F10
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

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

Computable Scott sentences and the weak Whitehead problem for finitely presented groups
di: Paolini, Gianluca
Pubblicazione: (2023)

Algorithmically finite, universal, and $*$-universal groups
di: Andrews, Uri, et al.
Pubblicazione: (2024)

Two results on complexities of decision problems of groups
di: Andrews, Uri, et al.
Pubblicazione: (2024)

Modal group theory
di: Wołoszyn, Wojciech Aleksander
Pubblicazione: (2026)

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

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

On Cohesive Products of Fields
di: Dimitrov, Rumen, et al.
Pubblicazione: (2026)

On the learning power of Friedman-Stanley jumps
di: Cipriani, Vittorio, et al.
Pubblicazione: (2025)

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

Failure Modes for Structural Highness Notions
di: Calvert, Wesley, et al.
Pubblicazione: (2025)

The variety of coset relation algebras
di: Givant, Steven, et al.
Pubblicazione: (2018)

Sentences over Random Groups I: Existential Sentences
di: Massalha, Sobhi
Pubblicazione: (2024)

Sentences over Random Groups II: Sentences of Minimal Rank
di: Massalha, Sobhi
Pubblicazione: (2024)

Punctually Standard and Nonstandard Models of Natural Numbers
di: Bazhenov, Nikolay, et al.
Pubblicazione: (2026)

Generic groups and the weak amalgamation property
di: Ivanov, Aleksander, et al.
Pubblicazione: (2024)

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

Extensions of categoricity relative to a degree
di: Villano, Java Darleen
Pubblicazione: (2025)

Continuations and Completeness in Proof-theoretic Semantics
di: Gu, Tao, et al.
Pubblicazione: (2026)

The unification type of Lukasiewicz logic with a bounded number of variables
di: Abbadini, Marco, et al.
Pubblicazione: (2025)

Relation algebras containing Thompson groups
di: Maddux, Roger D.
Pubblicazione: (2023)

Hierarchical formula classes with respect to semi-classical prenex normalization
di: Fujiwara, Makoto, et al.
Pubblicazione: (2025)

The construction principle and non homogeneity of uncountable relatively free groups
di: Carolillo, Davide, et al.
Pubblicazione: (2023)

Modal group theory: homomorphisms
di: Wołoszyn, Wojciech Aleksander
Pubblicazione: (2026)

Escaping Tennenbaum's Theorem and a Strong Jump Inversion Theorem
di: Maia, Duarte
Pubblicazione: (2026)

Herbrand's Theorem: a short statement and a model-theoretic proof
di: Badano, Mariana
Pubblicazione: (2025)

Herbrandized modified realizability
di: Ferreira, Gilda, et al.
Pubblicazione: (2024)

Elementary equivalence and disintegration of tracial von Neumann algebras
di: Gao, David, et al.
Pubblicazione: (2024)

A Lopez-Escobar Theorem for Continuous Domains
di: Bazhenov, Nikolay, et al.
Pubblicazione: (2023)

On the model theory of the Farey graph
di: Khangheshlaghi, Zahra Mohammadi, et al.
Pubblicazione: (2025)

Elements of affine model theory
di: Bagheri, Seyed-Mohammad
Pubblicazione: (2024)

Finite Combinatorics and Fragments of Arithmetic
di: Wang, Wei
Pubblicazione: (2025)

Definable Functions to Quotients in Ordered Abelian Groups
di: Wells, Harper
Pubblicazione: (2026)

Limit Semigroups with 2 Generators
di: Estrada, Felipe, et al.
Pubblicazione: (2025)

On automorphism groups of metric reduced products of symmetric groups
di: De Bondt, Ben, et al.
Pubblicazione: (2024)

First-order aspects of Artin groups
di: Cassella, Alberto, et al.
Pubblicazione: (2025)

On the computability of cofinal Fraïssé limits
di: Ackerman, Nathanael, et al.
Pubblicazione: (2026)

Nonrepresentable relation algebras from group systems
di: Andréka, H., et al.
Pubblicazione: (2018)

The Uniform Functional Interpretation with Informative Types
di: Ferreira, Fernando, et al.
Pubblicazione: (2025)

Taking model-complete cores
di: Bodirsky, Manuel, et al.
Pubblicazione: (2025)