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

talkback
Polls
Forums
Feedback
Bug Reports

downloads
Snapshots
PM Book

information
News
Docs
Wiki
ChangeLog
TODO List
Copyright
About
References to 'universe of discourse'
1. analytics and formal logics in meta-mathematics by bci1
2. Aristotelian logic by Daume
3. cylindric algebra by CWoo
4. derived Boolean operations by CWoo
5. differential logic by Jon Awbrey
6. differential propositional calculus by Jon Awbrey
7. forty-two by CompositeFan
8. free and bound variables by CWoo
9. generalized quantifier by Henry
10. Herbrand structure by iwnbap
11. hypothesis testing by CWoo
12. H\"artig's quantifier by Henry
13. many-sorted language by CWoo
14. mathematics vocabulary by matte
15. Mayan math by milogardner
16. neutrosophic set by para0doxa
17. properties of certain monotone functions by CWoo
18. quantifier by CWoo
19. regular open algebra by CWoo
20. Russell's theory of types by Aatu
21. sheaf by archibal
22. top ten coolest numbers by rspuzio