On the axiom of extensionality, part II
Journal of Symbolic Logic 24 (4):287-300 (1959)
| Abstract | This article has no associated abstract. (fix it) |
| Keywords | No keywords specified (fix it) |
| Categories | (categorize this paper) |
| DOI | 10.2307/2963897 |
| Options |
Save to my reading list
Follow the author(s)
Edit this record
|
Download optionsOur Archive
Upload a copy of this paper Check publisher's policy Papers currently archived: 31,334
External links
- From the Publisher via CrossRef (no proxy)
- projecteuclid.org
(no proxy) - journals.cambridge.org (no proxy)
- jstor.org (no proxy)
- jstor.org [2] (no proxy)
- jstor.org [3] (no proxy)
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
- Sign in / register and customize your OpenURL resolver..
- Configure custom resolver
References found in this work BETA
No references found.
Citations of this work BETA
Light Monotone Dialectica Methods for Proof Mining.Mircea‐Dan Hernest - 2009 - Mathematical Logic Quarterly 55 (5):551-561.
Similar books and articlesCut-Elimination for Simple Type Theory with an Axiom of Choice.G. Mints - 1999 - Journal of Symbolic Logic 64 (2):479-485.
Axiomatic Theory of Enumeration: A Note on the Axiom of Extensionality.P. L. Ferrari - 1978 - Studia Logica 37 (3):261-268.
The Axiom of Choice and Combinatory Logic.Andrea Cantini - 2003 - Journal of Symbolic Logic 68 (4):1091-1108.
The Axiom of Choice and the Law of Excluded Middle in Weak Set Theories.John Bell - 2008 - Mathematical Logic Quarterly 54 (2):194-201.
Added to PP index
2009-01-28
Total downloads
21 ( #266,662 of 2,225,265 )
Recent downloads (6 months)
2 ( #249,970 of 2,225,265 )
2009-01-28
Total downloads
21 ( #266,662 of 2,225,265 )
Recent downloads (6 months)
2 ( #249,970 of 2,225,265 )
How can I increase my downloads?
Monthly downloads
My notes
