共 9 条
[1]
FEFERMAN S, 1959, NOTICES AM MATH SOC, V173
[2]
Gaifman H., 1972, NOTE MODELS SUBMODEL, P128
[3]
HIRSCHFELD J, 1974, MODELS ARITHMETIC SE, P99
[4]
KEISLER HJ, 1972, T AM MATH SOC, V107, P382
[5]
LERMAN M, 1970, T AM MATH SOC, V148, P429
[6]
LERMAN M, 1968, THESIS CORNELL U
[7]
MATIJASEVIC YV, 1971, 2ND P SCAND LOG S NO
[8]
ROBINSON A, 1959, P S WARSAW, P265
[9]
SHONFIELD JR, 1967, MATHEMATICAL LOGIC