Choice principles in intuitionistic set theory
| Abstract | subsets X of A for which ∃x (x ∈ A). The set of functions from A to B is denoted by BA. | |||||||||
| Keywords | No keywords specified (fix it) | |||||||||
| Categories | No categories specified (fix it) | |||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,653 |
| External links |
  Try with proxy. Try with proxy. |
| Through your library | Only published papers are available at libraries |
Similar books and articlesH. C. M. de Swart (1992). Spreads or Choice Sequences? History and Philosophy of Logic 13 (2):203-213.
David Dedivi (2004). Choice Principles and Constructive Logics. Philosophia Mathematica 12 (3):222-243.
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.
V. H. Hahanyan (1981). The Consistency of Some Intuitionistic and Constructive Principles with a Set Theory. Studia Logica 40 (3):237 - 248.
Analytics
Monthly downloads |
Added to index2009-01-28Total downloads6 ( #145,458 of 548,984 )Recent downloads (6 months)1 ( #63,327 of 548,984 )How can I increase my downloads? |
My notes
Discussion
