PlanetMath (more info)
 Math for the people, by the people. Sponsor PlanetMath
Encyclopedia | Requests | Forums | Docs | Wiki | Random | RSS  
Login
create new user
name:
pass:
forget your password?
Main Menu
sections
Encyclopædia
Papers
Books
Expositions

meta
Requests (236)
Orphanage
Unclass'd (1)
Unproven (540)
Corrections (47)
Classification

talkback
Polls
Forums
Feedback
Bug Reports

downloads
Snapshots
PM Book

information
News
Docs
Wiki
ChangeLog
TODO List
Copyright
About
Encyclopedia by subject

03E25 - Mathematical logic and foundations :: Set theory :: Axiom of choice and related propositions

  1. an example of mathematical induction owned by CWoo
  2. axiom of choice owned by GrafZahl
  3. axiom of countable choice owned by yark
  4. axiom of dependent choices owned by CWoo
  5. Birkhoff prime ideal theorem owned by CWoo
  6. Boolean prime ideal theorem owned by CWoo
  7. choice function owned by yark
  8. constructing well ordered sets owned by CWoo
  9. a variant definition of well ordered set owned by yesitis
  10. Zorn's lemma and the well-ordering theorem equivalence of Hausdorff's maximum principle owned by mathcam
  11. equivalence of Kuratowski's lemma and Zorn's lemma owned by CWoo
  12. equivalence of Zorn's lemma and the axiom of choice owned by Henry
  13. Hausdorff paradox owned by GrafZahl
  14. Hausdorff's maximum principle owned by CWoo
  15. Hilbert's \varepsilon-operator owned by gribskoff
  16. Kuratowski's lemma owned by Koro
  17. maximality principle owned by akrowne
  18. one-to-one function from onto function owned by mathcam
  19. ordering on cardinalities owned by CWoo
  20. permutation model owned by ratboy
  21. principle of finite induction owned by smw
  22. principle of finite induction proven from the well-ordering principle for natural numbers owned by smw
  23. proof of Banach-Tarski paradox owned by GrafZahl
  24. proof of Hausdorff paradox owned by GrafZahl
  25. proof of Tukey's lemma owned by Koro
  26. proof of Zermelo's postulate owned by Wkbj79
  27. proof of Zermelo's well-ordering theorem owned by Henry
  28. proof that a relation is union of functions if and only if AC owned by ratboy
  29. relation as union of functions owned by Mathprof
  30. selector owned by porton
  31. surjection and axiom of choice owned by CWoo
  32. Tukey's lemma owned by Koro
  33. Tychonoff's theorem implies AC owned by CWoo
  34. variations on axiom of choice owned by CWoo
  35. well ordered set owned by drini
  36. well-ordering principle for natural numbers proven from the principle of finite induction owned by smw
  37. well-ordering principle implies axiom of choice owned by Wkbj79
  38. Zermelo's postulate owned by Koro
  39. Zermelo's well-ordering theorem owned by yark
  40. Zorn's lemma owned by yark

Show empty categories:
[ up | top ]