:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Harper, Scott, Wu, Peiran
Format:	Preprint
Published:	2025
Subjects:	Logic in Computer Science Group Theory 20-04 (Primary) 20A05 (Secondary) F.4.1; G.4
Online Access:	https://arxiv.org/abs/2501.09769
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Nonstandard free groups
by: Miasnikov, Alexei, et al.
Published: (2026)

Elements of finite order in the normalizer of a maximal torus of a semisimple group
by: Arzhantsev, Ivan, et al.
Published: (2026)

Verbal width in arithmetic Chevalley groups
by: Gvozdevsky, Pavel
Published: (2024)

Symbolic computation in cubic Jordan matrix algebras and in related structures
by: Wiedemann, Torben
Published: (2026)

Minimal sized generating sets of permutation groups
by: Holt, Derek F., et al.
Published: (2024)

Description Complexity of Unary Structures in First-Order Logic with Links to Entropy
by: Jaakkola, Reijo, et al.
Published: (2024)

Conciseness of first-order formulae
by: Conte, Martina, et al.
Published: (2025)

Finitary Simulation of Infinitary $β$-Reduction via Taylor Expansion, and Applications
by: Cerda, Rémy, et al.
Published: (2022)

The Aurellion Function: A Recursive Fast-Growing Hierarchy Beyond Knuth Notation
by: Vodrazka, Daniel
Published: (2025)

A combinatorial proof of the extension property for partial isometries
by: Hubička, Jan, et al.
Published: (2018)

Regular bi-interpretability and finite axiomatizability of Chevalley groups
by: Bunina, Elena, et al.
Published: (2023)

Lifting relations in right orderable groups
by: Linton, Marco
Published: (2024)

A Formalization of the Generalized Quantum Stein's Lemma in Lean
by: Meiburg, Alex, et al.
Published: (2025)

On probabilistic identities and coset identities in pro-$p$ groups
by: Kionke, Steffen, et al.
Published: (2025)

Uniform Interpolation
by: van Gool, Sam
Published: (2025)

Formalising Fisher's Inequality: Formal Linear Algebraic Proof Techniques in Combinatorics
by: Edmonds, Chelsea, et al.
Published: (2022)

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

On the Descriptive Complexity of Groups without Abelian Normal Subgroups
by: Grochow, Joshua A., et al.
Published: (2022)

Asymptotics of rational representations for algebraic groups
by: Sánchez, Lander Guerrero, et al.
Published: (2024)

Bounding the degree of generic sharp transitivity
by: Altınel, Tuna, et al.
Published: (2024)

Thompson's group T has quadratic Dehn function
by: Migliorini, Matteo
Published: (2024)

Concise formulae in groups of non-positive curvature
by: Ciobanu, Laura, et al.
Published: (2026)

Verified Program Extraction in Number Theory: The Fundamental Theorem of Arithmetic and Relatives
by: Wiesnet, Franziskus
Published: (2025)

Chasing maximal pro-p Galois groups via 1-cyclotomicity
by: Quadrelli, Claudio
Published: (2021)

Hyperbolic one-relator groups
by: Linton, Marco
Published: (2022)

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

Residually rationally solvable one-relator groups
by: Linton, Marco
Published: (2024)

Monoid Theory in Alonzo: A Little Theories Formalization in Simple Type Theory
by: Farmer, William M., et al.
Published: (2023)

A classification of bisimilarities for general Markov decision processes
by: Moroni, Martín Santiago, et al.
Published: (2024)

The complexity of bisimilarity on pointmass processes
by: Moroni, Martín Santiago, et al.
Published: (2026)

Digraphs, pro-$p$ groups and Massey products in Galois cohomology
by: Quadrelli, Claudio
Published: (2024)

On two-generator subgroups of mapping torus groups
by: Andrew, Naomi, et al.
Published: (2024)

A Bisimulation-Invariance-Based Approach to the Separation of Polynomial Complexity Classes
by: Bruse, Florian, et al.
Published: (2026)

The double cone group is isomorphic to the archipelago group
by: Corson, Samuel M.
Published: (2025)

Arboreal representations of linear groups
by: Fariña-Asategui, Jorge
Published: (2025)

Graph Powers of Groups
by: Cunningham, Gabe, et al.
Published: (2025)

A formalization of Borel determinacy in Lean
by: Manthe, Sven
Published: (2025)

On singular equations over torsion-free groups
by: Edjvet, Martin, et al.
Published: (2020)

A Theory of Hanoi Omega-Automata and Games
by: Filiot, Emmanuel, et al.
Published: (2026)

Automorphism groups of combinatorial Hantzsche-Wendt groups
by: Lutowski, Rafał, et al.
Published: (2024)