On the axiom of extensionality--part I
Journal of Symbolic Logic 21 (1):36-48 (1956)
| Abstract | This article has no associated abstract. (fix it) | |||||||||
| Keywords | No keywords specified (fix it) | |||||||||
| Categories | ||||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,709 |
| External links |
 |
| Through your library | Configure |
Similar books and articlesG. Mints (1999). Cut-Elimination for Simple Type Theory with an Axiom of Choice. Journal of Symbolic Logic 64 (2):479-485.
P. L. Ferrari G. Longo (1978). Axiomatic Theory of Enumeration: A Note on the Axiom of Extensionality. Studia Logica 37 (3):261 - 268.
P. L. Ferrari & G. Longo (1978). Axiomatic Theory of Enumeration: A Note on the Axiom of Extensionality. Studia Logica 37 (3).
Andrea Cantini (2003). The Axiom of Choice and Combinatory Logic. Journal of Symbolic Logic 68 (4):1091-1108.
Adam Rieger (2000). An Argument for Finsler-Aczel Set Theory. Mind 109 (434):241-253.
Shunsuke Yatabe & Hiroyuki Inaoka (2006). On Evans's Vague Object From Set Theoretic Viewpoint. Journal of Philosophical Logic 35 (4):423 - 434.
Michiel Van Lambalgen (1992). Independence, Randomness and the Axiom of Choice. Journal of Symbolic Logic 57 (4):1274 - 1304.
R. O. Gandy (1959). On the Axiom of Extensionality, Part II. Journal of Symbolic Logic 24 (4):287-300.
Analytics
Monthly downloads |
Added to index2009-01-28Total downloads9 ( #114,230 of 550,917 )Recent downloads (6 months)1 ( #63,425 of 550,917 )How can I increase my downloads? |
My notes
Discussion
