Matematické Fórum
Nevíte-li si rady s jakýmkoliv matematickým problémem, toto místo je pro vás jako dělané.
Nástěnka
❗22. 8. 2021 (L) Přecházíme zpět na doménu forum.matweb.cz!
❗04.11.2016 (Jel.) Čtete, prosím, před vložení dotazu, děkuji!
❗23.10.2013 (Jel.) Zkuste před zadáním dotazu použít některý z online-nástrojů, konzultovat použití můžete v sekci CAS.
Nejste přihlášen(a). Přihlásit
#1 01. 02. 2015 18:11
- martinerk0
- Zelenáč
- Příspěvky: 2
- Škola: MFF UK
- Pozice: student
- Reputace: 0
Predikatova Logika
Zdravim, neviem ako na nasledujuci priklad, mohol by mi niekto osvetlit riesienie?:
ω-kategoricka znamena ze ma az na izomorfizmus prave jeden model kardinality ω.
Nechť T = {φ} je teorie jazyka L = ⟨U⟩ s rovností, kde U je unární relační symbol a axiom φ vyjadřuje “U(x) platíı pro právě 42 prvku.”
Q: Je teorie T ω-kategorická? Uveďte zduvodněníı.
Offline