论文信息 - Infinitary Analogs of Theorems from First Order Model Theory - 字舞流文

Infinitary Analogs of Theorems from First Order Model Theory

Jerome I. Malitz

[1] Some fundamental problems concerning languages with infinitely long expressions , 1963 .

[2] S. Feferman,et al. The first order properties of products of algebraic systems , 1959 .

[3] Gaisi Takeuti,et al. A formal system of first-order predicate calculus with infinitely long expressions , 1961 .