NONAXIOMATIZABILITY RESULTS FOR INFINITARY SYSTEMS

被引：4

作者：

KARP, C

机构：

来源：

关键词：

D O I：

10.2307/2270780

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

引用

页码：367 / &

共 10 条

[1]

CHANG CC, 1957, T AM MATH SOC, V85, P208

[2]

Karp Carol, 1964, LANGUAGES EXPRESSION

[3]

Kripke S., 1964, J SYMBOLIC LOGIC, V29, P161

[4]

LEVY A, RECURSIVE FUNCTIONS

[5]

LEVY A, 1965, MEMOIRS AMERICAN MAT

[6] THEORY OF TRANSFINITE RECURSION [J].

MACHOVER, M .

[7]

PIERCE RS, 1959, PAC J MATH, V9, P175

[8] A DISTRIBUTIVITY CONDITION FOR BOOLEAN ALGEBRAS [J].

SMITH, EC .

[9]

Takeuti G., 1960, J MATH SOC JPN, V12, P119, DOI [10.2969/ jmsj/01220119, DOI 10.2969/JMSJ/01220119]

[10] ON PARTIAL RECURSIVE FUNCTIONS OF ORDINAL NUMBERS [J].

TUGUE, T .