Decidability and undecidability of theories of abelian groups with predicates for subgroups
Walter Baur (1975)
Compositio Mathematica
Similarity:
Displaying similar documents to “The theory of abelian p-groups with the quantifier I is decidable”
Decidability and undecidability of theories of abelian groups with predicates for subgroups
On some model theoretic problems concerning certain extensions of abelian groups by groups of finite exponent
Carlo Toffalori (2000)
Rendiconti del Seminario Matematico della Università di Padova
Similarity:
Renormalization of the Abelian Higgs-Kibble Model
C. Becchi, A. Rouet, R. Stora (1975)
Recherche Coopérative sur Programme n°25
Similarity:
On -categorical theories of abelian groups
Angus Macintyre (1971)
Fundamenta Mathematicae
Similarity:
Undecidability of intuitionistic theories formulated with the apartness relation
Dov Gabbay (1977)
Fundamenta Mathematicae
Similarity:
On elementary equivalence of abelian groups
Fred Clare (1976)
Colloquium Mathematicae
Similarity:
Undecidable theories of valuated abelian groups
Peter H. Schmitt (1984)
Mémoires de la Société Mathématique de France
Similarity:
Characterization of abelian-by-cyclic 3-rewritable groups
A. Abdollahi, A. Mohammadi Hassanabadi (2004)
Rendiconti del Seminario Matematico della Università di Padova
Similarity:
An elementary class extending abelian-by- groups, for infinite
Carlo Toffalori (1996)
Atti della Accademia Nazionale dei Lincei. Classe di Scienze Fisiche, Matematiche e Naturali. Rendiconti Lincei. Matematica e Applicazioni
Similarity:
We show that for no infinite group the class of abelian-by- groups is elementary, but, at least when is an infinite elementary abelian -group (with prime), the class of groups admitting a normal abelian subgroup whose quotient group is elementarily equivalent to is elementary.
The -theory of profinite abelian groups
Peter Schmitt (1983)
Fundamenta Mathematicae
Similarity: