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
Encyclopedia by subject

03B10 - Mathematical logic and foundations :: General logic :: Classical first-order logic

  1. \Delta_1 bootstrapping owned by Henry
  2. algebraic representation of relation composition owned by Jon Awbrey
  3. arithmetical hierarchy owned by CWoo
  4. arithmetical hierarchy is a proper hierarchy owned by Henry
  5. atomic formula owned by CWoo
  6. beyond formalism: Gödel's incompleteness owned by gribskoff
  7. Boolean owned by akrowne
  8. creating an infinite model owned by CWoo
  9. criterion for consistency of sets of formulas owned by jihemme
  10. deductions are \Delta_1 owned by mathcam
  11. example of Gödel numbering owned by Henry
  12. example of quantifier owned by hkkass
  13. example of tautology owned by bloftin
  14. example of transfinite induction owned by CWoo
  15. example of well-founded induction owned by CWoo
  16. first order language owned by CWoo
  17. first order logic owned by Henry
  18. first-order theory owned by CWoo
  19. free and bound variables owned by CWoo
  20. fuzzy logic owned by ggerla
  21. fuzzy logics of living systems owned by bci1
  22. generalized quantifier owned by Henry
  23. geometric representation of relation composition owned by Jon Awbrey
  24. graph-theoretic representation of relation composition owned by Jon Awbrey
  25. grounded relation owned by Jon Awbrey
  26. Gödel numbering owned by Henry
  27. Gödel's incompleteness theorems owned by mathcam
  28. Herbrand structure owned by iwnbap
  29. Herbrand's theorem (first order logic) owned by iwnbap
  30. Hilbert's \varepsilon-operator owned by gribskoff
  31. Lindenbaum-Tarski algebra owned by CWoo
  32. Lindström's theorem owned by mathcam
  33. logic owned by Henry
  34. logical language owned by Henry
  35. logical matrix owned by Jon Awbrey
  36. many-sorted language owned by CWoo
  37. many-sorted structure owned by CWoo
  38. matrix representation of relation composition owned by Jon Awbrey
  39. prenex form owned by rspuzio
  40. Presburger arithmetic owned by Henry
  41. proof of compactness theorem for first order logic owned by CWoo
  42. proof of principle of transfinite induction owned by jihemme
  43. proof of the well-founded induction principle owned by jihemme
  44. quantifier owned by CWoo
  45. quantifier free owned by mathcam
  46. R-minimal element owned by CWoo
  47. relation composition owned by Jon Awbrey
  48. relation construction owned by Jon Awbrey
  49. relation reduction owned by Jon Awbrey
  50. relation theory owned by Jon Awbrey
  51. semiotic equivalence relation owned by Jon Awbrey
  52. sign relation owned by Jon Awbrey
  53. sign relational complex owned by Jon Awbrey
  54. Skolemization owned by Henry
  55. subformula owned by CWoo
  56. syntactic compactness theorem for first order logic owned by jihemme
  57. tacit extension owned by Jon Awbrey
  58. tautology owned by rspuzio
  59. theory owned by CWoo
  60. transfinite induction owned by jihemme
  61. triadic relation owned by Jon Awbrey
  62. universal relation owned by Henry
  63. universal relations exist for each level of the arithmetical hierarchy owned by Henry
  64. well-founded induction owned by ratboy
  65. well-founded induction on formulas owned by jihemme
  66. word owned by juanman

Show empty categories:
[ up | top ]