UNIVERSALLY GENERIC FINITELY GENERATED ORDERED ABELIAN-GROUPS

被引：0

作者：

DAHN, BI

LENSKI, W

机构：

[1] HUMBOLDT UNIV BERLIN, INST REINE MATH, D-10099 BERLIN, GERMANY

[2] UNIV KAISERSLAUTERN, FACHBEREICH INFORMAT, D-67653 KAISERSLAUTERN, GERMANY

来源：

ORDER-A JOURNAL ON THE THEORY OF ORDERED SETS AND ITS APPLICATIONS | 1994年 / 11卷 / 01期

关键词：

FINITELY GENERATED ORDERED ABELIAN GROUPS; FORCING; STRUCTURE OF GENERIC MODELS; AXIOMATIZATION;

D O I：

10.1007/BF01462231

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

It is shown that a finitely generated ordered Abelian group is generic if and only if it is superdiscrete, i.e., each homomorphic image is discretely ordered. The forcing concept uses universal sentences as forcing conditions.

引用

页码：77 / 84

页数：8

共 7 条

[1]

Dahn B. I., 1988, Algebraic and Logic Programming. International Workshop Proceedings, P119

[2]

DAHN BI, 1988, 6TH P EAST C MOD THE, P33

[3]

DAHN BI, 1989, 7TH P EAST C MOD THE, P75

[4] EMBEDDING THEOREMS AND GENERALIZED DISCRETE ORDERED ABELIAN-GROUPS [J].

HILL, P ;

MOTT, JL .

TRANSACTIONS OF THE AMERICAN MATHEMATICAL SOCIETY, 1973, 175 (448) :283-297

[5]

WEISPFENNING V, 1986, ALGEBRA ORDER, P113

[6]

Weispfenning V., 1990, ARCH MATH LOGIC, V29, P237

[7]

YAHN B, 1989, 7TH P EAST C MOD THE, P67

← 1 →