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 (46)
Classification

talkback
Polls
Forums
Feedback
Bug Reports

downloads
Snapshots
PM Book

information
News
Docs
Wiki
ChangeLog
TODO List
Copyright
About
References to 'classes of ordinals and enumerating functions'
1. additively indecomposable by mathcam
2. alternative definition of cardinality by CWoo
3. analytics and formal logics in meta-mathematics by bci1
4. antiderivative of complex function by Wkbj79
5. axiom of choice by GrafZahl
6. constant function by mathcam
7. constant functions and continuity by mathcam
8. fixed points of normal functions by Henry
9. FS iterated forcing preserves chain condition by Henry
10. Hartogs number by CWoo
11. identity map by bwebste
12. index of set theory by rspuzio
13. logical graph : introduction by Jon Awbrey
14. logical implication by Jon Awbrey
15. Nevanlinna theory by Simone
16. normal (ordinal) function by florisje
17. ordinal arithmetic by Henry
18. partitions less than cofinality by Henry
19. proof of fixed points of normal functions by Henry
20. proof of inverse function theorem by paolini
21. proof of principle of transfinite induction by jihemme
22. proof of theorems in additively indecomposable by mathcam
23. proof of Zermelo's well-ordering theorem by Henry
24. properties of ordinal arithmetic by CWoo
25. properties of ordinals by CWoo
26. set closed under an operation by archibal
27. transfinite recursion by CWoo
28. Tychonoff's theorem implies AC by CWoo
29. Veblen function by Henry
30. von Neumann ordinal by Henry
31. von Neumann-Bernays-G\"odel set theory by Aatu