Cover Image

Two results on complexities of decision problems of groups

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Andrews, Uri, Harrison-Trainor, Matthew, Ho, Meng-Che "Turbo"
Format:	Preprint
Published:	2024
Subjects:	Logic Group Theory 03D40, 20F10, 03D55
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

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

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

Remarks and problems about algorithmic descriptions of groups
by: Rauzy, Emmanuel
Published: (2021)

Undecidability of the stabilizer and zero-in-the-corner problems for matrix groups
by: Breuillard, Emmanuel, et al.
Published: (2024)

Computable analysis on the space of marked groups
by: Rauzy, Emmanuel
Published: (2021)

On epiC groups over language class C
by: Kohli, Raad Al, et al.
Published: (2025)

Modal group theory: homomorphisms
by: Wołoszyn, Wojciech Aleksander
Published: (2026)

Fundamental sequences based on localization
by: Wilken, Gunnar
Published: (2024)

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

Medvedev degrees of subshifts on groups
by: Barbieri, Sebastián, et al.
Published: (2024)

Profinite rigidity of affine Coxeter groups
by: Paolini, Gianluca, et al.
Published: (2024)

Around first-order rigidity of Coxeter groups
by: André, Simon, et al.
Published: (2024)

An explicit algorithm for the Higman Embedding Theorem
by: Mikaelian, V. H.
Published: (2025)

On non-isomorphic universal sofic groups
by: Alekseev, Vadim, et al.
Published: (2024)

An equiconsistency proof for $\mathrm{CZF} + V = L$
by: Wang, Shuwei
Published: (2026)

Scott Complexity of Reduced Abelian $p$-Groups
by: Alvir, Rachael, et al.
Published: (2024)

Consistent ultrafinitist logic
by: Gajda, Michał J.
Published: (2021)

Isomorphism relations on classes of c.e. algebras
by: Ho, Meng-Che "Turbo", et al.
Published: (2026)

Countable Ordered Groups and Weihrauch Reducibility
by: Li, Ang
Published: (2024)

Quasi-isometric Higman embeddings and the Dehn function
by: Wagner, Francis
Published: (2025)

Conjugator Length in Finitely Presented Groups
by: Gillis, Conan, et al.
Published: (2026)

Problems with fixpoints of polynomials of polynomials
by: Pradic, Cécilia, et al.
Published: (2026)

Possibility Semantics
by: Holliday, Wesley H.
Published: (2024)

Effective inseparability and some applications in meta-mathematics
by: Cheng, Yong
Published: (2022)

On the relationships between some meta-mathematical properties of arithmetical theories
by: Cheng, Yong
Published: (2023)

The limitless First Incompleteness Theorem
by: Cheng, Yong
Published: (2021)

On the computational properties of basic mathematical notions
by: Normann, Dag, et al.
Published: (2022)

Finite skew braces of square-free order and supersolubility
by: Ballester-Bolinches, Adolfo, et al.
Published: (2024)

Modal group theory
by: Wołoszyn, Wojciech Aleksander
Published: (2026)

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

Two-dimensional Kripke Semantics I: Presheaves
by: Kavvos, G. A.
Published: (2024)

On a Conjecture Regarding the Mouse Order for Weasels
by: Kruschewski, Jan, et al.
Published: (2022)

On some computational properties of open sets
by: Normann, Dag, et al.
Published: (2024)

Clarifying ordinals
by: Schweber, Noah
Published: (2024)

Comparing the Effective Content of Subshifts
by: Cordero, Antonio Nakid, et al.
Published: (2026)

Intuitionism and computing with partial information
by: Ganchev, Hristo, et al.
Published: (2026)

Two-dimensional Kripke Semantics II: Stability and Completeness
by: Kavvos, G. A.
Published: (2024)

Gödel coding on fibrations and geminal categories
by: Ikeda, Yuto
Published: (2026)

Whitehead's problem and condensed mathematics
by: Bergfalk, Jeffrey, et al.
Published: (2023)

Remarks on Primitive Regulation
by: Rosko, Milan
Published: (2026)