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 (237)
Orphanage
Unclass'd
Unproven (550)
Corrections (54)
Classification

talkback
Polls
Forums
Feedback
Bug Reports

downloads
Snapshots
PM Book

information
News
Docs
Wiki
ChangeLog
TODO List
Copyright
About
References to 'well ordered set'
1. alternative definitions of countable by CWoo
2. canonical ordering on pairs of ordinals by CWoo
3. chain by CWoo
4. choice function by yark
5. circular reasoning by Wkbj79
6. cofinality by yark
7. constructing well ordered sets by CWoo
8. Dedekind-Hasse valuation by Henry
9. definition of well ordered set, a variant by yesitis
10. equivalence of Hausdorff's maximum principle, Zorn's lemma and the well-ordering theorem by mathcam
11. generalized quantifier by Henry
12. Hartogs number by CWoo
13. idempotency of infinite cardinals by CWoo
14. IF-logic by mathcam
15. index of set theory by rspuzio
16. induction by Daume
17. interpretation of intuitionistic logic by means of functionals by gribskoff
18. Julius K\"onig by WM
19. lexicographic order by matte
20. linear continuum by azdbacks4234
21. motivation for von Neumann ordinals by yark
22. one-line notation for permutations by mps
23. ordered integral domain with well-ordered positive elements by Wkbj79
24. ordering on cardinalities by CWoo
25. ordinal number by yark
26. ordinal space by CWoo
27. preorder as a category by CWoo
28. proof of principle of transfinite induction by jihemme
29. proof of Zermelo's well-ordering theorem by Henry
30. properties of ordinals by CWoo
31. properties of well-ordered sets by GrafZahl
32. set theory by mathwizard
33. subsemigroup of a cyclic semigroup by CWoo
34. topic entry on order theory by CWoo
35. total order by yark
36. transfinite recursion by CWoo
37. tree (set theoretic) by Henry
38. von Neumann ordinal by Henry
39. well quasi ordering by CWoo
40. well-founded recursion by CWoo
41. well-founded relation by ratboy
42. well-ordering principle for natural numbers by smw
43. well-ordering principle implies axiom of choice by Wkbj79
44. Zermelo's well-ordering theorem by yark