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 'TFAE'
1. alternative definition of algebraically closed by polarbear
2. alternative definitions of countable by CWoo
3. an associative quasigroup is a group by CWoo
4. an integral domain is lcm iff it is gcd by CWoo
5. antiprism by Wkbj79
6. attaching pullback squares by mps
7. basic criterion for self-adjointness by Koro
8. Bichteler-Dellacherie theorem by gel
9. Boolean ideal by CWoo
10. bounded operator by bwebste
11. characterisation by pahio
12. characterization of a Kleene algebra by CWoo
13. characterization of abelian extensions of exponent n by rm50
14. characterization of finite nilpotent groups by yark
15. characterization of free submonoids by Ziosilvio
16. characterizations of majorization by Mathprof
17. Chernikov group by yark
18. completely separated by CWoo
19. criteria for a poset to be a complete lattice by CWoo
20. criterion of N\'eron-Ogg-Shafarevich by alozano
21. cyclic rings and zero rings by Wkbj79
22. cylinder by stevecheng
23. derived functor by mathcam
24. distribution by matte
25. equiangular polygon by Wkbj79
26. equilateral polygon by Wkbj79
27. equivalent characterizations of Dedekind domains by gel
28. equivalent condition for the translates of an $L_2$ function to form a Riesz sequence, an by Gorkem
29. equivalent conditions for normality of a field extension by azdbacks4234
30. equivalent conditions for triangles by Wkbj79
31. equivalent conditions for uniform integrability by gel
32. equivalent defining conditions on a Noetherian ring by CWoo
33. equivalent definition of a representable functor by CWoo
34. equivalent definitions of analytic sets by gel
35. equivalent formulations for continuity by matte
36. equivalent statements to statement that sphere is not contractible by joking
37. finite nilpotent groups by Algeboy
38. formally real field by CWoo
39. freely generated inductive set by CWoo
40. Galois group of a biquadratic extension by rm50
41. generalized Farkas lemma by stevecheng
42. identification topology by rspuzio
43. invariant forms on representations of compact groups by bwebste
44. invariant subspaces for self-adjoint *-algebras of operators by asteroid
45. isosceles triangle theorem by Wkbj79
46. locally closed by asteroid
47. mathematics vocabulary by matte
48. Myhill-Nerode theorem by Ziosilvio
49. Myhill-Nerode theorem for semigroups by Ziosilvio
50. ordering on cardinalities by CWoo
51. proof of casus irreducibilis for real fields by rm50
52. proof of characterization of perfect fields by mclase
53. proof of equivalent definitions of analytic sets for measurable spaces by gel
54. proof of equivalent definitions of analytic sets for Polish spaces by gel
55. proof of fundamental theorem of Galois theory by pbruin
56. proof that a domain is Dedekind if its ideals are invertible by gel
57. proof that a domain is Dedekind if its ideals are products of primes by gel
58. proof that a Noetherian domain is Dedekind if it is locally a PID by gel
59. properties of semisimple modules by joking
60. Pythagorean field by CWoo
61. recursively enumerable by ariels
62. regular covering by Dr_Absentius
63. relation between almost surely absolutely bounded random variables and their absolute moments by Andrea Ambrosio
64. relationship among different kinds of compactness by rm50
65. Riesz group by CWoo
66. Riesz interpolation property by CWoo
67. sectionally complemented lattice by CWoo
68. sequentially compact by mps
69. spectral theorem by rmilson
70. theorem on constructible angles by Wkbj79
71. Tietze extension theorem by matte
72. topological vector lattice by CWoo
73. type by ratboy
74. uniform proximity is a proximity by CWoo
75. valuation ring of a field by rm50