A formulation of the simple theory of types
Journal of Symbolic Logic 5 (2):56-68 (1940)
Abstract
This article has no associated abstract. (fix it)Links
PhilArchive
External links
(no proxy)
Setup an account with your affiliations in order to access resources via your University's proxy server
Through your library
- Sign in / register and customize your OpenURL resolver
- Configure custom resolver
My notes
Similar books and articles
Russell's way out of the paradox of propositions.André Fuhrmann - 2002 - History and Philosophy of Logic 23 (3):197-213.
Schröder's anticipation of the simple theory of types.Alonzo Church - 1939 - Erkenntnis 8 (1):407-411.
Definability and definable groups in simple theories.Anand Pillay - 1998 - Journal of Symbolic Logic 63 (3):788-796.
A relational formulation of the theory of types.Reinhard Muskens - 1989 - Linguistics and Philosophy 12 (3):325 - 346.
A note on subgroups of the automorphism group of a saturated model, and regular types.A. Pillay - 1989 - Journal of Symbolic Logic 54 (3):858-864.
A partial functions version of church's simple theory of types.William M. Farmer - 1990 - Journal of Symbolic Logic 55 (3):1269-1291.
Analytics
Added to PP
2009-01-28
Downloads
125 (#102,046)
6 months
4 (#185,765)
2009-01-28
Downloads
125 (#102,046)
6 months
4 (#185,765)
Historical graph of downloads
Citations of this work
Abstract Objects: An Introduction to Axiomatic Metaphysics.Edward N. Zalta - 1983 - Dordrecht, Netherland: D. Reidel.
Classicism.Andrew Bacon & Cian Dorr - forthcoming - In Peter Fritz & Nicholas K. Jones (eds.), Higher-order Metaphysics. Oxford University Press.
Combining Montague semantics and discourse representation.Reinhard Muskens - 1996 - Linguistics and Philosophy 19 (2):143 - 186.
References found in this work
Principia mathematica.A. N. Whitehead & B. Russell - 1910-1913 - Revue de Métaphysique et de Morale 19 (2):19-19.
Grundzüge der theoretischen Logik.D. Hilbert & W. Ackermann - 1928 - Annalen der Philosophie Und Philosophischen Kritik 7:157-157.
