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 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 je platna v , ne vsak v )
3) Je v definovatelna bez parametru mnozina pro libovolne ? (ne, napr. pro automorfismus neplati , neb )
2) Necht 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 je platna v , ne vsak v )
3) Je v definovatelna bez parametru mnozina pro libovolne ? (ne, napr. pro automorfismus neplati , neb )