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

talkback
Polls
Forums
Feedback
Bug Reports

downloads
Snapshots
PM Book

information
News
Docs
Wiki
ChangeLog
TODO List
Copyright
About
References to 'partial order'
1. $\eta (1) =\ln 2$ by dextercioby
2. $C^*$-algebra by asteroid
3. $C^*$-algebras have approximate identities by asteroid
4. $p$-adic regulator by mathcam
5. $px + 1$ map by PrimeFan
6. $\kappa$-complete by Henry
7. $\wp$-function by drini
8. a functor is an equivalence iff it is fully faithful and essentially surjective by CWoo
9. a semilattice is a commutative band by mclase
10. a space is connected under the ordered topology if and only if it is a linear continuum. by dfeuer
11. algebraic definition of a lattice by CWoo
12. alternative definition of category by rspuzio
13. an integral domain is lcm iff it is gcd by CWoo
14. an outline of Hilbert's programme by gribskoff
15. angle by CWoo
16. arbitrary join by CWoo
17. arrow by PrimeFan
18. autoregressive model by camillio
19. axiom of dependent choices by CWoo
20. bibliography for operator algebras in mathematical physics and AQFT-A to K by bci1
21. bibliography for operator algebras in mathematical physics and AQFT: K-to- Z by bci1
22. bicyclic semigroup by mclase
23. bivector by PhysBrain
24. bubblesort by CWoo
25. calculator by PrimeFan
26. canonical ordering on pairs of ordinals by CWoo
27. canonical quantization by bci1
28. category associated to a partial order by archibal
29. Cayley table by akrowne
30. chain condition by Henry
31. chain finite by lars_h
32. Champernowne's constant by PrimeFan
33. characterization of ordered groups of rank one by rspuzio
34. circular reasoning by Wkbj79
35. closure map by CWoo
36. coarser by rspuzio
37. commutative language by CWoo
38. compact element by CWoo
39. compact Hausdorff space is extremally disconnected if its function algebra is a bounded complete lattice by asteroid
40. complete partial orders do not add small subsets by Henry
41. composition algebra by Algeboy
42. composition of forcing notions by Henry
43. conjugacy classes in the symmetric group $S_n$ by rm50
44. constructing well ordered sets by CWoo
45. continuous relation by CWoo
46. corollaries of basic theorem on ordered groups by rspuzio
47. counting compositions of an integer by rm50
48. covering system by PrimeFan
49. data types in statistics by CWoo
50. De Morgan algebra by CWoo
51. Demlo number by PrimeFan
52. dense total order by mps
53. derivation tree of a derivation by CWoo
54. derivative operator is unbounded in the sup norm by cvalente
55. dimension of a poset by CWoo
56. direct limit of sets by CWoo
57. directed set by yark
58. Einstein field equations by rspuzio
59. equality by pahio
60. equivalence of Hausdorff's maximum principle, Zorn's lemma and the well-ordering theorem by mathcam
61. equivalence of Kuratowski's lemma and Zorn's lemma by CWoo
62. every net has a universal subnet by asteroid
63. example of antisymmetric by Algeboy
64. example of Chu space by Henry
65. example of definable type by aplant
66. example of enough injectives by Glotzfrosch
67. example of functor of points of a scheme by archibal
68. example of non-complete lattice homomorphism by Algeboy
69. examples supporting the Erd\H{o}s-Straus conjecture by PrimeFan
70. exponential function by CWoo
71. extension of a poset by CWoo
72. F-isomorphisms in categories by joking
73. Factorization of the Dedekind zeta function of an abelian number field by alozano
74. fence by CWoo
75. filtration by CWoo
76. finite difference by CWoo
77. fixed-point arithmetic by PrimeFan
78. forcing by ratboy
79. forcing relation by Henry
80. forcings are equivalent if one is dense in the other by Henry
81. fractional calculus by bchui
82. Friedman number by aplant
83. Galois connection by CWoo
84. Galois group of a biquadratic extension by rm50
85. generalized Boolean algebra by CWoo
86. genetic nets by bci1
87. Gertrude Blanch by Mravinci
88. Gr\"obner basis by mathcam
89. Hartogs number by CWoo
90. Hausdorff's maximum principle by CWoo
91. heapsort by mathcam
92. height of an element in a poset by CWoo
93. homothetic by drini
94. Huffman's algorithm by mps
95. ideal completion of a poset by CWoo
96. idempotency of infinite cardinals by CWoo
97. idempotent by mclase
98. idempotent semiring by CWoo
99. implications of having divisor theory by pahio
100. induced Alexandroff topology on a poset by joking
101. induced partial order on an Alexandroff space by joking
102. inference rule by rspuzio
103. infimum by vampyr
104. integer factorization by PrimeFan
105. interpretation of intuitionistic logic by means of functionals by gribskoff
106. intersection structure by CWoo
107. Jordan-H\"older decomposition theorem by djao
108. Kleene algebra by CWoo
109. Kloosterman sum by mathcam
110. lattice by mps
111. lattice filter by CWoo
112. lattice of projections by asteroid
113. Legendre polynomial by mathcam
114. line in space by pahio
115. linearly ordered by akrowne
116. list of mathematicians awarded the Schock Prize by PrimeFan
117. list of mathematicians awarded the Whitehead Prize by PrimeFan
118. list of mathematicians awarded the Wolf Prize by PrimeFan
119. locally finite poset by mps
120. logical graph : formal development by Jon Awbrey
121. long line by Dr_Absentius
122. lowest upper bound by djao
123. L\"owner partial ordering by yark
124. Martin's axiom by Henry
125. Martin's axiom and the continuum hypothesis by Henry
126. Martin's axiom is consistent by mathcam
127. matrix representation of a linear transformation by CWoo
128. maximal element by akrowne
129. median of a distribution by CWoo
130. motion of continuum by perucho
131. nets and closures of subspaces by azdbacks4234
132. neutral geometry by CWoo
133. neutrosophic set by para0doxa
134. non-Newtonian calculus by smithpith
135. number of unrooted labeled trees by rm50
136. o-minimality by Timmy
137. operations on relations by CWoo
138. opus number by PrimeFan
139. order of an elliptic function by rspuzio
140. order of contact by rspuzio
141. order statistics by CWoo
142. order topology by rspuzio
143. ordered group by pahio
144. ordered ring by djao
145. ordered space by CWoo
146. ordered tree by CWoo
147. ordered vector space by CWoo
148. ordering of self-adjoints by asteroid
149. ordering on cardinalities by CWoo
150. ordering relation by djao
151. orthomodular lattice by CWoo
152. parasitic number by CompositeFan
153. partial fractions for polynomials by stevecheng
154. partial order with chain condition does not collapse cardinals by mathcam
155. partial ordering in a topological space by CWoo
156. partial ordering on subobjects of an object by CWoo
157. partially ordered algebraic system by CWoo
158. partially ordered category by CWoo
159. partially ordered group by CWoo
160. partition lattice by mps
161. permutation notation by Wkbj79
162. pi by mathcam
163. poker by PrimeFan
164. polarities and forms by Algeboy
165. poset by mps
166. pre-order by yark
167. primitive semiperfect number by Mravinci
168. probabilistic metric space by CWoo
169. product of posets by CWoo
170. projections as noncommutative characteristic functions by asteroid
171. projective geometry by Algeboy
172. projectivity by CWoo
173. proof of embedding theorem for ordered abelian groups of rank one by rspuzio
174. proof of Euler-Fermat theorem by KimJ
175. proof of every filter is contained in an ultrafilter (alternate proof) by brunoloff
176. proof of Hahn-Banach theorem by paolini
177. proof of the existence of transcendental numbers by kidburla2003
178. proof of Urysohn's lemma by scanez
179. proof of Zermelo's well-ordering theorem by Henry
180. proof that a domain is Dedekind if its ideals are invertible by gel
181. proof that a domain is Dedekind if its ideals are products of maximals by gel
182. proper cone by dooder0001
183. properties of certain monotone functions by CWoo
184. properties of ordinals by CWoo
185. properties of well-ordered sets by GrafZahl
186. proximal neighborhood by CWoo
187. pseudocomplement by CWoo
188. Quasi-order is not defined uniformly by boute
189. R-minimal element by CWoo
190. rank of an elliptic curve by alozano
191. real ring by jocaps
192. rearrangement inequality by drini
193. rectifiable curve by yark
194. reductive by bwebste
195. regular open algebra by CWoo
196. relation algebra by CWoo
197. relational system by CWoo
198. residuated by CWoo
199. Riesz group by CWoo
200. ring of continuous functions by CWoo
201. saddle point approximation by msihl
202. Schr\"{o}eder Bernstein Theorem: Proof by sauravbhaumik
203. section filter by CWoo
204. semilattice by mclase
205. semiring by mps
206. signature by CWoo
207. Sikorski's extension theorem by CWoo
208. solid set by CWoo
209. some theorems on the axioms of order by Mathprof
210. stable sorting algorithm by mathcam
211. star product by mps
212. sum of powers by CWoo
213. superscript by PrimeFan
214. superset by yark
215. suppression of science by PrimeFan
216. surjective open maps in terms of nets by asteroid
217. systematic sampling by CWoo
218. terminating reduction by CWoo
219. Thabit ibn Qurra by PrimeFan
220. the cyclotomic units are algebraic units by alozano
221. theory of organismic sets and mathematical relations by bci1
222. time dilatation of a volume element by perucho
223. top ten coolest numbers by rspuzio
224. topic entry on order theory by CWoo
225. tree (set theoretic) by Henry
226. trimmed mean by CWoo
227. Tukey's lemma by Koro
228. uniqueness conjecture for Markov numbers by PrimeFan
229. upper bound by djao
230. upper set operation is a closure operator by rspuzio
231. variants of the Euclid-Mullin sequence by PrimeFan
232. variation of parameters by rspuzio
233. visualizing maximal elements by stevecheng
234. Viswanath's constant by PrimeFan
235. voting by PrimeFan
236. weakest extension of a partial ordering by jocaps
237. well ordered set by drini
238. well-founded induction by ratboy