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

03E10 - Mathematical logic and foundations :: Set theory :: Ordinal and cardinal numbers

  1. \kappa-complete owned by Henry
  2. additively indecomposable owned by mathcam
  3. aleph numbers owned by yark
  4. algebraic numbers are countable owned by pahio
  5. all algebraic numbers in a sequence owned by pahio
  6. alternative definition of cardinality owned by CWoo
  7. alternative definitions of countable owned by CWoo
  8. another proof of cardinality of the rationals owned by Mathprof
  9. beth numbers owned by yark
  10. canonical ordering on pairs of ordinals owned by CWoo
  11. Cantor normal form owned by rspuzio
  12. Cantor's diagonal argument owned by rmilson
  13. Cantor's theorem owned by Wkbj79
  14. cardinal arithmetic owned by yark
  15. cardinal exponentiation under GCH owned by yark
  16. cardinal number owned by djao
  17. cardinal successor owned by yark
  18. cardinality owned by yark
  19. cardinality of a countable union owned by vampyr
  20. cardinality of disjoint union of finite sets owned by mathcam
  21. cardinality of the continuum owned by yark
  22. cardinality of the rationals owned by quadrate
  23. classes of ordinals and enumerating functions owned by mathcam
  24. club owned by Henry
  25. club filter owned by Henry
  26. countable owned by vampyr
  27. countably infinite owned by vampyr
  28. equivalence class of equinumerous sets is not a set owned by CWoo
  29. examples of countable sets owned by CWoo
  30. finite owned by djao
  31. fixed points of normal functions owned by Henry
  32. Fodor's lemma owned by Henry
  33. Golomb's sequence owned by PrimeFan
  34. Hartogs number owned by CWoo
  35. height of an algebraic number owned by kidburla2003
  36. Hilbert's hotel owned by Daume
  37. idempotency of infinite cardinals owned by CWoo
  38. if A is infinite and B is a finite subset of A\,\!, then A\setminus B is infinite owned by mathcam
  39. intercession owned by WM
  40. König's theorem owned by yark
  41. limit cardinal owned by yark
  42. motivation for von Neumann ordinals owned by yark
  43. natural number owned by djao
  44. natural numbers are well-ordered owned by pahio
  45. normal (ordinal) function owned by florisje
  46. number owned by pahio
  47. open and closed intervals have the same cardinality owned by mps
  48. ordering on cardinalities owned by CWoo
  49. ordinal arithmetic owned by Henry
  50. ordinal exponentiation owned by CWoo
  51. ordinal number owned by yark
  52. power set owned by matte
  53. product of countable sets owned by CWoo
  54. proof of Cantor's theorem owned by Wkbj79
  55. proof of fixed points of normal functions owned by Henry
  56. proof of Fodor's lemma owned by Henry
  57. proof of the existence of transcendental numbers owned by kidburla2003
  58. proof of theorems in additively indecomposable owned by mathcam
  59. proof that countable unions are countable owned by Koro
  60. proof that the rationals are countable owned by alozano
  61. properties of ordinal arithmetic owned by CWoo
  62. properties of ordinals owned by CWoo
  63. proof of Schroeder-Bernstein theorem owned by mps
  64. Schröder-Bernstein theorem owned by yark
  65. sequence owned by djao
  66. stationary set owned by Henry
  67. subsets of countable sets are countable owned by beke
  68. successor owned by djao
  69. successor cardinal owned by yark
  70. the Cartesian product of a finite number of countable sets is countable owned by BenB
  71. the set of all real transcendental numbers is uncountable owned by gilbert_51126
  72. transfinite recursion owned by CWoo
  73. uncountable owned by yark
  74. union of countable sets owned by CWoo
  75. uniqueness of cardinality owned by mathcam
  76. Veblen function owned by Henry
  77. von Neumann integer owned by mathcam
  78. von Neumann ordinal owned by Henry
  79. weakly compact cardinal owned by Henry
  80. weakly compact cardinals and the tree property owned by Henry
  81. well-founded recursion owned by CWoo

Show empty categories:
[ up | top ]