The theory of abelian p-groups with the quantifier I is decidable
Fundamenta Mathematicae (1980)
- Volume: 108, Issue: 3, page 183-197
- ISSN: 0016-2736
Access Full Article
topHow to cite
topBaudisch, Andreas. "The theory of abelian p-groups with the quantifier I is decidable." Fundamenta Mathematicae 108.3 (1980): 183-197. <http://eudml.org/doc/211138>.
@article{Baudisch1980,
author = {Baudisch, Andreas},
journal = {Fundamenta Mathematicae},
keywords = {theory of Abelian p-groups; Härtig quantifier; elementary Szmielew basic sentences},
language = {eng},
number = {3},
pages = {183-197},
title = {The theory of abelian p-groups with the quantifier I is decidable},
url = {http://eudml.org/doc/211138},
volume = {108},
year = {1980},
}
TY - JOUR
AU - Baudisch, Andreas
TI - The theory of abelian p-groups with the quantifier I is decidable
JO - Fundamenta Mathematicae
PY - 1980
VL - 108
IS - 3
SP - 183
EP - 197
LA - eng
KW - theory of Abelian p-groups; Härtig quantifier; elementary Szmielew basic sentences
UR - http://eudml.org/doc/211138
ER -
NotesEmbed ?
topTo embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.