Skip to main content Accessibility help

We use cookies to distinguish you from other users and to provide you with a better experience on our websites. Close this message to accept cookies or find out how to manage your cookie settings.

Close cookie message
×
  1. Home
  2. Search

Refine search

Refine search

Access:
Content type:
Publication date:
Apply   From and To filters
Subject: Show more
Journals Show more
Publishers: Show more
Societies Show more
Series: Show more
Collections: Show more

Actions for selected content:

Select all | Deselect all
  • View selected items
  • Export citations
  • Download PDF (zip)
  • Save to Kindle
  • Save to Dropbox
  • Save to Google Drive

Save Search

You can save your searches here and later view and run them again in "My saved searches".

Please provide a title, maximum of 40 characters.
Cancel
×

1 results

  • FINITELY GENERATED GROUPS AND FIRST-ORDER LOGIC

  • A. MOROZOV, A. NIES
  • Journal:
    Journal of the London Mathematical Society / Volume 71 / Issue 3 / June 2005
    Published online by Cambridge University Press:
    24 May 2005, pp. 545-562
    Print publication:
    June 2005

  • It is proved that the following classes of finitely generated groups have $\Pi_1^1$-complete first-order theories: all finitely generated groups, the $n$-generated groups, and the strictly $n$-generated groups ($n\,{\geqslant}\,2$). Moreover, all those theories are distinct. Similar techniques show that quasi-finitely axiomatizable groups have a hyperarithmetical word problem, where a finitely generated group is quasi-finitely axiomatizable if it is the only finitely generated group satisfying an appropriate first-order sentence. The Turing degrees of word problems of quasi-finitely axiomatizable groups form a cofinal set in the Turing degrees of hyperarithmetical sets.