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

03-00 - Mathematical logic and foundations :: General reference works

  1. (a,b)=(c,d) if and only if a=c and b=d owned by Wkbj79
  2. \Psi is surjective if and only if \Psi^\ast is injective owned by matte
  3. a surjection between finite sets of the same cardinality is bijective owned by ratboy
  4. an injection between two finite sets of the same cardinality is bijective owned by alozano
  5. bibliography for axiomatics and mathematics foundations in categories owned by bci1
  6. categories and QAT bibliography in algebraic topology owned by bci1
  7. bibliography of many-valued logics and applications owned by bci1
  8. biconditional owned by Mathprof
  9. bijection owned by mathcam
  10. Burali-Forti paradox owned by Henry
  11. Cantor's paradox owned by Henry
  12. Cartesian product owned by djao
  13. chain owned by CWoo
  14. characteristic function owned by bbukh
  15. characterization of signature of a permutation owned by rm50
  16. concentric circles owned by drini
  17. conjunction owned by akrowne
  18. criterion of surjectivity owned by pahio
  19. cycle owned by yark
  20. cyclic permutation owned by CWoo
  21. disjoint owned by djao
  22. empty set owned by djao
  23. endpoint owned by Wkbj79
  24. even number owned by mathcam
  25. every permutation has a cycle decomposition owned by rspuzio
  26. example of an operator owned by Mathprof
  27. example of bijection owned by juanman
  28. fix owned by Wkbj79
  29. fixed point owned by Mathprof
  30. functions from empty set owned by rspuzio
  31. integer owned by CWoo
  32. inverse function owned by matte
  33. inverse of composition of functions owned by Wkbj79
  34. line segment owned by matte
  35. linearly ordered owned by akrowne
  36. definition of onto linear transformation owned by Mathprof
  37. operator owned by rmilson
  38. ordered pair owned by djao
  39. ordered tuplet owned by rspuzio
  40. ordering relation owned by djao
  41. partition owned by Wkbj79
  42. partition is equivalent to an equivalence relation owned by CWoo
  43. permutation owned by alozano
  44. permutation notation owned by Wkbj79
  45. pointwise owned by lars_h
  46. properties of bijections owned by CWoo
  47. properties of cardinal numbers owned by gilbert_51126
  48. pullback owned by matte
  49. Russell's paradox owned by CWoo
  50. set closed under an operation owned by archibal
  51. signature of a permutation owned by rspuzio
  52. simple function owned by mps
  53. subset owned by Wkbj79
  54. surjective owned by drini
  55. topic entry on foundations of mathematics owned by CWoo
  56. topic entry on the algebraic foundations of mathematics owned by bci1
  57. transposition owned by drini
  58. truth table owned by rspuzio

Show empty categories:
[ up | top ]