A Formulation of the Simple Theory of Types

Journal of Symbolic Logic 5 (3):114-115 (1940)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2266866

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,574

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

A formulation of the simple theory of types.Alonzo Church - 1940 - Journal of Symbolic Logic 5 (2):56-68.
Review: Alonzo Church, A Formulation of the Simple Theory of Types. [REVIEW]W. V. Quine - 1940 - Journal of Symbolic Logic 5 (3):114-115.
A partial functions version of church's simple theory of types.William M. Farmer - 1990 - Journal of Symbolic Logic 55 (3):1269-1291.
The number of types in simple theories.Enrique Casanovas - 1999 - Annals of Pure and Applied Logic 98 (1-3):69-86.
Definability and Definable Groups in Simple Theories.Anand Pillay - 1998 - Journal of Symbolic Logic 63 (3):788-796.
Definability and Definable Groups in Simple Theories.Anand Pillay - 1999 - Journal of Symbolic Logic 64 (3):788-796.
Schröder's anticipation of the simple theory of types.Alonzo Church - 1939 - Erkenntnis 8 (1):407-411.
Schröder's Anticipation of the Simple Theory of Types.Alonzo Church - 1976 - Erkenntnis 10 (3):407-411.
Definability and definable groups in simple theories.Anand Pillay - 1998 - Journal of Symbolic Logic 63 (3):788-796.
Type Theory and Homotopy.Steve Awodey - unknown
A relational formulation of the theory of types.Reinhard Muskens - 1989 - Linguistics and Philosophy 12 (3):325 - 346.
Schröder's Anticipation of the Simple Theory of Types.W. V. Quine - 1940 - Journal of Symbolic Logic 5 (2):71-71.
Review: Alonzo Church, Schroder's Anticipation of the Simple Theory of Types. [REVIEW]W. V. Quine - 1940 - Journal of Symbolic Logic 5 (2):71-71.
A note on stationarity of types over models in simple theories.Makoto Kobayashi & Akito Tsuboi - 2008 - Mathematical Logic Quarterly 54 (6):625-628.
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.

Analytics

Added to PP
2017-02-21

Downloads
25 (#638,434)

6 months
10 (#280,381)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Classicism.Andrew Bacon & Cian Dorr - 2024 - In Peter Fritz & Nicholas K. Jones (eds.), Higher-Order Metaphysics. Oxford University Press. pp. 109-190.
Combining Montague semantics and discourse representation.Reinhard Muskens - 1996 - Linguistics and Philosophy 19 (2):143 - 186.
Abstract objects.Gideon Rosen - 2008 - Stanford Encyclopedia of Philosophy.
Ordinal Type Theory.Jan Plate - forthcoming - Inquiry: An Interdisciplinary Journal of Philosophy.

View all 133 citations / Add more citations

References found in this work

No references found.

Add more references