EQUALITY AND LYNDON INTERPOLATION THEOREM

被引：5

作者：

MOTOHASHI, N

机构：

来源：

关键词：

D O I：

10.2307/2274095

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

引用

页码：123 / 128

页数：6

共 10 条

[1]

FUJIWARA T, 1978, J MATH SOC JAPAN, V30, P278

[2]

Hailperin T, 1954, J SYMBOLIC LOGIC, V19, P14, DOI [10.2307/2267645, DOI 10.2307/2267645]

[3]

Keisler H. Jerome, 1971, MODEL THEORY INFINIT

[4]

LOPEZESCOBAR EGK, 1965, FUND MATH, V57, P253

[5]

Lyndon R.C, 1959, PAC J MATH, V9, P129

[6]

MOTOHASHI N, 1983, Z MATH LOGIK GRUNDLA, V28, P29

[7] ON CRAIG-LYNDON INTERPOLATION THEOREM [J].

OBERSCHELP, A .

[8] DER INTERPOLATIONSSATZ DER INTUITIONISTISCHEN PRADIKATENLOGIK [J].

SCHUTTE, K .

[9]

Shoenfield J. R., 1967, MATH LOGIC

[10]

Takeuti G., 1975, PROOF THEORY