共 9 条
[1]
ARONSZAJN TREES ON CHI-2 AND CHI-3
[J].
ANNALS OF PURE AND APPLIED LOGIC,
1983, 24 (03)
:213-230
[5]
Mitchell W., 1972, Annals of Mathematical Logic, V5, P21, DOI [10.1016/0003-4843(72)90017-4, DOI 10.1016/0003-4843(72)90017-4]
[7]
Specker E., 1949, C MATH, V2, P9
[9]
UNGER SPENCER, MODEL CUMMI IN PRESS