EXTENSIONS OF ORDERED THEORIES BY GENERIC PREDICATES

被引：4

|

作者：

Dolich, Alfred ^{[1
]}

Miller, Chris ^{[2
]}

Steinhorn, Charles ^{[3
]}

机构：

[1] Kingsborough Community Coll, Dept Math & Comp Sci, Brooklyn, NY 11235 USA

[2] Ohio State Univ, Dept Math, Columbus, OH 43210 USA

[3] Vassar Coll, Dept Mat, Poughkeepsie, NY 12604 USA

来源：

JOURNAL OF SYMBOLIC LOGIC | 2013年 / 78卷 / 02期

基金：

美国国家科学基金会;

关键词：

O-MINIMAL STRUCTURES; OPEN SETS; EXPANSIONS;

D O I：

10.2178/jsl.7802020

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

[No abstract available]

引用

收藏

页码：369 / 387

页数：19

相关论文

共 50 条

[41] Ideal extensions of ordered semigroups
Kehayopulu, N
Tsingelis, M
COMMUNICATIONS IN ALGEBRA, 2003, 31 (10) : 4939 - 4969
[42] Decidable theories of the ordering of natural numbers with unary predicates
Rabinovich, Alexander
Thomas, Wolfgang
COMPUTER SCIENCE LOGIC, PROCEEDINGS, 2006, 4207 : 562 - 574
[43] Generic Theories as a Method for Approximating Elementary Theories
A. G. Myasnikov
V. N. Remeslennikov
Algebra and Logic, 2015, 53 : 512 - 519
[44] ON EXTENSIONS OF GENERAL DEFAULT THEORIES
ZHANG, MY
SCIENCE IN CHINA SERIES A-MATHEMATICS PHYSICS ASTRONOMY, 1993, 36 (10): : 1273 - 1280
[45] HOMOLOGY THEORIES AND KAN EXTENSIONS
PICCININ.RA
NOTICES OF THE AMERICAN MATHEMATICAL SOCIETY, 1974, 21 (05): : A507 - A507
[46] COMPUTING EXTENSIONS OF DEFAULT THEORIES
LEVY, F
LECTURE NOTES IN COMPUTER SCIENCE, 1991, 548 : 219 - 226
[47] GENERIC THEORIES AS A METHOD FOR APPROXIMATING ELEMENTARY THEORIES
Myasnikov, A. G.
Remeslennikov, V. N.
ALGEBRA AND LOGIC, 2015, 53 (06) : 512 - 519
[48] TORSION THEORIES AND RING EXTENSIONS
LOUDEN, K
COMMUNICATIONS IN ALGEBRA, 1976, 4 (06) : 503 - 532
[49] On Extensions of General Default Theories
张明义
Science China Mathematics, 1993, (10) : 1273 - 1280
[50] ON FINDING EXTENSIONS OF DEFAULT THEORIES
PAPADIMITRIOU, CH
SIDERI, M
LECTURE NOTES IN COMPUTER SCIENCE, 1992, 646 : 276 - 281

← 1 2 3 4 5 →