PlanetMath (more info)
 Math for the people, by the people.
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 (235)
Orphanage
Unclass'd
Unproven (515)
Corrections (23)
Classification

talkback
Polls
Forums
Feedback
Bug Reports

downloads
Snapshots
PM Book

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

03C05 - Mathematical logic and foundations :: Model theory :: Equational classes, universal algebra

  1. congruence owned by almann
  2. diamond lemma owned by CWoo
  3. equational class owned by CWoo
  4. every congruence is the kernel of a homomorphism owned by almann
  5. grounded relation owned by Jon Awbrey
  6. homomorphic image of a \Sigma-structure is a \Sigma-structure owned by almann
  7. implicational class owned by CWoo
  8. kernel owned by almann
  9. kernel of a homomorphism is a congruence owned by almann
  10. logical implication owned by Jon Awbrey
  11. minimal negation operator owned by Jon Awbrey
  12. multigrade operator owned by Jon Awbrey
  13. parametric operator owned by Jon Awbrey
  14. propositional calculus owned by Jon Awbrey
  15. quotient structure owned by almann

Show empty categories:
[ up | top ]