Pisemka Gregor 3.11.2011
Napsal: 12. 11. 2011 11:28
1) Uvedte definici isomorfismu struktur a , kde je n-arni funkcni symbol a je n-arni relacni symbol.
2) Uvazme jazyk s rovnosti, kde jsou konstantni symboly. Kolik ma neisomorfnich spocetnych modelu? (, isomorfismus jednoznacne urcen ekvivalenci , neb nas zajima jen, ktera konstanta se rovna ktere, a to urcuje prave treti Bellovo cislo)
3) Necht je komutativni grupa. Je kazda jeji podstruktura take komutativni grupou? (Ano. - Teorie komutativnich grup je otevrena, tj. ma same nekvantifikovane formule. Kazda podstruktura kazdeho modelu kazde otevrene formule je opet modelem teto teorie.)
2) Uvazme jazyk s rovnosti, kde jsou konstantni symboly. Kolik ma neisomorfnich spocetnych modelu? (, isomorfismus jednoznacne urcen ekvivalenci , neb nas zajima jen, ktera konstanta se rovna ktere, a to urcuje prave treti Bellovo cislo)
3) Necht je komutativni grupa. Je kazda jeji podstruktura take komutativni grupou? (Ano. - Teorie komutativnich grup je otevrena, tj. ma same nekvantifikovane formule. Kazda podstruktura kazdeho modelu kazde otevrene formule je opet modelem teto teorie.)