A remark on a certain consequence of connexive logic for zermelo's set theory
Studia Logica 33 (2):127 - 130 (1974)
| 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,664 |
| External links |
 |
| Through your library | Configure |
Similar books and articlesMasaru Shirahata (1996). A Linear Conservative Extension of Zermelo-Fraenkel Set Theory. Studia Logica 56 (3):361 - 392.
Heinz-Dieter Ebbinghaus (2003). Zermelo: Definiteness and the Universe of Definable Sets. History and Philosophy of Logic 24 (3):197-219.
R. Gregory Taylor (2002). Zermelo's Cantorian Theory of Systems of Infinitely Long Propositions. Bulletin of Symbolic Logic 8 (4):478-515.
Michael Rathjen (2005). The Disjunction and Related Properties for Constructive Zermelo-Fraenkel Set Theory. Journal of Symbolic Logic 70 (4):1233 - 1254.
J. Todd Wilson (2001). An Intuitionistic Version of Zermelo's Proof That Every Choice Set Can Be Well-Ordered. Journal of Symbolic Logic 66 (3):1121-1126.
A. R. D. Mathias (2001). Slim Models of Zermelo Set Theory. Journal of Symbolic Logic 66 (2):487-496.
Gregory H. Moore (1978). The Origins of Zermelo's Axiomatization of Set Theory. Journal of Philosophical Logic 7 (1):307 - 329.
Gregory H. Moore (1980). Beyond First-Order Logic: The Historical Interplay Between Mathematical Logic and Axiomatic Set Theory. History and Philosophy of Logic 1 (1-2):95-137.
Analytics
Monthly downloads |
Added to index2009-01-28Total downloads2 ( #232,316 of 549,013 )Recent downloads (6 months)0How can I increase my downloads? |
My notes
Discussion
