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

03E20 - Mathematical logic and foundations :: Set theory :: Other classical set theory

  1. additive owned by Andrea Ambrosio
  2. algebraic representation of relation composition owned by Jon Awbrey
  3. antiderivative of complex function owned by Wkbj79
  4. antisymmetric owned by aoh45
  5. argument owned by Wkbj79
  6. characterization of basis of finite dimensional vector space owned by georgiosl
  7. complex function owned by Wkbj79
  8. constant function owned by mathcam
  9. constant functions and continuity owned by mathcam
  10. criterion for a set to be transitive owned by Wkbj79
  11. dependence relation owned by CWoo
  12. direct image owned by djao
  13. domain owned by akrowne
  14. Dynkin system owned by mathwizard
  15. equivalence class owned by mathcam
  16. example of antisymmetric owned by Algeboy
  17. example of law of trichotomy on < owned by me_and
  18. examples of ring of sets owned by rspuzio
  19. extension of a function owned by Wkbj79
  20. fibre owned by mathcam
  21. filtration owned by CWoo
  22. finite character owned by Koro
  23. finite fields of sets owned by rspuzio
  24. fix (transformation action) owned by rmilson
  25. freely generated inductive set owned by CWoo
  26. function owned by djao
  27. functional owned by mathcam
  28. generalized Cartesian product owned by Mathprof
  29. geometric representation of relation composition owned by Jon Awbrey
  30. graph owned by Koro
  31. graph-theoretic representation of relation composition owned by Jon Awbrey
  32. grounded relation owned by Jon Awbrey
  33. identity map owned by bwebste
  34. inclusion mapping owned by Koro
  35. inductive set owned by djao
  36. injection can be extended to isomorphism owned by pahio
  37. injective function owned by drini
  38. invariant owned by rmilson
  39. invariant by a measure-preserving transformation owned by asteroid
  40. inverse function owned by matte
  41. inverse function theorem owned by azdbacks4234
  42. inverse image owned by djao
  43. inverse of composition of functions owned by Wkbj79
  44. irreflexive owned by smw
  45. law of trichotomy owned by yark
  46. left function notation owned by antizeus
  47. level set owned by yark
  48. level sets of smooth functions on manifolds owned by rspuzio
  49. limit of sequence of sets owned by CWoo
  50. logical matrix owned by Jon Awbrey
  51. mapping owned by rmilson
  52. mapping of period n is a bijection owned by Koro
  53. matrix representation of relation composition owned by Jon Awbrey
  54. minimal negation operator owned by Jon Awbrey
  55. multigrade operator owned by Jon Awbrey
  56. multivalued function owned by CWoo
  57. operation owned by rspuzio
  58. operations on relations owned by CWoo
  59. parametric operator owned by Jon Awbrey
  60. partial function owned by Henry
  61. partial mapping owned by mathcam
  62. period of mapping owned by bwebste
  63. pi-system owned by drummond
  64. pointed set owned by CWoo
  65. product owned by pahio
  66. product map owned by asteroid
  67. product of non-empty set of non-empty sets is non-empty owned by CWoo
  68. proof of inverse function theorem owned by paolini
  69. proper subset owned by djao
  70. properties of a function owned by CWoo
  71. properties of functions owned by yark
  72. properties of injective functions owned by rspuzio
  73. properties of set difference owned by CWoo
  74. properties of symmetric difference owned by CWoo
  75. quasi-inverse of a function owned by CWoo
  76. range owned by akrowne
  77. reflexive relation owned by yark
  78. relation owned by CWoo
  79. relation composition owned by Jon Awbrey
  80. relation construction owned by Jon Awbrey
  81. relation reduction owned by Jon Awbrey
  82. relation theory owned by Jon Awbrey
  83. restriction of a function owned by yark
  84. right function notation owned by antizeus
  85. ring of sets owned by CWoo
  86. Schröeder Bernstein Theorem: Proof owned by sauravbhaumik
  87. semiotic equivalence relation owned by Jon Awbrey
  88. set difference owned by yark
  89. sign relation owned by Jon Awbrey
  90. sign relational complex owned by Jon Awbrey
  91. subfunction owned by CWoo
  92. sum and product and quotient of functions owned by pahio
  93. symmetric difference owned by CWoo
  94. symmetric difference on a finite number of sets owned by CWoo
  95. symmetric relation owned by yark
  96. tacit extension owned by Jon Awbrey
  97. the inverse image commutes with set operations owned by matte
  98. transformation owned by rmilson
  99. transitive owned by Evandar
  100. transitive closure owned by Henry
  101. transitive relation owned by yark
  102. triadic relation owned by Jon Awbrey
  103. two simple facts about well-founded relations owned by yesitis
  104. well-founded relation owned by ratboy

Show empty categories:
[ up | top ]