INFINITARY LOGIC AND ADMISSIBLE SETS

被引：57

作者：

BARWISE, J

机构：

来源：

关键词：

D O I：

10.2307/2271099

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

引用

页码：226 / &

共 21 条

[1]

BARWISE J, 1967, THESIS STANFORD U

[2]

BARWISE J, 1968, SYNTAX SEMANTICS INF, V72, P1

FEFERMAN, S ;

KREISEL, G .

Godel, K .

[5]

HANF W, 1964, FUNDAMENTA MATH, V0053, P00309

[6]

JENSEN R, TO BE PUBLISHED

[7] NONAXIOMATIZABILITY RESULTS FOR INFINITARY SYSTEMS [J].

KARP, C .

[8]

Karp Carol, 1964, LANGUAGES EXPRESSION

[9]

Kreisel G., 1965, J SYMBOLIC LOGIC, V30, P318

[10]

Kreisel G., 1959, INFINITISTIC METHODS, P103