共 11 条
- [1] [Anonymous], 1958, AM MATH MONTHLY, V65, P685
- [2] BARWISE J, 1967, THESIS STANFORD U
- [3] Feferman S., 1968, P SUMMER SCH LOGIC, P1, DOI [10.1007/bfb0079094, DOI 10.1007/BFB0079094]
- [4] KOCHEN S, 1960, COMPLETENESS ALGEBRA, P370
- [5] LEFSCHETZ S, 1953, ALGEBRAIC GEOMETRY
- [6] ROBINSON A, 1950, P INT C MATH, V1, P686
- [7] ROBINSON A, 1949, J SYMBOLIC LOGIC, V14, P74
- [8] Scott D., 1965, THEORY MODELS PROC 1, P329
- [9] SCOTT D, 1958, NOTICES AMER MATH SO, V5, P778
- [10] TARSKI A, 1950, P INT C MATH, V1, P705