EMIS ELibM Electronic Journals
Vol. 37(51), pp. 51--55 (1985)

Previous Article

Next Article

Contents of this Issue

Other Issues

ELibM Journals

ELibM Home



First order classes of groups having no groups with a given property

Nata\v sa Bo\v zovi\'c

Matemati\v cki fakultet, Beograd, Yugoslavia

Abstract: A result of Miller [8], that there exists a finitely axiomatizable theory having no nontrivial models with isolvable word problem, is generalized. It is proved here that for every strong hereditary property $P$ of $fp$ group there exist a finitely axiomatizable first-order theory $\Cal I(P)$ having no nontrivial models that enjoy $P$.

Classification (MSC2000): 20F10; 03C65

Full text of the article:

Electronic fulltext finalized on: 2 Nov 2001. This page was last modified: 16 Nov 2001.

© 2001 Mathematical Institute of the Serbian Academy of Science and Arts
© 2001 ELibM for the EMIS Electronic Edition