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 'equivalence of forcing notions'
1. $G$-module by rspuzio
2. $L^{\infty}(X, \mu)$ by ack
3. abelian group is divisible if and only if it is an injective object by joking
4. absolutely continuous by Koro
5. adjugate by rmilson
6. affine combination by CWoo
7. algebraic categories and classes of algebras by bci1
8. all norms on finite-dimensional vector spaces are equivalent by jirka
9. almost periodic function (equivalent definition) by rspuzio
10. alternate characterization of curl by stevecheng
11. alternative definition of valuation by rspuzio
12. an integral domain is lcm iff it is gcd by CWoo
13. analytic by djao
14. angle multiplication and division formulae for tangent by rspuzio
15. another definition of cofinality by x_bas
16. another proof of rank-nullity theorem by CWoo
17. antisymmetric by rmilson
18. area of a polygonal region by Mathprof
19. arithmetic function by mathcam
20. arithmetical ring by PrimeFan
21. artinian by antizeus
22. axiom of choice by GrafZahl
23. axiom of dependent choices by CWoo
24. bad reduction by alozano
25. basis by mathcam
26. best approximation in inner product spaces by asteroid
27. bipartite matching by mathcam
28. Black-Scholes formula by stevecheng
29. Boolean prime ideal theorem by CWoo
30. Brandt groupoid by CWoo
31. Brauer group by djao
32. Brauer's ovals theorem by Andrea Ambrosio
33. BV function by paolini
34. cardinality by yark
35. categorical direct product is an inverse limit by archibal
36. categorical quantum logics as quantum LM-algebraic logic by bci1
37. categorical sequence by bci1
38. category of paths on a graph by rspuzio
39. category theory by archibal
40. characterization of prime ideals by GrafZahl
41. classical groups by Algeboy
42. classification of covering spaces by Dr_Absentius
43. coboundary definition of exterior derivative by rmilson
44. colorings of plane graphs by marijke
45. commutative language by CWoo
46. compact quantum groupoids related to C*-algebras by bci1
47. complex exponential function by pahio
48. composition algebra by Algeboy
49. composition of forcing notions by Henry
50. conditional distribution of multi-variate normal variable by stevecheng
51. connection by rspuzio
52. constructing well ordered sets by CWoo
53. continued fraction by PrimeFan
54. continuity equation by perucho
55. continuous linear mapping by Koro
56. continuum hypothesis by rspuzio
57. convergence of arithmetic-geometric mean by rspuzio
58. convex set by drini
59. cubically thin homotopy by bci1
60. curve by rmilson
61. d'Alembert and D. Bernoulli solutions of wave equation by pahio
62. D'Alembertian by invisiblerhino
63. dependence relation by CWoo
64. derivation of the Laplacian from rectangular to spherical coordinates by swapnizzle
65. determination of even abundant numbers with one odd prime factor by rspuzio
66. diagonalizable operator by asteroid
67. discriminator function by CWoo
68. domain by drini
69. dual category by CWoo
70. duality in mathematics by bci1
71. elliptic curve by djao
72. Engel's theorem by rmilson
73. equivalence of categories by mhale
74. equivalent definition of a representable functor by CWoo
75. equivalent norms by matte
76. equivalent regular expressions by CWoo
77. equivalent representations of groupoids by bci1
78. equivalent statements to statement that sphere is not contractible by joking
79. ergodicity of a map in terms of its induced operator by asteroid
80. every vector space has a basis by GrafZahl
81. example of exact functor by CWoo
82. existence and uniqueness of solution to Cauchy problem by ehremo
83. exponential family by CWoo
84. Fermat's last theorem (analytic form of) by whm22
85. fibration by whm22
86. field is discrete and cocompact in its ad\`{e}les by rm50
87. finite rank approximation on separable Hilbert spaces by karstenb
88. finitely generated modules over a principal ideal domain by yark
89. forcings are equivalent if one is dense in the other by Henry
90. formal power series as inverse limits by rspuzio
91. frame by rmilson
92. free associative algebra by Algeboy
93. free module by mathcam
94. FS iterated forcing preserves chain condition by Henry
95. function by djao
96. fundamental complexity diagrams by bci1
97. fundamental theorem of arithmetic, proof of the by mps
98. Gabriel-Popescu theorem for $Ab 5$-categories by bci1
99. gcd domain by CWoo
100. generalized Schanuel's lemma by CWoo
101. genus of topological surface by Mathprof
102. geometry as the study of invariants under certain transformations by rspuzio
103. gradient by CWoo
104. Green functions and conformal mapping by rspuzio
105. Grothendieck category by bci1
106. group actions and homomorphisms by CWoo
107. group extension by CWoo
108. group representation by djao
109. groupoid and group representations related to quantum symmetries by bci1
110. groupoid C*-convolution algebras by bci1
111. groupoid representation theorem by bci1
112. Hamiltonian operator by bci1
113. Hausdorff's maximum principle by CWoo
114. Hodge theory by bwebste
115. homogeneous polynomial by jgade
116. homogeneous space by rmilson
117. homothetic by drini
118. homotopy double groupoid of a Hausdorff space by bci1
119. hyperbolic plane in quadratic spaces by CWoo
120. ideal by djao
121. image of a morphism by CWoo
122. index of set theory by rspuzio
123. inductive proof of Fermat's little theorem proof by mathcam
124. integral binary quadratic forms by rm50
125. integral closures in separable extensions are finitely generated by rm50
126. interest by CWoo
127. internal direct sum of ideals by Mathprof
128. invariant subspaces for self-adjoint *-algebras of operators by asteroid
129. iterated forcing and composition by Henry
130. Jacobson radical by yark
131. jet bundle by rspuzio
132. Kuratowski's theorem by bbukh
133. Lagrange multiplier method by cvalente
134. Lagrange multipliers on manifolds by stevecheng
135. Landau notation by Mathprof
136. lecture notes on polynomial interpolation by rmilson
137. limit inferior by rmilson
138. Lindemann-Weierstrass theorem by CWoo
139. linear involution by matte
140. local martingale by skubeedooo
141. local properties of processes by gel
142. manifold by matte
143. martingale by CWoo
144. matrix operations by djao
145. matrix representation by drini
146. matroid independence axioms by sgraves
147. Mayan math by milogardner
148. midpoint by Mathprof
149. molecular set theory by bci1
150. motion in central-force field by pahio
151. motivic cohomology by PrimeFan
152. motivic cohomology by CWoo
153. mountain pass theorem by ncrom
154. multivalued function by CWoo
155. M\"obius inversion by mathcam
156. natural equivalence of categories by bci1
157. no-arbitrage in the Black-Scholes pricing model by stevecheng
158. non-Euclidean geometry by Wkbj79
159. normal complex analytic variety by jirka
160. O(2) by rspuzio
161. ordering on cardinalities by CWoo
162. ordinal arithmetic by Henry
163. Ore domain by antizeus
164. orthogonal matrices by akrowne
165. partial ordering on subobjects of an object by CWoo
166. Pascal's rule (bit string proof) by vampyr
167. Pfaff's problem by rspuzio
168. polarities and forms by Algeboy
169. polygonal number by mathcam
170. polynomials in algebraic systems by CWoo
171. prime by djao
172. prime ideal by djao
173. prime number theorem by bbukh
174. projective line configurations by rspuzio
175. proof of 5-lemma by bwebste
176. proof of Beatty's theorem by lieven
177. proof of characterizations of the Jacobson radical by rspuzio
178. proof of classification of separable Hilbert spaces by rspuzio
179. proof of congruence of Clausen and von Staudt by slachter
180. proof of convergence criterion for infinite product by cvalente
181. proof of Dehn's theorem by paolini
182. proof of example of medial quasigroup by rspuzio
183. proof of first isomorphism theorem by uriw
184. proof of Jensen's inequality by Andrea Ambrosio
185. proof of Lucas-Lehmer primality test by rm50
186. proof of Morera's theorem by Ziosilvio
187. proof of Ostrowski's valuation theorem by rm50
188. proof of Pythagorean triplet by Thomas Heye
189. proof of the Cauchy-Riemann equations by rmilson
190. proof of Wagner's theorem by Ziosilvio
191. proof that $n^2-n+41$ is prime for $0\leq n\leq 40$ by rm50
192. proof that a domain is Dedekind if its ideals are invertible by gel
193. properties of an affine transformation by CWoo
194. properties of functions by yark
195. properties of regular and extremal monomorphisms by kompik
196. PTAH inequality by Mathprof
197. quadratic form by CWoo
198. quadratic reciprocity rule by alozano
199. quantization by bci1
200. quantum category by bci1
201. quantum electrodynamics by bci1
202. quantum groupoids by bci1
203. quotient ring by mathwizard
204. reducible matrix by Mathprof
205. reduction of structure group by antonio
206. regular expression by CWoo
207. relation by CWoo
208. remainder arithmetic by milogardner
209. Riemann surface by PrimeFan
210. rigorous definition of the logarithm by rspuzio
211. ring of sets by CWoo
212. rounding by CWoo
213. rules of calculus for derivative of formal power series by rspuzio
214. Schooten theorem by mathcam
215. seminorm by rmilson
216. set theory by mathwizard
217. Simple analytic discussion of the cubic equation by Altair
218. singular by Mathprof
219. space curve by Mathprof
220. space-time quantization problems in quantum gravity theories by bci1
221. spectral measure by asteroid
222. spectrum of $A-\mu I$ by PrimeFan
223. spinor by PrimeFan
224. Stirling numbers of the first kind by rmilson
225. submanifold by jirka
226. sufficient statistic by CWoo
227. summation by drini
228. tensor product by rmilson
229. tensor product basis by lars_h
230. The Best Score in the Worst Case of a Memory Game is 2N - 1 by ubershmekel
231. the inverse image commutes with set operations by matte
232. the only compact metric spaces that admit a positively expansive homeomorphism are discrete spaces by Koro
233. theorems on sums of squares by CWoo
234. topological entropy by Koro
235. topological group representation by asteroid
236. triple scalar product by slider142
237. uniformly integrable by stevecheng
238. van der Pol equation by Daume
239. variable groupoid by bci1
240. vector p-norm by Andrea Ambrosio
241. von Neumann algebra by asteroid
242. well-defined by pahio
243. winding number by CWoo
244. world records in mathematics by PrimeFan
245. Zermelo's postulate by Koro
246. Zermelo's well-ordering theorem by yark