SOME APPLICATIONS OF HENKIN QUANTIFIERS

被引：18

作者：

BARWISE, J ^{[1
]}

机构：

[1] UNIV WISCONSIN,MADISON,WI 53706

来源：

关键词：

D O I：

10.1007/BF02756560

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

引用

页码：47 / 63

页数：17

共 20 条

[1] INTRODUCTION TO RECURSIVELY SATURATED AND RESPLENDENT MODELS [J].

BARWISE, J ;

SCHLIPF, J .

[2]

BARWISE J, TO BE PUBLISHED

[3]

Barwise J., 1975, PERSPECTIVES MATH LO

[4]

CHANG C. C., 1973, MODEL THEORY

[5]

COHEN P, 1974, P S PURE MATH, V25, P325

[6]

Craig W., 1953, J SYMBOLIC LOGIC, V18, P30, DOI DOI 10.2307/2266324

[7]

DICKER RM, 1968, P LOND MATH SOC, V18, P114

[8]

ENDERTON HB, 1970, Z MATH LOGIK, V16, P393

[9]

Fuchs L., 1958, ABELIAN GROUPS

[10]

Henkin L., 1959, INFINITISTIC METHODS, P167