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

talkback
Polls
Forums
Feedback
Bug Reports

downloads
Snapshots
PM Book

information
News
Docs
Wiki
ChangeLog
TODO List
Copyright
About
References to 'power set'
1. $\sigma$-algebra by yark
2. arbitrary join by CWoo
3. atom by CWoo
4. axiom of power set by mathcam
5. axiomatization of dependence by rspuzio
6. barycentric subdivision by CWoo
7. Boolean ring by yark
8. Boolean subalgebra by CWoo
9. Cantor's diagonal argument by rmilson
10. Cantor's paradox by Henry
11. Cantor's theorem by Wkbj79
12. capacity generated by a measure by gel
13. Carath\'eodory's lemma by gel
14. cardinality of the continuum by yark
15. category of sets by rspuzio
16. Choquet capacity by gel
17. class by yark
18. closure of a relation with respect to a property by CWoo
19. compact element by CWoo
20. complete Boolean algebra by CWoo
21. concepts in set theory by matte
22. consequence operator by rspuzio
23. constructing well ordered sets by CWoo
24. cover by mps
25. criterion for a set to be transitive by Wkbj79
26. Dirac measure by Wkbj79
27. discrete space by mathcam
28. Dynkin system by mathwizard
29. enumerative combinatorics by mps
30. example of Boolean algebras by CWoo
31. example of universe of finite sets by rspuzio
32. examples of groups by AxelBoldt
33. from Hilbert's tenth problem to G\"{o}del's trichotomy by gribskoff
34. generalized Boolean algebra by CWoo
35. geometric lattice by CWoo
36. geometric representation of relation composition by Jon Awbrey
37. Hartogs number by CWoo
38. Hasse diagram by bbukh
39. hypergroup by CWoo
40. IF-logic by mathcam
41. incidence geometry by CWoo
42. incidence structure by CWoo
43. index of set theory by rspuzio
44. inductively ordered by rspuzio
45. intersection structure by CWoo
46. lattice filter by CWoo
47. lattice homomorphism by CWoo
48. multivalued function by CWoo
49. neighborhood system on a set by CWoo
50. non-standard analysis by PrimeFan
51. outer measure by mathcam
52. pi-system by drummond
53. pointed set by CWoo
54. Polish spaces up to Borel isomorphism by gel
55. poset by mps
56. predicativism by gribskoff
57. probability that two positive integers are relatively prime by mps
58. proof of alternative characterization of filter by rspuzio
59. proof of Cantor's theorem by Wkbj79
60. proof of Carath\'eodory's extension theorem by gel
61. proof of properties of universe by rspuzio
62. properties of bijections by CWoo
63. proximal neighborhood by CWoo
64. proximity space by CWoo
65. quantifier algebra by CWoo
66. regular language by mps
67. relation algebra by CWoo
68. restricted direct product of algebraic systems by CWoo
69. Riesz interpolation property by CWoo
70. ring of sets by CWoo
71. set by Mathprof
72. subobject classifier by CWoo
73. subset construction by CWoo
74. symmetric difference by CWoo
75. syntopogenous structure by CWoo
76. Tarski's axiom by rspuzio
77. topological space by djao
78. topos by CWoo
79. ultrafilter by yark
80. universe by archibal
81. upper set by CWoo