共 53 条
[1]
Balbes R., 1974, DISTRIBUTIVE LATTICE
[2]
BARWISE J, 1975, ADMISSIBLE SETS STRU
[3]
Bell John L., 1969, MODELS ULTRAPRODUCTS
[4]
BERNADI C, 1975, STUDIA LOGICA, V34, P322
[5]
BLOK JW, 1980, J SYMBOLIC LOGIC, V45, P221
[6]
Boolos George, 1979, UNPROVABILITY CONSIS
[7]
CHANG C. C., 1973, MODEL THEORY
[8]
Dummett M.A.E., 1959, Z F R MATHEMATISCHE, V5, P250
[9]
FEFERMAN S, 1968, COMPOS MATH, V20, P29
[10]
FINE K, 1974, THEORIA, V40, P23