Number as Types

Journal of Philosophy 97 (10):529 (2000)

Abstract This article has no associated abstract. (fix it)
Keywords Analytic Philosophy  Contemporary Philosophy
Categories No categories specified
(categorize this paper)
ISBN(s) 0022-362X  
DOI 10.2307/2678467
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

Our Archive

Upload a copy of this paper     Check publisher's policy     Papers currently archived: 40,683
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

No references found.

Add more references

Citations of this work BETA

Multiple Reductions Revisited.Justin Clarke-Doane - 2008 - Philosophia Mathematica 16 (2):244-255.

Add more citations

Similar books and articles

The Number of Types in Simple Theories.Enrique Casanovas - 1999 - Annals of Pure and Applied Logic 98 (1-3):69-86.
Number as Types.J. R. Cameron - 2000 - Journal of Philosophy 97 (10):529-563.
Cut-Free Double Sequent Calculus for S5.A. Indrzejczak - 1998 - Logic Journal of the IGPL 6 (3):505-516.
Repeatable Artworks as Created Types.Lee Walters - 2013 - British Journal of Aesthetics 53 (4):461-477.
Definability in Number Fields.S. P. Tung - 1987 - Journal of Symbolic Logic 52 (1):152-155.
Independence in Finitary Abstract Elementary Classes.Tapani Hyttinen & Meeri Kesälä - 2006 - Annals of Pure and Applied Logic 143 (1):103-138.
Types Directed by Constants.Predrag Tanović - 2010 - Annals of Pure and Applied Logic 161 (7):944-955.


Added to PP index

Total views
4 ( #1,064,894 of 2,242,822 )

Recent downloads (6 months)
1 ( #1,043,126 of 2,242,822 )

How can I increase my downloads?


My notes

Sign in to use this feature