COUNTABLE ALGEBRA AND SET EXISTENCE AXIOMS

被引：88

作者：

FRIEDMAN, HM

SIMPSON, SG

SMITH, RL

机构：

[1] OHIO STATE UNIV,DEPT MATH,COLUMBUS,OH 43210

[2] UNIV FLORIDA,DEPT MATH,GAINESVILLE,FL 32611

[3] PENN STATE UNIV,DEPT MATH,UNIVERSITY PK,PA 16802

来源：

关键词：

D O I：

10.1016/0168-0072(83)90012-X

中图分类号：

O29 [应用数学];

学科分类号：

070104 ;

摘要：

引用

页码：141 / 181

页数：41

共 43 条

[1]

BISHOP E, 1967, F CONSTRUCTIVE ANAL

[2] DECISION PROCEDURES FOR REAL AND P-ADIC FIELDS [J].

COHEN, PJ .

[3]

ERSOV JL, 1977, Z MATH LOGIK, V23, P289

[4] SYSTEMS OF PREDICATIVE ANALYSIS .2. REPRESENTATIONS OF ORDINALS [J].

FEFERMAN, S .

[5]

FEFERMAN S, 1975, SPRINGER LECTURE NOT, V498, P117

[6]

Feferman S., 1964, J SYMBOLIC LOGIC, V29, P1

[7]

FRIEDMAN H, 1976, J SYMBOLIC LOGIC, V41, P557

[8]

FRIEDMAN H, 1975, 1974 P INT C MATH VA, V1, P235

[9]

FRIEDMAN H, 1981, UNPUB BOUNDS HILBERT

[10]

FRIEDMAN H, 1979, FRAGMENT PEANO ARITH