Pisemka Gregor 24.11.2011
Napsal: 25. 11. 2011 21:54
1) Definujte pojem elementarni ekvivalence. Dalsi pouzite pojmy rovnez vysvetlete. (Stejny jazyk a ve struktururach jsou platne stejne formule)
2) Necht, B = [2,\infty))
jsou polouzavrene intervaly realnych cisel, 
, 
, kde 
jsou restrikce bezneho plus na prislusna universa. Uvedte (a zduvodnete) platna tvrzeni:
a)
(ano, universum jednoho je proste podmnozina druheho)
b)
(ne, formule (x+x=x))
je platna v 
, ne vsak v 
)
3) Je v
definovatelna bez parametru mnozina 
pro libovolne 
? (ne, napr. pro automorfismus 
neplati  = \{a\})
, neb  = \{a+1\}
eq \{a\})
)
2) Necht
a)
b)
3) Je v