European Summer Meeting of the Association for Symbolic Logic: Leeds, 1979
作者： F.R. Drake , S.S. Wainer
DOI: 10.2307/2273641
关键词:
摘要:
philpapers.org
sci-hub.se 参考文章(11)
J.A. Makowsky, Saharon Shelah, Jonathan Stavi, δ-Logics and generalized quantifiers Annals of Mathematical Logic. ,vol. 10, pp. 155- 192 ,(1976) , 10.1016/0003-4843(76)90021-8
Carl G. Jockusch, Robert I. Soare, Π⁰₁ classes and degrees of theories Transactions of the American Mathematical Society. ,vol. 173, pp. 33- 56 ,(1972) , 10.1090/S0002-9947-1972-0316227-0
W. Hanf, Incompactness in languages with infinitely long expressions Fundamenta Mathematicae. ,vol. 53, pp. 309- 324 ,(1964) , 10.4064/FM-53-3-309-324
B. Rotman, On the comparison of order types Acta Mathematica Hungarica. ,vol. 19, pp. 311- 327 ,(1968) , 10.1007/BF01894511
Raymond D. Gumb, An extended joint consistency theorem for free logic with equality. Notre Dame Journal of Formal Logic. ,vol. 20, pp. 321- 335 ,(1979) , 10.1305/NDJFL/1093882539
Emmanuel Halberstadt, On certain maximal subgroups of symmetric or alternating groups Mathematische Zeitschrift. ,vol. 151, pp. 117- 125 ,(1976) , 10.1007/BF01213988
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
Jean Porte, The $\Omega $-system and the Ł-system of modal logic. Notre Dame Journal of Formal Logic. ,vol. 20, pp. 915- 920 ,(1979) , 10.1305/NDJFL/1093882814
Richard Laver, On Fraisse's Order Type Conjecture The Annals of Mathematics. ,vol. 93, pp. 89- ,(1971) , 10.2307/1970754
Carl G. Jockusch, Degrees in which the recursive sets are uniformly recursive Canadian Journal of Mathematics. ,vol. 24, pp. 1092- 1099 ,(1972) , 10.4153/CJM-1972-113-9