共 22 条
[1]
BAUMGARTNER J, 1976, ANN MATH LOGIC, V9, P187
[2]
BAUMGARTNER JE, 1978, UNPUB SHORT COURSE F
[5]
DODD T, 1976, CORE MODEL
[6]
ERDOS P, 1965, B AM MATH SOC, V62, P93
[7]
Fodor Geza, 1956, ACTA SCI MATH, V17, P139
[8]
HARRINGTON L, UNPUB 2 EQUICONSISTE
[10]
JECH T, 1978, SET THEORY