DECIDABILITY AND UNDECIDABILITY OF THEORIES OF ABELIAN-GROUPS WITH PREDICATES FOR SUBGROUPS

被引：0

作者：

BAUR, W ^{[1
]}

机构：

[1] YALE UNIV,DEPT MATH,YALE STN,POB 2155,NEW HAVEN,CT 06520

来源：

COMPOSITIO MATHEMATICA | 1975年 / 31卷 / 01期

关键词：

D O I：

暂无

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

引用

页码：23 / 30

页数：8

共 50 条

[1] DECIDABILITY PROBLEMS OF ELEMENTARY THEORIES OF CLASSES OF ABELIAN-GROUPS WITH SUBGROUPS
BAUDISCH, A
BULLETIN DE L ACADEMIE POLONAISE DES SCIENCES-SERIE DES SCIENCES MATHEMATIQUES ASTRONOMIQUES ET PHYSIQUES, 1975, 23 (02): : 111 - 115
[2] UNDECIDABILITY OF THEORY OF ABELIAN-GROUPS WITH A SUBGROUP
BAUR, W
PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY, 1976, 55 (01) : 125 - 128
[3] UNDECIDABILITY OF THEORY OF ABELIAN-GROUPS WITH AN AUTOMORPHISM
MARTYANOV, VI
MATHEMATICAL NOTES, 1978, 23 (3-4) : 281 - 284
[4] PRECOBALANCED SUBGROUPS OF ABELIAN-GROUPS
GIOVANNITTI, AJ
RANGASWAMY, KM
COMMUNICATIONS IN ALGEBRA, 1991, 19 (01) : 249 - 269
[5] IMBEDDED SUBGROUPS OF ABELIAN-GROUPS
BERLINGHOFF, WP
MOORE, JD
REID, JD
JOURNAL OF THE AUSTRALIAN MATHEMATICAL SOCIETY SERIES A-PURE MATHEMATICS AND STATISTICS, 1990, 48 : 281 - 298
[6] BALANCED SUBGROUPS OF ABELIAN-GROUPS
HUNTER, RH
TRANSACTIONS OF THE AMERICAN MATHEMATICAL SOCIETY, 1976, 215 (JAN) : 81 - 98
[7] DECIDABILITY OF THEORY OF ABELIAN-GROUPS WITH RAMSEY QUANTIFIERS
BAUDISCH, A
BULLETIN DE L ACADEMIE POLONAISE DES SCIENCES-SERIE DES SCIENCES MATHEMATIQUES ASTRONOMIQUES ET PHYSIQUES, 1977, 25 (08): : 733 - 739
[8] UNDECIDABILITY OF THEORY OF ABELIAN-GROUPS WITH A SUBGROUP - PRELIMINARY REPORT
BAUR, W
NOTICES OF THE AMERICAN MATHEMATICAL SOCIETY, 1975, 22 (02): : A324 - A324
[9] PURIFIABLE SUBGROUPS OF PRIMARY ABELIAN-GROUPS
BENABDALLAH, K
PICHE, C
CANADIAN MATHEMATICAL BULLETIN-BULLETIN CANADIEN DE MATHEMATIQUES, 1990, 33 (01): : 11 - 17
[10] BIG SUBGROUPS OF PRIMARY ABELIAN-GROUPS
SHARP, TJ
NOTICES OF THE AMERICAN MATHEMATICAL SOCIETY, 1976, 23 (05): : A482 - A482

← 1 2 3 4 5 →