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 'discrete valuation ring'
1. 15 Puzzle by PrimeFan
2. 4 surface bundles by juanman
3. adding and removing parentheses in series by pahio
4. affine geometry by CWoo
5. algebraic geometry by archibal
6. algebraic number theory by alozano
7. an injection between two finite sets of the same cardinality is bijective by alozano
8. an outline of Hilbert's programme by gribskoff
9. anti-cone by stevecheng
10. Archimedes' calculus by milogardner
11. B-spline by CWoo
12. Bertrand's problem by PrimeFan
13. beyond formalism: G\"{o}del's incompleteness by gribskoff
14. Cantor-Zassenhaus split by mathwizard
15. categorical quantum logics as quantum LM-algebraic logic by bci1
16. category of molecular sets by bci1
17. Cauchy-Kowalewski theorem by rspuzio
18. chain by CWoo
19. commutator bracket by rmilson
20. congruence by rspuzio
21. connection between Riccati equation and Airy functions by perucho
22. consequence operator by rspuzio
23. Copeland-Erd\H{o}s constant by Mravinci
24. derivation of Sylvester's matrix for the resultant by rspuzio
25. differential equation by rspuzio
26. differential geometry by rspuzio
27. differential operator by rmilson
28. discrete valuation by djao
29. divided difference by rspuzio
30. ETAS interpretation by bci1
31. example of eliminating higher-order derivatives by rspuzio
32. example of resultant (2) by rspuzio
33. formal power series by AxelBoldt
34. formal power series as inverse limits by rspuzio
35. free and bound variables by CWoo
36. function field by alozano
37. functional monotone class theorem by gel
38. functor category by bci1
39. Galois representation by alozano
40. general system definitions by bci1
41. generalized toposes with many-valued logic subobject classifiers by bci1
42. geometrization of $\mathbb{R}^n$ by rspuzio
43. gr\"ossencharacter by alozano
44. G\"odel's incompleteness theorems by mathcam
45. Hartogs number by CWoo
46. Horner's rule by akrowne
47. Hultsch-Bruins method by milogardner
48. ideals contained in a union of ideals by joking
49. ideals of a discrete valuation ring are powers of its maximal ideal by rm50
50. intervals are connected by joking
51. iterated forcing by Henry
52. iterated forcing and composition by Henry
53. local ring by djao
54. localizations of Dedekind domains are Dedekind by gel
55. logicism by gribskoff
56. Martin's axiom is consistent by mathcam
57. Mersenne numbers by alozano
58. Michael Francis Atiyah by bci1
59. Miller-Rabin prime test by mathwizard
60. normal (ordinal) function by florisje
61. normal irreducible varieties are nonsingular in codimension 1 by archibal
62. Occam's razor by CWoo
63. operator monotone by mathcam
64. order of operations by akrowne
65. order valuation by pahio
66. ordering on cardinalities by CWoo
67. organismic supercategories and super-complex systems biodynamics by bci1
68. partial fractions in Euclidean domains by stevecheng
69. Penrose's first G\"odelian argument by dankomed
70. pivoting by akrowne
71. possible orders of elliptic functions by rspuzio
72. predicativism by gribskoff
73. prime pyramid by PrimeFan
74. properties of ordinals by CWoo
75. properties of the multiplicative order of an integer by alozano
76. quantifier algebra by CWoo
77. quantum chromodynamics (QCD) by bci1
78. quantum groupoids by bci1
79. ramification index by djao
80. realization of a formula by a truth function by CWoo
81. Riemann-Hurwitz theorem by alozano
82. ring hierarchy by Algeboy
83. separability is required for integral closures to be finitely generated by rm50
84. set theory by mathwizard
85. sign relation by Jon Awbrey
86. stationary process by CWoo
87. statistic by CWoo
88. superfields, superspace and supergravity by bci1
89. systematic sampling by CWoo
90. Tarski's result on the undefinability of truth by mathcam
91. the category of T0 Alexandroff spaces is equivalent to the category of posets by joking
92. the torsion subgroup of an elliptic curve injects in the reduction of the curve by alozano
93. valuation domain by mathcam
94. valuation ring of a field by rm50
95. von Neumann-Bernays-G\"odel set theory by Aatu