Fórum studentů MFF UK

No ja si tuto vetu pamatuju z nejake stranky z textu -teorie a jejich aplikace- (aspon mam ten dojem). Ta veta je na te strance se Skolemovou variantou (tj. str. 42) a je to konkretne tvrzeni 3.1.52. 3)

Ahoj,
byl jsem na teto zkousce, mel jsem otazku:
Mejme jazyk a teorii pro kde .
a) Jake ma teorie izomorfni spektrum?
b) Vyjmenujte vsechny jednoduche kompletni extenze teorie .
c) Je rozhodnutelna?

Ahoj, dneska na zkousce jsem mel otazku: Predikatova logika. Predpokladame jazyk s rovnosti. Urcete, zda-li jsou uvedene teorie ekvivalentni nejake otevrene teorii: a) DiLO b) teorie grup <+,-,0> c) teorie následníka SC d) T=\{\exists x,y R(x,y)\} , kde R je binarni relacni symbol. Vyuzil jsem vetu:...