Vol. 37(51), pp. 5155 (1985) 

First order classes of groups having no groups with a given propertyNata\v sa Bo\v zovi\'cMatemati\v cki fakultet, Beograd, YugoslaviaAbstract: 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 firstorder 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
