Cover Image

Conciseness of first-order formulae

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Conte, Martina, Petschick, Jan Moritz
Format:	Preprint
Published:	2025
Subjects:	Group Theory Logic Primary 20A15, 20F10, Secondary 03C60, 20E26, 20F18, 22C05
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

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

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

Finite axiomatizability of the rank and the dimension of a pro-$π$ group
by: Conte, Martina, et al.
Published: (2023)

Profinite rigidity of crystallographic groups arising from Lie theory
by: Carolillo, Davide, et al.
Published: (2025)

A note on co-Hopfian groups and rings
by: Gaglione, Anthony M., et al.
Published: (2025)

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

On $\operatorname{Alt}(n)$-modules with an additive dimension when $n\le6$
by: Chin, Barry, et al.
Published: (2024)

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

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

On the Borel complexity of the space of left-orderings of nilpotent groups
by: Taucán, Emir Molina
Published: (2025)

The derived series of GGS-groups
by: Petschick, Jan Moritz
Published: (2022)

Groups with classifiable actions on the line
by: Brum, Joaquín, et al.
Published: (2026)

Inner ultrahomogeneous groups
by: Rzepecki, Tomasz
Published: (2024)

The product formula for Reidemeister numbers on nilpotent groups
by: Senden, Pieter
Published: (2025)

Towards a Stallings-type theorem for finite groups
by: Carmesin, Johannes, et al.
Published: (2024)

Weakly branch actions: first-order theory, rigidity and Boston's conjecture
by: Fariña-Asategui, Jorge
Published: (2025)

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

Sharply k-transitive actions on ultrahomogeneous structures
by: González, J. de la Nuez, et al.
Published: (2025)

Ranked definably linear quasi-Frobenius groups
by: Zamour, Samuel
Published: (2024)

Conciseness of compact $R$-analytic groups
by: Zozaya, Andoni
Published: (2022)

Separability Properties of Nilpotent $\mathbb{Q}[x]$-Powered Groups II
by: Majewicz, Stephen, et al.
Published: (2024)

Condensation and left-orderable groups
by: Calderoni, Filippo, et al.
Published: (2023)

Representation zeta functions of split extensions of $SL_2^m(O)$
by: Petschick, J. Moritz, et al.
Published: (2026)

The isomorphism problem for finitely generated bi-orderable groups
by: Calderoni, Filippo, et al.
Published: (2025)

Absolute profinite rigidity, direct products, and finite presentability
by: Bridson, M. R., et al.
Published: (2023)

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

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

On linear divergence in finitely generated groups
by: Issini, Letizia
Published: (2023)

Property FW and wreath products of groups: a simple approach using Schreier graphs
by: Leemann, Paul-Henry, et al.
Published: (2021)

Relation algebras containing Thompson groups
by: Maddux, Roger D.
Published: (2023)

Conjugacy conditions for supersoluble complements of an abelian base and a fixed point result for non-coprime actions
by: Burkhart, Michael C.
Published: (2022)

Le Conte de la Mesure sur les Complexes Cubiques CAT(0)
by: Fernós, Talia
Published: (2024)

Cohomological Separability of Baumslag--Solitar groups and Their Generalisations
by: Cohen, William D., et al.
Published: (2024)

On commensurators of free groups and free pro-p groups
by: Barnea, Yiftach, et al.
Published: (2025)

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

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

Growing Spines Ad Infinitum
by: Boissonneau, Blaise, et al.
Published: (2025)

Omega-categorical pseudofinite groups
by: Macpherson, Dugald, et al.
Published: (2024)

First-order sentences in random groups I: universal sentences
by: Kharlampovich, O., et al.
Published: (2021)

Transposition of variables is hard to describe
by: Andréka, H., et al.
Published: (2024)