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 'indexing set'
1. affine geometry by CWoo
2. algebraic geometry by archibal
3. all orthonormal bases have the same cardinality by asteroid
4. arbitrary join by CWoo
5. axiom of dependent choices by CWoo
6. basic tensor by rmilson
7. basis-free definition of determinant by mps
8. bibliography for differential geometry by archibal
9. binary tree by Daume
10. calculus of subgroup orders by Algeboy
11. cardinal arithmetic by yark
12. categorical pullback by CWoo
13. category associated to a partial order by archibal
14. category of molecular sets by bci1
15. chain by CWoo
16. characteristic matrix of diagonal element cross-section by lars_h
17. circulant matrix by bwebste
18. circulation and vorticity by perucho
19. class structure by CWoo
20. classification of Hilbert spaces by asteroid
21. classification of indecomposable root systems by rmilson
22. closed subsets of a compact set are compact by Wkbj79
23. combinatorial proof of Zeckendorf's theorem by rm50
24. combining URMs by CWoo
25. compact quantum groupoids related to C*-algebras by bci1
26. complete distributivity by CWoo
27. complete ultrafilter and partitions by yesitis
28. concepts in set theory by matte
29. connection by rspuzio
30. continuous image of a compact set is compact by Wkbj79
31. corollary of Kummer's theorem by Thomas Heye
32. creating an infinite model by CWoo
33. cyclic permutation by CWoo
34. dense ring of linear transformations by CWoo
35. derivative notation by mathcam
36. determinant by rmilson
37. determinant as a multilinear mapping by rmilson
38. dihedral group by rmilson
39. dimension formulae for vector spaces by yark
40. direct integral of Hilbert spaces by rspuzio
41. direct limit of algebraic systems by CWoo
42. direct limit of sets by CWoo
43. direct product of algebras by CWoo
44. direct product of partial algebras by CWoo
45. direct sum of bounded operators on Hilbert spaces by asteroid
46. direct sum of Hilbert spaces by asteroid
47. disjoint union by yark
48. disjoint union of categories by CWoo
49. divisors in base field and finite extension field by pahio
50. Einstein summation convention by PrimeFan
51. equalizer by CWoo
52. Euclid's algorithm by rmilson
53. every proposition is equivalent to a proposition in DNF by rspuzio
54. example of Boolean algebras by CWoo
55. existence of maximal ideals by yark
56. fiber bundle by bwebste
57. finding the order of a group by Algeboy
58. finite projective plane by Mathprof
59. first fundamental form by stevecheng
60. first order language by CWoo
61. formulas in Riemannian geometry by matte
62. frame by rmilson
63. free algebra by CWoo
64. function space by matte
65. generalized Cartesian product by Mathprof
66. generalized matrix ring by mclase
67. generator of a category by CWoo
68. geometric representation of relation composition by Jon Awbrey
69. global dimension of a subring by joking
70. graded module by CWoo
71. Grothendieck category by bci1
72. hashing by akrowne
73. Hausdorff dimension by Mathprof
74. Hewitt-Marczewski-Pondiczery theorem by yark
75. Hilbert's $\varepsilon$-operator by gribskoff
76. hitting time by PrimeFan
77. homomorphism between algebraic systems by CWoo
78. homotopy groups by bwebste
79. how to multiply polynomials by Algeboy
80. Hypertext Markup Language by PrimeFan
81. IBN by CWoo
82. independent identically distributed by CWoo
83. index of tables by PrimeFan
84. index set by yesitis
85. induction by Daume
86. inertial degree by djao
87. intersection divisor for a quartic by alozano
88. Jacobi $\vartheta$ functions by rspuzio
89. kernel of a morphism by CWoo
90. Kleene's theorem by CWoo
91. Korteweg - de Vries equation by rspuzio
92. K\"onig's theorem by yark
93. Laguerre polynomial by rspuzio
94. lattice of ideals by CWoo
95. lattice of subgroups by CWoo
96. Levi-Civita permutation symbol by matte
97. Levy-Desplanques theorem by Andrea Ambrosio
98. Lie bracket by rspuzio
99. limit of sequence of sets by CWoo
100. limit points of sequences by rspuzio
101. list vector by rmilson
102. localization for distributions by drini
103. Martin's axiom is consistent by mathcam
104. mathematics vocabulary by matte
105. Mathieu groups by monster
106. matrix inverse by akrowne
107. Mersenne numbers, two small results on by Cosmin
108. method of repeated squaring by Algeboy
109. metric superfields by bci1
110. minor (of a matrix) by CWoo
111. molecular set and molecular class variables by bci1
112. monomorphic set by CWoo
113. Moore graph by Mathprof
114. Morse homology by PrimeFan
115. motion of continuum by perucho
116. multi-index notation by matte
117. neighborhood system on a set by CWoo
118. notes on the classical definition of a manifold by rmilson
119. operation by rspuzio
120. organismic sets by bci1
121. parametric operator by Jon Awbrey
122. partial ordering on subobjects of an object by CWoo
123. Pell number by CompositeFan
124. permanent by marijke
125. pictures of Dynkin diagrams by Dr_Absentius
126. pointed set by CWoo
127. predicativism by gribskoff
128. primefree sequence by CompositeFan
129. product map by asteroid
130. product of categories by CWoo
131. product of non-empty set of non-empty sets is non-empty by CWoo
132. product of posets by CWoo
133. proof of $d\alpha (X,Y) = X(\alpha(Y))$ $-$ $Y(\alpha(X))$ $ -$ $\alpha([X,Y])$ (local coordinates) by rspuzio
134. proof of arithmetic-geometric means inequality using Lagrange multipliers by stevecheng
135. proof of arithmetic-geometric-harmonic means inequality by Mathprof
136. proof of Carath\'eodory's theorem by kshum
137. proof of determinant lower bound of a strict diagonally dominant matrix by Andrea Ambrosio
138. proof of Urysohn's lemma by scanez
139. proof of Vizing's theorem (for graphs) by marijke
140. proof that $\operatorname{Spec}(R)$ is quasi-compact by Wkbj79
141. proof that every filter is contained in an ultrafilter by rspuzio
142. properties of a function by CWoo
143. properties of cardinal numbers by gilbert_51126
144. properties of functions by yark
145. properties of nil and nilpotent ideals by mclase
146. properties of pullback by CWoo
147. quantum category by bci1
148. ramification index by djao
149. recurrence relation by rspuzio
150. recursive function is URM-computable by CWoo
151. regularity theorem for the Laplace equation by rspuzio
152. relation by CWoo
153. relation reduction by Jon Awbrey
154. restricted direct product of algebraic systems by CWoo
155. Russell's theory of types by Aatu
156. Scott topology by CWoo
157. semilattice decomposition of a semigroup by mclase
158. semiotic equivalence relation by Jon Awbrey
159. sequence by djao
160. Shapiro inequality by Koro
161. silver ratio by PrimeFan
162. simultaneous block-diagonalization of upper triangular commuting matrices by lars_h
163. simultaneous triangularisation of commuting matrices over any field by lars_h
164. Smith normal form by Mathprof
165. some facts about injective and surjective linear maps by joking
166. sorting problem by Logan
167. source by kompik
168. splitting and ramification in number fields and Galois extensions by alozano
169. stopping time by gel
170. subdirect product of algebraic systems by CWoo
171. superfields, superspace and supergravity by bci1
172. supernatural number by mathcam
173. supernumber by mhale
174. superscript by PrimeFan
175. tangent space by rmilson
176. Tarski's result on the undefinability of truth by mathcam
177. tensor by rmilson
178. tensor array by rmilson
179. tensor product (vector spaces) by rmilson
180. tensor transformations by rmilson
181. Thabit number by Mravinci
182. the continuous image of a compact space is compact by cvalente
183. the ramification index and the inertial degree are multiplicative in towers by alozano
184. theory of organismic sets and mathematical relations by bci1
185. time invariant by Mathprof
186. topic entry on the algebraic foundations of mathematics by bci1
187. topological lattice by CWoo
188. transposition by drini
189. unconditional convergence by kompik
190. unlimited register machine by CWoo
191. using primitive roots and index to solve congruences by alozano
192. variable groupoid by bci1
193. variable topology by bci1
194. vector norm by mike
195. Weyl algebra by GrafZahl
196. wreath product by mps
197. zeroth order logic by Jon Awbrey