Relations in monadic third-order logic

Journal of Philosophical Logic

Volumn 26, Issue 6, 1997, Pages 619-628

  Hazen, A P ^a  

^a UNIVERSITY OF MELBOURNE   (Australia)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 53249151929     PISSN: 00223611     EISSN: 15730433     Source Type: Journal    
DOI: 10.1023/A:1004247419201     Document Type: Article

References (9)

1. Boffa, M. (1984): Arithmetic and the theory of types, Journal of Symbolic Logic 49: 621-624.
2. Burgess, J. P., Hazen, A. P. and Lewis D. (1991): Appendix on pairing. In Lewis David (ed.), Parts of Classes. Basil Blackwell, Oxford, pp. 121-149.
3. Church A. (1956): Introduction to Mathematical Logic. Princeton University Press, Princeton.
4. Hazen A. P. (1993): Against pluralism, Australasian Journal of Philosophy 71: 132-145.
5. Hintikka, K. J. J. (1955): Reductions in the theory of types. In Hintikka, K. J. J. (ed.), Two Papers in Symbolic Logic. Acta Philosophica Fennica, fasc. VI, Helsinki, pp. 61-115.
6. Lewis D. (1993): Mathematics is megethology, Philosophia Mathematica, series III 1: 1-23.
7. 3I est équivalent à l'arithmétique du scond ordre, Comptes Rendus Hebdomadaires des Séances de l"Académie des Sciences de Paris. Série A 290: 1117-1118.
8. Quine, W. V. (1963): Set Theory and its Logic. Belknap Press, Cambridge.
9. Rabin, M. O. (1965): A simple method for undecidability proofs and some applications. In Bar-Hillel, Y. (ed.), Logic, Methodology, and Philosophy of Science: proceedings of the 1964 international conference. North-Holland, Amsterdam, pp. 58-68.