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 'singleton'
1. $\pi$-groups and $\pi'$-groups by Algeboy
2. a space is $T_1$ if and only if distinct points are separated by matte
3. affine combination by CWoo
4. algebraic lattice by CWoo
5. alternative definitions of countable by CWoo
6. arbitrary join by CWoo
7. atom by CWoo
8. axiom of pairing by Sabean
9. Cartesian closed category by CWoo
10. category of pointed topological spaces by mathcam
11. class equation by yark
12. complete distributivity by CWoo
13. completely separated by CWoo
14. concepts in set theory by matte
15. congruence relation on an algebraic system by CWoo
16. constructing automata from regular languages by CWoo
17. constructing well ordered sets by CWoo
18. convex subgroup by CWoo
19. deterministic pushdown automaton by CWoo
20. discrete space by mathcam
21. door space by CWoo
22. Dyck language by CWoo
23. empty product by pahio
24. equality by pahio
25. equivalent automata by CWoo
26. equivalent statements of Lindemann-Weierstrass theorem by CWoo
27. example of function not Lebesgue Measurable with measurable level sets by cvalente
28. example of polyadic algebra by CWoo
29. example of quantifier by hkkass
30. examples of initial objects and terminal objects and zero objects by AxelBoldt
31. examples of locally compact and not locally compact spaces by AxelBoldt
32. finitely generated module by Thomas Heye
33. first order language by CWoo
34. free Boolean algebra by CWoo
35. generalized Boolean algebra by CWoo
36. generalized sequential machine by CWoo
37. generator of a category by CWoo
38. gluing together continuous functions by yark
39. Greibach normal form by CWoo
40. homomorphism between algebraic systems by CWoo
41. Huffman's algorithm by mps
42. hypergraph by CWoo
43. incidence geometry by CWoo
44. intersection structure by CWoo
45. irredundant by CWoo
46. Kleene algebra by CWoo
47. language by mps
48. lattice filter by CWoo
49. lattice ideal by CWoo
50. Lindenmayer system by CWoo
51. linear bounded automaton by CWoo
52. mathematics vocabulary by matte
53. matroid by mps
54. Mealy machine by CWoo
55. Minkowski sum by matte
56. monoidal category by juanman
57. multivalued function by CWoo
58. no continuous function switches the rational and the irrational numbers by yark
59. no countable dense subset of a complete metric space is a $G_\delta$ by gumau
60. noncommutative topology by asteroid
61. normal by Koro
62. one-to-one function from onto function by mathcam
63. order topology by rspuzio
64. ordering on cardinalities by CWoo
65. partial ordering in a topological space by CWoo
66. partially ordered category by CWoo
67. polyadic algebra by CWoo
68. poset by mps
69. preorder as a category by CWoo
70. product of automata by CWoo
71. product of posets by CWoo
72. proof of Baire space is universal for Polish spaces by gel
73. proof of injective images of Baire space by gel
74. proof of uniqueness of center of a circle by CWoo
75. properties of a function by CWoo
76. properties of linear independence by CWoo
77. quantifier algebra by CWoo
78. quotient category by CWoo
79. quotient of languages by CWoo
80. rational set by CWoo
81. regular language by mps
82. restricted direct product of algebraic systems by CWoo
83. ring of sets by CWoo
84. scattered space by CWoo
85. semi-Thue system by CWoo
86. semiautomaton by CWoo
87. signature by CWoo
88. simplicial complex by djao
89. sober space by CWoo
90. span by mathwizard
91. star height by CWoo
92. star refinement by CWoo
93. star-free by CWoo
94. state-output machine by CWoo
95. Stirling numbers of the first kind by rmilson
96. subsemiautomaton by CWoo
97. subsemigroup of a cyclic semigroup by CWoo
98. substitution by CWoo
99. symmetric monoidal category by CWoo
100. tactical decomposition by marijke
101. tensor array by rmilson
102. The property that compact sets in a space are closed lies strictly between T1 and T2 by dfeuer
103. topological group by yark
104. topological groupoid by HkBst
105. topological vector lattice by CWoo
106. topos by CWoo
107. totally disconnected space by Dr_Absentius
108. Tychonoff's theorem implies AC by CWoo
109. ultrafilter by yark
110. Urysohn metrization theorem by Evandar
111. Zermelo's postulate by Koro