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 条

[31] CLASSES OF PRIMARY ABELIAN-GROUPS DETERMINED BY VALUATED SUBGROUPS
KEEF, P
JOURNAL OF PURE AND APPLIED ALGEBRA, 1993, 87 (01) : 5 - 16
[32] DECIDABILITY AND UNDECIDABILITY OF THEORIES WITH A PREDICATE FOR THE PRIMES
BATEMAN, PT
JOCKUSCH, CG
WOODS, AR
JOURNAL OF SYMBOLIC LOGIC, 1993, 58 (02) : 672 - 687
[33] A SIMPLE PROOF OF THE HEREDITARY UNDECIDABILITY OF THE THEORY OF LATTICE-ORDERED ABELIAN-GROUPS
BURRIS, S
ALGEBRA UNIVERSALIS, 1985, 20 (03) : 400 - 401
[34] MODEL AND SUBSTRUCTURE COMPLETE THEORIES OF ORDERED ABELIAN-GROUPS
SCHMITT, PH
LECTURE NOTES IN MATHEMATICS, 1984, 1103 : 389 - 418
[35] PRIMARY ABELIAN-GROUPS HAVING ALL HIGH SUBGROUPS ISOMORPHIC
CUTLER, DO
PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY, 1981, 83 (03) : 467 - 470
[36] TOPOLOGICAL ABELIAN-GROUPS WITH LOCALLY COMPACT LATTICE OF CLOSED SUBGROUPS
PROTASOV, IV
SARYEV, A
DOPOVIDI AKADEMII NAUK UKRAINSKOI RSR SERIYA A-FIZIKO-MATEMATICHNI TA TECHNICHNI NAUKI, 1980, (03): : 28 - 31
[37] SUBGROUPS OF ALMOST SEPARABLE TORSION-FREE ABELIAN-GROUPS
METELLI, C
PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY, 1989, 106 (01) : 9 - 17
[38] ON STRONGLY BALANCED SUBGROUPS OF SEPARABLE TORSION FREE ABELIAN-GROUPS
RANGASWAMY, KM
LECTURE NOTES IN MATHEMATICS, 1983, 1006 : 268 - 274
[39] ORBITS OF BASIC SUBGROUPS OF PRIMARY ABELIAN-GROUPS UNDER AUTOMORPHISMS
TARWATER, D
TEXAS JOURNAL OF SCIENCE, 1972, 23 (03): : 431 - &
[40] BALANCED SUBGROUPS OF FINITE RANK COMPLETELY DECOMPOSABLE ABELIAN-GROUPS
NONGXA, LG
TRANSACTIONS OF THE AMERICAN MATHEMATICAL SOCIETY, 1987, 301 (02) : 637 - 648

← 1 2 3 4 5 →