Infinitary Analogs of Theorems from First Order Model Theory
作者： Jerome Malitz
DOI: 10.2307/2270256
关键词:
摘要:
jstor.org
sci-hub.se 参考文章(3)
William Porter Hanf, Some fundamental problems concerning languages with infinitely long expressions University Microfilms. ,(1963)
S. Feferman, R. Vaught, The first order properties of products of algebraic systems Fundamenta Mathematicae. ,vol. 47, pp. 57- 103 ,(1959) , 10.4064/FM-47-1-57-103
Shoji MAEHARA, Gaisi TAKEUTI, A formal system of first-order predicate calculus with infinitely long expressions Journal of The Mathematical Society of Japan. ,vol. 13, pp. 357- 370 ,(1961) , 10.2969/JMSJ/01340357