Research Training Network in Model Theory
Publications > Preprint server > Preprint Number 1626

Preprint Number 1626

Previous Next Preprint server

1626. Andre Nies, Dan Segal and Katrin Tent
Finite axiomatizability for profinite groups I: group theory

Submission date: 4 July 2019


A group is finitely axiomatizable (FA) in a class 𝓒 if it can be determined up to isomorphism within 𝓒 by a sentence in the first-order language of group theory. We show that profinite groups of various kinds are FA in the class of profinite groups. Reasons why certain groups cannot be FA are also discussed.

Mathematics Subject Classification: 20A15, 20E18

Keywords and phrases:

Full text arXiv 1907.02262: pdf, ps.

Last updated: August 6 2019 20:45 Please send your corrections to: