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 'consistent'
1. $\Diamond$ is equivalent to $\clubsuit$ and continuum hypothesis by Henry
2. Albert Einstein by PrimeFan
3. angle between two lines by pahio
4. axiom by rmilson
5. axiom of choice by GrafZahl
6. axiom of determinacy by CWoo
7. axiom of foundation by Henry
8. axiomatic geometry by CWoo
9. beyond formalism: G\"{o}del's incompleteness by gribskoff
10. cardinality of the continuum by yark
11. circulation and vorticity by perucho
12. class by yark
13. combinatorial principle by mps
14. compact quantum groupoids related to C*-algebras by bci1
15. compactness by Aatu
16. connected sum by Mathprof
17. consistent estimator by CWoo
18. construction of polar coordinates by CWoo
19. creating an infinite model by CWoo
20. criterion for consistency of sets of formulas by jihemme
21. Dedekind-infinite by yark
22. derivation of second formula for surface integration with respect to area by rspuzio
23. direct limit of sets by CWoo
24. directed segment by drini
25. divided differences of powers by rspuzio
26. Einstein field equations by rspuzio
27. first-order theory by CWoo
28. from Hilbert's tenth problem to G\"{o}del's trichotomy by gribskoff
29. generalized toposes with many-valued logic subobject classifiers by bci1
30. geometric representation of relation composition by Jon Awbrey
31. groupoid categories by bci1
32. G\"odel's incompleteness theorems by mathcam
33. homomorphism between algebraic systems by CWoo
34. incidence geometry by CWoo
35. infinitesimal by mps
36. Leibniz notation for vector fields by stevecheng
37. locally compact Hausdorff spaces by bci1
38. locally compact quantum groups: uniform continuity by bci1
39. logistic regression by CWoo
40. L\"ob's theorem by dankomed
41. Martin's axiom is consistent by mathcam
42. mathematical platonism by gribskoff
43. mathematical programs in quantum gravity by bci1
44. models constructed from constants by ratboy
45. Penrose's first G\"odelian argument by dankomed
46. Penrose's second G\"odelian argument by dankomed
47. proof of Bernstein inequalities by Andrea Ambrosio
48. proof of compactness theorem for first order logic by CWoo
49. quantum groupoids by bci1
50. quantum space-times by bci1
51. quotient ring by mathwizard
52. Russell's paradox by CWoo
53. special case of Dirichlet's theorem on primes in arithmetic progressions by bbukh
54. strong AI thesis by dankomed
55. superfields, superspace and supergravity by bci1
56. syntactic compactness theorem for first order logic by jihemme
57. tangent plane (elementary) by rspuzio
58. Tarski's result on the undefinability of truth by mathcam
59. the inclusion of classical into intuitionistic logic by gribskoff
60. type by ratboy
61. universally measurable by gel
62. universe by archibal
63. weakly compact cardinal by Henry
64. Why Study Egyptian Fraction Mathematics by milogardner