Journal of Symbolic Logic 49 (1):308-311 (1984)

Authors
Dirk Van Dalen
Utrecht University
Abstract This article has no associated abstract. (fix it)
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.2307/2274115
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 72,564
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

Property Theories.George Bealer & Uwe Mönnich - 1989 - In Dov Gabbay & Franz Guenthner (eds.), Handbook of Philosophical Logic, Volume IV. Kluwer Academic Publishers. pp. 133-251.
Property Theories.George Bealer & Uwe Monnich - 2003 - In Dov Gabbay & Frans Guenthner (eds.), Handbook of Philosophical Logic, Volume 10. Kluwer Academic Publishers. pp. 143-248.
Definedness.Solomon Feferman - 1995 - Erkenntnis 43 (3):295 - 320.

View all 57 citations / Add more citations

Similar books and articles

Realisability in Weak Systems of Explicit Mathematics.Daria Spescha & Thomas Strahm - 2011 - Mathematical Logic Quarterly 57 (6):551-565.
Explicit Mathematics with the Monotone Fixed Point Principle.Michael Rathjen - 1998 - Journal of Symbolic Logic 63 (2):509-542.
Axioms in Mathematical Practice.Dirk Schlimm - 2013 - Philosophia Mathematica 21 (1):37-92.
Universes in Explicit Mathematics.Gerhard Jäger, Reinhard Kahle & Thomas Studer - 2001 - Annals of Pure and Applied Logic 109 (3):141-162.
Power Types in Explicit Mathematics?Gerhard Jäger - 1997 - Journal of Symbolic Logic 62 (4):1142-1146.
Logical Foundations of Applied Mathematics.V. V. Nalimov - 1974 - Synthese 27 (1-2):211 - 250.

Analytics

Added to PP index
2015-02-05

Total views
13 ( #775,299 of 2,533,569 )

Recent downloads (6 months)
1 ( #390,861 of 2,533,569 )

How can I increase my downloads?

Downloads

My notes