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)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.