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

talkback
Polls
Forums
Feedback
Bug Reports

downloads
Snapshots
PM Book

information
News
Docs
Wiki
ChangeLog
TODO List
Copyright
About
References to 'sound,, complete'
1. $\kappa$-complete by Henry
2. abelian group is divisible if and only if it is an injective object by joking
3. Albert Einstein by PrimeFan
4. algorithm by jk81
5. all bases for a vector space have the same cardinality by CWoo
6. an outline of Hilbert's programme by gribskoff
7. axiom by rmilson
8. axiom of dependent choices by CWoo
9. Bergman space by jirka
10. beyond formalism: G\"{o}del's incompleteness by gribskoff
11. chain by CWoo
12. club filter by Henry
13. congruence lattice by CWoo
14. consistent by Henry
15. definable type by Timmy
16. derivation of unit vectors in curvilinear coordinates by swapnizzle
17. diamond lemma by CWoo
18. differential geometry by rspuzio
19. Egyptian fraction by milogardner
20. equational class by CWoo
21. equivalent definitions for UFD by joking
22. every finite dimensional normed vector space is a Banach space by matte
23. example of false implies true by Algeboy
24. example of monadic algebra by CWoo
25. existence of the conditional expectation by gel
26. exponential by rmilson
27. filter by Koro
28. first-order theory by CWoo
29. functional analysis by PrimeFan
30. G\"odel's incompleteness theorems by mathcam
31. Hilbert's problems by Daume
32. idempotency of infinite cardinals by CWoo
33. IF-logic by mathcam
34. importance of primitive recursion by CWoo
35. interpretation of intuitionistic logic by means of functionals by gribskoff
36. intuitionistic logic by gribskoff
37. Jordan-Banach and Jordan-Lie algebras by bci1
38. Kleene star of an automaton by CWoo
39. Kleene's theorem by CWoo
40. mathematics vocabulary by matte
41. Mealy machine by CWoo
42. permutation model by ratboy
43. proof of Bernoulli's inequality employing the mean value theorem by rspuzio
44. proof of complete partial orders do not add small subsets by Henry
45. proof of necessary and sufficient conditions for a normed vector space to be a Banach space by willny
46. proof of topologically irreducible representations are algebraically irreducible for $C^*$-algebras by karstenb
47. quantifier free by mathcam
48. quantum automata and computation by bci1
49. quantum groups and von Neumann algebras by bci1
50. quantum logic by CWoo
51. quotient group of a topological group by its identity component is totally disconnected by joking
52. recursively axiomatizable theory by mathcam
53. Schr\"{o}eder Bernstein Theorem: Proof by sauravbhaumik
54. sign relation by Jon Awbrey
55. simplicity of the alternating groups by rmilson
56. state-output machine by CWoo
57. strongly minimal by Timmy
58. surface integration with respect to area by rspuzio
59. surjection and axiom of choice by CWoo
60. tensor product of dual spaces is a dual space of tensor product by joking
61. the inclusion of classical into intuitionistic logic by gribskoff
62. theorems of Euclid by rspuzio
63. truly random numbers by akrowne
64. type by ratboy
65. unique readability of parenthesized formulas by CWoo
66. words for numbers in Slavic languages by PrimeFan