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)
My bibliography
Export citation
Edit this record
Mark as duplicate
Request removal from index
|
Download optionsOur Archive
Upload a copy of this paper Check publisher's policy Papers currently archived: 27,157
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 articlesThe Axiom of Choice and Combinatory Logic.Andrea Cantini - 2003 - Journal of Symbolic Logic 68 (4):1091-1108.
Axiomatic Theory of Enumeration: A Note on the Axiom of Extensionality.P. L. Ferrari & G. Longo - 1978 - Studia Logica 37 (3):261-268.
Cut-Elimination for Simple Type Theory with an Axiom of Choice.G. Mints - 1999 - Journal of Symbolic Logic 64 (2):479-485.
The Axiom of Choice and the Law of Excluded Middle in Weak Set Theories.John Bell - 2008 - Mathematical Logic Quarterly 54 (2):194-201.
Monthly downloads
Added to index
2009-01-28Total downloads
19 ( #257,136 of 2,163,675 )Recent downloads (6 months)
1 ( #348,043 of 2,163,675 )How can I increase my downloads?
My notes
Discussion
Nothing in this forum yet.
