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 'sentence'
1. automatic presentation by mathcam
2. axiomatizable class by CWoo
3. beyond formalism: G\"{o}del's incompleteness by gribskoff
4. compactness by Aatu
5. consequence operator by rspuzio
6. context-free language by CWoo
7. criterion for consistency of sets of formulas by jihemme
8. cylindric algebra by CWoo
9. deterministic finite automaton by CWoo
10. Diophantine set by CWoo
11. elementarily equivalent by CWoo
12. example of a universal structure by uzeromay
13. example of quantifier by hkkass
14. examples of normal form games by Henry
15. first-order theory by CWoo
16. formal grammar by CWoo
17. free and bound variables by CWoo
18. fuzzy logic by ggerla
19. G\"odel numbering by Henry
20. G\"odel's incompleteness theorems by mathcam
21. IF-logic by mathcam
22. implicational class by CWoo
23. interpolation property by CWoo
24. logic by Henry
25. logical implication by Jon Awbrey
26. model by CWoo
27. model theory by mps
28. models constructed from constants by ratboy
29. monadic algebra by CWoo
30. pairing function by rspuzio
31. Penrose's first G\"odelian argument by dankomed
32. proof of compactness theorem for first order logic by CWoo
33. proof of complete partial orders do not add small subsets by Henry
34. propositional logic by Henry
35. quantifier by CWoo
36. quantum logic by CWoo
37. real closed fields by mathcam
38. regular language by mps
39. Reynolds transport theorem by perucho
40. Russell's theory of types by Aatu
41. satisfaction relation by CWoo
42. supercategory theories by bci1
43. syntactic compactness theorem for first order logic by jihemme
44. Tarski's result on the undefinability of truth by mathcam
45. transfinite recursion by CWoo
46. weakly compact cardinal by Henry
47. weakly compact cardinals and the tree property by Henry