The Theory of Types: A Further Note

Analysis 12 (1):24 - (1951)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Add categories

Keywords

Reprint years

DOI

10.1093/analys/12.1.24

Links

PhilArchive



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

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 note on the theory of propositional types.Andrzej Grzegorczyk - 1964 - Fundamenta Mathematicae 54 (3):27-29.
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 note on S. Noren's "logical types and the identity theory".D. S. Mannison - 1972 - Philosophy and Phenomenological Research 32 (4):569-572.
Finite forcing, existential types and complete types.Joram Hirschfeld - 1980 - Journal of Symbolic Logic 45 (1):93-102.
Type Theory and Homotopy.Steve Awodey - unknown
A note on Russell's paradox in locally cartesian closed categories.Andrew M. Pitts & Paul Taylor - 1989 - Studia Logica 48 (3):377 - 387.
Structured Types in MathML 2.0.Michael Kohlhase - unknown
The Ground of Faith and the Chaos of Thought.Oliver Chase Quick - 1931 - London: Nisbet & Co..
The theory of logical types.Irving Marmer Copi - 1971 - London,: Routledge and Kegan Paul.
The context principle and Wittgenstein's criticism of Russell's theory of types.Marco Ruffino - 1994 - Synthese 98 (3):401 - 414.
Omitting types in incomplete theories.Enrique Casanovas & Rafel Farré - 1996 - Journal of Symbolic Logic 61 (1):236-245.
The Theory of Types Again.J. J. C. Smart - 1951 - Analysis 11 (6):131 - 133.
On certain types and models for arithmetic.Andreas Blass - 1974 - Journal of Symbolic Logic 39 (1):151-162.
A relational formulation of the theory of types.Reinhard Muskens - 1989 - Linguistics and Philosophy 12 (3):325 - 346.

Analytics

Added to PP
2011-05-29

Downloads
45 (#363,023)

6 months
10 (#309,344)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references