COUNTABLE ALGEBRA AND SET EXISTENCE AXIOMS

[1] BISHOP E, 1967, F CONSTRUCTIVE ANAL

[2] DECISION PROCEDURES FOR REAL AND P-ADIC FIELDS [J]. COMMUNICATIONS ON PURE AND APPLIED MATHEMATICS, 1969, 22 (02) : 131 - &

[3] ERSOV JL, 1977, Z MATH LOGIK, V23, P289

[4] SYSTEMS OF PREDICATIVE ANALYSIS .2. REPRESENTATIONS OF ORDINALS [J]. JOURNAL OF SYMBOLIC LOGIC, 1968, 33 (02) : 193 - &

[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

[1] BISHOP E, 1967, F CONSTRUCTIVE ANAL

[2] DECISION PROCEDURES FOR REAL AND P-ADIC FIELDS [J]. COMMUNICATIONS ON PURE AND APPLIED MATHEMATICS, 1969, 22 (02) : 131 - &

[3] ERSOV JL, 1977, Z MATH LOGIK, V23, P289

[4] SYSTEMS OF PREDICATIVE ANALYSIS .2. REPRESENTATIONS OF ORDINALS [J]. JOURNAL OF SYMBOLIC LOGIC, 1968, 33 (02) : 193 - &

[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