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 'Sheffer stroke'
1. ${\mathbb{Z}}_n$ by Wkbj79
2. a space is connected under the ordered topology if and only if it is a linear continuum. by dfeuer
3. acceptance-rejection method by stevecheng
4. algebraic number theory by alozano
5. analytics and formal logics in meta-mathematics by bci1
6. another proof that a number is polite iff it is positive and not a positive power of $2$ by CWoo
7. Archimedean property by Daume
8. arithmetical hierarchy is a proper hierarchy by Henry
9. automorphic number by CompositeFan
10. Banach-Tarski paradox by paolini
11. beyond formalism: G\"{o}del's incompleteness by gribskoff
12. Bourbaki, Nicolas by Daume
13. Brandt groupoid by CWoo
14. Cauchy-Binet formula by CWoo
15. chain by CWoo
16. characterization of almost convex functions by rspuzio
17. code by mathcam
18. colorings of plane graphs by marijke
19. compact quantum groupoids related to C*-algebras by bci1
20. composite number by mathcam
21. conic section by drini
22. construction of outer measures by gel
23. continuous relation by CWoo
24. deletion operation on languages by CWoo
25. derived Boolean operations by CWoo
26. diagonalization of quadratic form by rspuzio
27. division by pahio
28. Egyptian weights and measures, hekat divisions by milogardner
29. every even integer greater than 70 is the sum of two abundant numbers in more than one way by PrimeFan
30. example of a projective module which is not free by joking
31. example of continuous bijections which are not homeomorphisms by joking
32. example of normal extension by alozano
33. examples of perfect totient numbers by PrimeFan
34. finite projective plane by Mathprof
35. Fitting's lemma by CWoo
36. fuzzy logics of living systems by bci1
37. Galois group of a biquadratic extension by rm50
38. Gelfond's constant by PrimeFan
39. Gelfond-Schneider constant by PrimeFan
40. Google calculator by CompositeFan
41. Haskell by PrimeFan
42. hollow matrix rings by Algeboy
43. homomorphism of languages by CWoo
44. Hopfian group by yark
45. idempotent by mclase
46. idempotent classifications by Algeboy
47. inflection points and canonical forms of non-singular cubic curves by rspuzio
48. intuitionistic logic by gribskoff
49. irreflexive by smw
50. Lebesgue density theorem by bbukh
51. locally homeomorphic by GrafZahl
52. method for computing simple continued fractions with the aid of calculator and pencil and paper by PrimeFan
53. module-finite extensions are integral by rm50
54. molecular set theory by bci1
55. monadic algebra by CWoo
56. multiplicative sets in rings and prime ideals by joking
57. mutual positions of vectors by pahio
58. neutrosophic logic by para0doxa
59. neutrosophic probability by para0doxa
60. normal subgroups of the symmetric groups by rm50
61. normalizing reduction by CWoo
62. numeration system by CWoo
63. one hundred sixty-three by PrimeFan
64. open question by rspuzio
65. order valuation by pahio
66. partially ordered category by CWoo
67. pentagonal number theorem by bbukh
68. pi by mathcam
69. Pietro Mengoli by Mravinci
70. poset by mps
71. positive definite form by djao
72. prime quadruplet by PrimeFan
73. projective line configurations by rspuzio
74. proof of Bolzano's theorem by cvalente
75. proof of Darboux's theorem by paolini
76. proof of embedding theorem for ordered abelian groups of rank one by rspuzio
77. proof of every filter is contained in an ultrafilter (alternate proof) by brunoloff
78. proof of properties of the exponential by rspuzio
79. proof of Vizing's theorem (for graphs) by marijke
80. proof of Wagner's theorem by Ziosilvio
81. proof of Wilson's theorem using the Wilson quotient by PrimeFan
82. properties of direct product by CWoo
83. quadrilateral by drini
84. quantum groupoids by bci1
85. quartic polynomial with Galois group $D_8$ by rm50
86. Ramsey's theorem by mathcam
87. random Fibonacci sequence by PrimeFan
88. reductio ad absurdum by gribskoff
89. relationship between totatives and divisors by Wkbj79
90. rhomboid by Wkbj79
91. Riemann zeta function by alozano
92. rigorous definition of the logarithm by rspuzio
93. root by mathcam
94. second isomorphism theorem by djao
95. seminorm by rmilson
96. sets that do not have an infimum by sleske
97. Simple analytic discussion of the cubic equation by Altair
98. simplified automaton by CWoo
99. sources and sinks of vector field by pahio
100. space-time quantization problems in quantum gravity theories by bci1
101. strict by rspuzio
102. subdirect product of rings by CWoo
103. subset by Wkbj79
104. table of Mersenne primes by PrimeFan
105. Tarski's result on the undefinability of truth by mathcam
106. the real numbers are indecomposable as a topological space by joking
107. theorem on Collatz sequences starting with Mersenne numbers by PrimeFan
108. theory of formal languages by rspuzio
109. thirteen by PrimeFan
110. uniqueness of cardinality by mathcam
111. unities of ring and subring by pahio
112. unity of subring by pahio
113. unstable fixed point by mathwizard
114. variety of groups by yark
115. Venn diagram by CWoo
116. von Neumann ordinal by Henry
117. Wagner's theorem by Mathprof
118. when all singularities are poles by pahio
119. zero divisor by cvalente
120. zeroth order logic by Jon Awbrey