home about



Online Encyclopedia of
Mathematical Models.






Models:

boolean algebras, lattices, directed sets, equivalence relations,
graphs, directed graphs, bipartite graphs,
pre-orderings, strict partial orders, strict weak orderings, partial orderings, weak orderings, total orderings,
groups, rings, fields, racks, quandles, Tarski's HS Algebra,
more coming soon.



Field theory.
Axioms

relation =(2,infix) {a0==a1}

function +(2,infix)

function .(2,infix)

constant 0

constant 1

variable x,y,z

axiom ¬ (1 = 0)                            #identities

axiom ∀x x + 0 = x                            #identity

axiom ∀x x . 1 = x                            #identity

axiom ∀x∀y∀z (x + y) + z = x + (y + z)       #associativity

axiom ∀x∀y∀z (x . y) . z = x . (y . z)       #associativity

axiom ∀x∃y x + y = 0                            #inverse

axiom ∀x ((¬(x=0)) ⟶ ∃y (x . y = 1))              #inverse

axiom ∀x∀y x+y = y+x                            #commutative

axiom ∀x∀y x.y = y.x                            #commutative

axiom ∀x∀y∀z x.(y+z) = (x.y)+(x.z)              #distributive

Models
model 2_1
 +
  0 1
  1 0
 .
  0 0
  0 1
model 3_1
 +
  0 1 2
  1 2 0
  2 0 1
 .
  0 0 0
  0 1 2
  0 2 1

      



home about


Public domain. This website is still under construction.