Guardado en:
| Autores principales: | Ho, Meng-Che "Turbo", Ritter, Martin, Mauro, Luca San |
|---|---|
| Formato: | Preprint |
| Publicado: |
2026
|
| Materias: | |
| Acceso en línea: | https://arxiv.org/abs/2601.13005 |
| Etiquetas: |
Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!
|
Ejemplares similares
Algorithmic aspects of left-orderings of solvable Baumslag--Solitar groups via its dynamical realization
por: Ho, Meng-Che "Turbo", et al.
Publicado: (2024)
por: Ho, Meng-Che "Turbo", et al.
Publicado: (2024)
Algorithmically finite, universal, and $*$-universal groups
por: Andrews, Uri, et al.
Publicado: (2024)
por: Andrews, Uri, et al.
Publicado: (2024)
Computable Scott sentences and the weak Whitehead problem for finitely presented groups
por: Paolini, Gianluca
Publicado: (2023)
por: Paolini, Gianluca
Publicado: (2023)
Two results on complexities of decision problems of groups
por: Andrews, Uri, et al.
Publicado: (2024)
por: Andrews, Uri, et al.
Publicado: (2024)
Modal group theory
por: Wołoszyn, Wojciech Aleksander
Publicado: (2026)
por: Wołoszyn, Wojciech Aleksander
Publicado: (2026)
A non-computable c.e. closed subset of $[0,1]$
por: Badaev, Serikzhan, et al.
Publicado: (2025)
por: Badaev, Serikzhan, et al.
Publicado: (2025)
Feferman's completeness theorem
por: Pakhomov, Fedor, et al.
Publicado: (2024)
por: Pakhomov, Fedor, et al.
Publicado: (2024)
On the learning power of Friedman-Stanley jumps
por: Cipriani, Vittorio, et al.
Publicado: (2025)
por: Cipriani, Vittorio, et al.
Publicado: (2025)
On Cohesive Products of Fields
por: Dimitrov, Rumen, et al.
Publicado: (2026)
por: Dimitrov, Rumen, et al.
Publicado: (2026)
Isomorphism Spectra and Computably Composite Structures
por: Lakerdas-Gayle, Joey
Publicado: (2025)
por: Lakerdas-Gayle, Joey
Publicado: (2025)
Punctually Standard and Nonstandard Models of Natural Numbers
por: Bazhenov, Nikolay, et al.
Publicado: (2026)
por: Bazhenov, Nikolay, et al.
Publicado: (2026)
Failure Modes for Structural Highness Notions
por: Calvert, Wesley, et al.
Publicado: (2025)
por: Calvert, Wesley, et al.
Publicado: (2025)
The variety of coset relation algebras
por: Givant, Steven, et al.
Publicado: (2018)
por: Givant, Steven, et al.
Publicado: (2018)
The unification type of Lukasiewicz logic with a bounded number of variables
por: Abbadini, Marco, et al.
Publicado: (2025)
por: Abbadini, Marco, et al.
Publicado: (2025)
Sentences over Random Groups I: Existential Sentences
por: Massalha, Sobhi
Publicado: (2024)
por: Massalha, Sobhi
Publicado: (2024)
Sentences over Random Groups II: Sentences of Minimal Rank
por: Massalha, Sobhi
Publicado: (2024)
por: Massalha, Sobhi
Publicado: (2024)
Generic groups and the weak amalgamation property
por: Ivanov, Aleksander, et al.
Publicado: (2024)
por: Ivanov, Aleksander, et al.
Publicado: (2024)
Continuations and Completeness in Proof-theoretic Semantics
por: Gu, Tao, et al.
Publicado: (2026)
por: Gu, Tao, et al.
Publicado: (2026)
Learning Families of Algebraic Structures from Text
por: Bazhenov, Nikolay, et al.
Publicado: (2024)
por: Bazhenov, Nikolay, et al.
Publicado: (2024)
Relation algebras containing Thompson groups
por: Maddux, Roger D.
Publicado: (2023)
por: Maddux, Roger D.
Publicado: (2023)
Extensions of categoricity relative to a degree
por: Villano, Java Darleen
Publicado: (2025)
por: Villano, Java Darleen
Publicado: (2025)
Modal group theory: homomorphisms
por: Wołoszyn, Wojciech Aleksander
Publicado: (2026)
por: Wołoszyn, Wojciech Aleksander
Publicado: (2026)
A Lopez-Escobar Theorem for Continuous Domains
por: Bazhenov, Nikolay, et al.
Publicado: (2023)
por: Bazhenov, Nikolay, et al.
Publicado: (2023)
On the model theory of the Farey graph
por: Khangheshlaghi, Zahra Mohammadi, et al.
Publicado: (2025)
por: Khangheshlaghi, Zahra Mohammadi, et al.
Publicado: (2025)
Hierarchical formula classes with respect to semi-classical prenex normalization
por: Fujiwara, Makoto, et al.
Publicado: (2025)
por: Fujiwara, Makoto, et al.
Publicado: (2025)
On automorphism groups of metric reduced products of symmetric groups
por: De Bondt, Ben, et al.
Publicado: (2024)
por: De Bondt, Ben, et al.
Publicado: (2024)
Herbrandized modified realizability
por: Ferreira, Gilda, et al.
Publicado: (2024)
por: Ferreira, Gilda, et al.
Publicado: (2024)
The construction principle and non homogeneity of uncountable relatively free groups
por: Carolillo, Davide, et al.
Publicado: (2023)
por: Carolillo, Davide, et al.
Publicado: (2023)
Elementary equivalence and disintegration of tracial von Neumann algebras
por: Gao, David, et al.
Publicado: (2024)
por: Gao, David, et al.
Publicado: (2024)
Escaping Tennenbaum's Theorem and a Strong Jump Inversion Theorem
por: Maia, Duarte
Publicado: (2026)
por: Maia, Duarte
Publicado: (2026)
Herbrand's Theorem: a short statement and a model-theoretic proof
por: Badano, Mariana
Publicado: (2025)
por: Badano, Mariana
Publicado: (2025)
Elements of affine model theory
por: Bagheri, Seyed-Mohammad
Publicado: (2024)
por: Bagheri, Seyed-Mohammad
Publicado: (2024)
Finite Combinatorics and Fragments of Arithmetic
por: Wang, Wei
Publicado: (2025)
por: Wang, Wei
Publicado: (2025)
Definable Functions to Quotients in Ordered Abelian Groups
por: Wells, Harper
Publicado: (2026)
por: Wells, Harper
Publicado: (2026)
Free Left Distributive Algebras and a Canonical Extension
por: Cramer, Scott, et al.
Publicado: (2026)
por: Cramer, Scott, et al.
Publicado: (2026)
Limit Semigroups with 2 Generators
por: Estrada, Felipe, et al.
Publicado: (2025)
por: Estrada, Felipe, et al.
Publicado: (2025)
On the computability of cofinal Fraïssé limits
por: Ackerman, Nathanael, et al.
Publicado: (2026)
por: Ackerman, Nathanael, et al.
Publicado: (2026)
Generalised ultracategories and conceptual completeness of geometric logic
por: Hamad, Ali
Publicado: (2025)
por: Hamad, Ali
Publicado: (2025)
Adversarial Barrier in Uniform Class Separation
por: Rosko, Milan
Publicado: (2025)
por: Rosko, Milan
Publicado: (2025)
Online and feasible presentability: from trees to modal algebras
por: Bazhenov, Nikolay, et al.
Publicado: (2025)
por: Bazhenov, Nikolay, et al.
Publicado: (2025)
Ejemplares similares
-
Algorithmic aspects of left-orderings of solvable Baumslag--Solitar groups via its dynamical realization
por: Ho, Meng-Che "Turbo", et al.
Publicado: (2024) -
Algorithmically finite, universal, and $*$-universal groups
por: Andrews, Uri, et al.
Publicado: (2024) -
Computable Scott sentences and the weak Whitehead problem for finitely presented groups
por: Paolini, Gianluca
Publicado: (2023) -
Two results on complexities of decision problems of groups
por: Andrews, Uri, et al.
Publicado: (2024) -
Modal group theory
por: Wołoszyn, Wojciech Aleksander
Publicado: (2026)