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 'definable'
1. an outline of Hilbert's programme by gribskoff
2. Beth property by Aatu
3. beyond formalism: G\"{o}del's incompleteness by gribskoff
4. bilinearity and commutative rings by Algeboy
5. computable number by AxelBoldt
6. definable type by Timmy
7. determinant by rmilson
8. ETAS interpretation by bci1
9. example of definable type by aplant
10. example of strongly minimal by CWoo
11. examples of fields by AxelBoldt
12. G\"odel's incompleteness theorems by mathcam
13. IF-logic by mathcam
14. imaginaries by mathcam
15. infinitesimal by mps
16. Julius K\"onig by WM
17. Lindstr\"om's theorem by mathcam
18. o-minimality by Timmy
19. operations on relations by CWoo
20. predicativism by gribskoff
21. proof of complete partial orders do not add small subsets by Henry
22. proof of partial order with chain condition does not collapse cardinals by Henry
23. real closed fields by mathcam
24. strongly minimal by Timmy
25. supercategory by bci1
26. supercategory theories by bci1
27. trace forms on algebras by Algeboy