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

talkback
Polls
Forums
Feedback
Bug Reports

downloads
Snapshots
PM Book

information
News
Docs
Wiki
ChangeLog
TODO List
Copyright
About
Encyclopedia by subject

03B99 - Mathematical logic and foundations :: General logic :: Miscellaneous

  1. axiom owned by rmilson
  2. Banach-Tarski paradox owned by paolini
  3. Berry's paradox owned by yesitis
  4. Beth property owned by Aatu
  5. compactness owned by Aatu
  6. consistent owned by Henry
  7. freely generated inductive set owned by CWoo
  8. Hofstadter's MIU system owned by Daume
  9. IF-logic owned by mathcam
  10. interpolation property owned by CWoo
  11. metalanguage owned by yesitis
  12. paradox owned by Wkbj79
  13. sentence owned by Henry
  14. Tarski's result on the undefinability of truth owned by mathcam
  15. word owned by juanman

Show empty categories:
[ up | top ]