首页
学术期刊
论文检测
AIGC检测
热点
更多
数据
A GENERALIZATION OF ABSTRACT MODEL-THEORY
被引:0
|
作者
:
MUNDICI, D
论文数:
0
引用数:
0
h-index:
0
机构:
NATL RES COUNCIL,GNSAGA GRP,I-50060 DONNINI,ITALY
MUNDICI, D
机构
:
[1]
NATL RES COUNCIL,GNSAGA GRP,I-50060 DONNINI,ITALY
[2]
UNIV FLORENCE,MATH INST U DINI,I-50121 FLORENCE,ITALY
来源
:
FUNDAMENTA MATHEMATICAE
|
1984年
/ 124卷
/ 01期
关键词
:
D O I
:
暂无
中图分类号
:
O1 [数学];
学科分类号
:
0701 ;
070101 ;
摘要
:
引用
收藏
页码:1 / 25
页数:25
相关论文
共 50 条
[1]
REMARKS IN ABSTRACT MODEL-THEORY
SHELAH, S
论文数:
0
引用数:
0
h-index:
0
机构:
HEBREW UNIV JERUSALEM,INST ADV STUDIES,JERUSALEM,ISRAEL
HEBREW UNIV JERUSALEM,INST ADV STUDIES,JERUSALEM,ISRAEL
SHELAH, S
ANNALS OF PURE AND APPLIED LOGIC,
1985,
29
(03)
: 255
-
288
[2]
INSTITUTIONS - ABSTRACT MODEL-THEORY FOR SPECIFICATION AND PROGRAMMING
GOGUEN, JA
论文数:
0
引用数:
0
h-index:
0
机构:
SRI INT, MENLO PK, CA 94025 USA
GOGUEN, JA
BURSTALL, RM
论文数:
0
引用数:
0
h-index:
0
机构:
SRI INT, MENLO PK, CA 94025 USA
BURSTALL, RM
JOURNAL OF THE ACM,
1992,
39
(01)
: 95
-
146
[3]
POSITIVE RESULTS IN ABSTRACT MODEL-THEORY - A THEORY OF COMPACT LOGICS
MAKOWSKY, JA
论文数:
0
引用数:
0
h-index:
0
机构:
TECHNION ISRAEL INST TECHNOL,DEPT COMP SCI,HAIFA,ISRAEL
MAKOWSKY, JA
SHELAH, S
论文数:
0
引用数:
0
h-index:
0
机构:
TECHNION ISRAEL INST TECHNOL,DEPT COMP SCI,HAIFA,ISRAEL
SHELAH, S
ANNALS OF PURE AND APPLIED LOGIC,
1983,
25
(03)
: 263
-
299
[4]
INVERSE TOPOLOGICAL SYSTEMS AND COMPACTNESS IN ABSTRACT MODEL-THEORY
MUNDICI, D
论文数:
0
引用数:
0
h-index:
0
MUNDICI, D
JOURNAL OF SYMBOLIC LOGIC,
1986,
51
(03)
: 785
-
794
[5]
DUALITY FOR COMPACT LOGICS AND SUBSTITUTION IN ABSTRACT MODEL-THEORY
LIPPARINI, P
论文数:
0
引用数:
0
h-index:
0
LIPPARINI, P
ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK,
1985,
31
(06):
: 517
-
532
[6]
EFFECTIVE MODEL-THEORY VS RECURSIVE MODEL-THEORY
CHISHOLM, J
论文数:
0
引用数:
0
h-index:
0
CHISHOLM, J
JOURNAL OF SYMBOLIC LOGIC,
1990,
55
(03)
: 1168
-
1191
[7]
MODEL-THEORY OF FIELDS
PRESTEL, A
论文数:
0
引用数:
0
h-index:
0
PRESTEL, A
JOURNAL OF SYMBOLIC LOGIC,
1984,
49
(04)
: 1437
-
1438
[8]
AN APPLICABLE MODEL-THEORY
MOORE, GR
论文数:
0
引用数:
0
h-index:
0
机构:
UNIV CAMBRIDGE,DEPT ARCHITECTURE,CAMBRIDGE,ENGLAND
UNIV CAMBRIDGE,DEPT ARCHITECTURE,CAMBRIDGE,ENGLAND
MOORE, GR
COMPUTER-AIDED DESIGN,
1986,
18
(07)
: 393
-
394
[9]
A MODEL-THEORY OF KNOWLEDGE
FAGIN, R
论文数:
0
引用数:
0
h-index:
0
FAGIN, R
JOURNAL OF SYMBOLIC LOGIC,
1987,
52
(01)
: 298
-
298
[10]
MODEL-THEORY AND SPECTRA
ROBSON, RO
论文数:
0
引用数:
0
h-index:
0
机构:
Department of Mathematics, Oregon State University, Corvallis
ROBSON, RO
JOURNAL OF PURE AND APPLIED ALGEBRA,
1990,
63
(03)
: 301
-
327
←
1
2
3
4
5
→