The theory of abelian p-groups with the quantifier I is decidable
Andreas Baudisch (1980)
Fundamenta Mathematicae
Similarity:
Displaying similar documents to “Decidability and undecidability of theories of abelian groups with predicates for subgroups”
The theory of abelian p-groups with the quantifier I is decidable
On -categorical theories of abelian groups
Angus Macintyre (1971)
Fundamenta Mathematicae
Similarity:
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:
The -theory of profinite abelian groups
Peter Schmitt (1983)
Fundamenta Mathematicae
Similarity:
Undecidability of intuitionistic theories formulated with the apartness relation
Dov Gabbay (1977)
Fundamenta Mathematicae
Similarity:
Undecidable theories of valuated abelian groups
Peter H. Schmitt (1984)
Mémoires de la Société Mathématique de France
Similarity:
On the exponent of the product of two groups
Avinoam Mann (2006)
Rendiconti del Seminario Matematico della Università di Padova
Similarity:
Centralizers of semisimple subgroups in locally finite simple groups
M. Kuzucuoğlu (1994)
Rendiconti del Seminario Matematico della Università di Padova
Similarity: