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
![]() ![]() |


No references found.

Light Monotone Dialectica Methods for Proof Mining.Mircea‐Dan Hernest - 2009 - Mathematical Logic Quarterly 55 (5):551-561.

Cut-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
