The theory of abelian p-groups with the quantifier I is decidable

Andreas Baudisch

The search session has expired. Please query the service again.

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

Walter Baur (1975)

Compositio Mathematica

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:

Renormalization of the Abelian Higgs-Kibble Model

C. Becchi, A. Rouet, R. Stora (1975)

Recherche Coopérative sur Programme n°25

Similarity:

On $ω_{1}$ -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- $G$ groups, for $G$ 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 $G$ the class of abelian-by- $G$ groups is elementary, but, at least when $G$ is an infinite elementary abelian $p$ -group (with $p$ prime), the class of groups admitting a normal abelian subgroup whose quotient group is elementarily equivalent to $G$ is elementary.

The $L^{t}$ -theory of profinite abelian groups

Peter Schmitt (1983)

Fundamenta Mathematicae

Similarity: