Expresable | Un conjunto A es expresable por una fórmula α si α tiene una única variable libre y se cumple:
a∈A ⇔ I⊧α[v_x=a]
A={a∈U/α(a)} |
Distinguible | Un elemento u∈Ui es distinguible si {u} es expresable |
Modelo | Una interpretación I es un modelo de un conjunto Γ∈Form(L) si I⊧α ∀α∈Γ |
Isomorfismo | Sean I1 e I2 dos interpretaciones con universos Ui1 y Ui2
F:Ui1->Ui2 función de dice isomorfismo si cumple:
1) F es biyectiva
2) F(ci1)=ci2
3) F(fi1k(t1,...,tk))=fi2k(F(t1),...,F(tk))
4) (t1,...,tk)∈Pi1k ⇔ (F(t1),...,F(tk))∈Pi2k |