共 33 条
[1]
APPEL KI, 1959, J SYMB LOG, V24, P306
[2]
Bing K., 1955, P AM MATH SOC, V6, P836
[3]
CHANG CC, 1962, J SYMBOLIC LOGIC, V27, P228
[4]
Chang CC, 1958, J SYMBOLIC LOGIC, V23, P149
[5]
CHANG CC, 1961, NOTICES AM MATH SOC, V8, P141
[6]
Feferman S., 1959, FUND MATH, V47, P57, DOI [10.4064/fm-47-1-57-103, DOI 10.4064/FM-47-1-57-103]
[7]
Frayne T. E., 1962, FUND MATH, V51, P195
[8]
Godel Kurt, 1940, CONSISTENCY AXIOM CH
[10]
Horn A., 1951, J SYMBOLIC LOGIC, V16, P14, DOI DOI 10.2307/2268661