论文信息 - Some remarks on the model theory of infinitary languages - 字舞流文

Some remarks on the model theory of infinitary languages

[1] C. C. Chang. Infinitary Properties of Models Generated from Indiscernibles , 1968 .

[2] Jerome Malitz. The hanf number for complete sentences , 1968 .

[3] C. C. Chang. Omitting Types of Prenex Formulas , 1967, J. Symb. Log..

[4] Erwin Engeler,et al. Languages with expressions of infinite length , 1966 .

[5] Jack Howard Silver,et al. Some applications of model theory in set theory , 1966 .

[6] E. López-Escobar. On defining well-orderings , 1966 .

[7] W. Hanf,et al. Incompactness in languages with infinitely long expressions , 1964 .

[8] Andrzej Ehrenfeucht,et al. Models of axiomatic theories admitting automorphisms , 1956 .