PředmětyPředměty(verze: 797)
Předmět, akademický rok 2016/2017
   Přihlásit přes CAS
Úvod do teorie modelů - ALG110013
Anglický název: Introduction to Model Theory
Zajišťuje: Katedra logiky (21-KLOG)
Fakulta: Filozofická fakulta
Platnost: od 2013
Semestr: letní
Body: 0
E-Kredity: 5
Způsob provedení zkoušky: letní s.:
Rozsah, examinace: letní s.:2/0 Zk [hodiny/týden]
Počet míst: neomezen / neurčen (neurčen)
Minimální obsazenost: neomezen
Stav předmětu: vyučován
Jazyk výuky: čeština
Způsob výuky: prezenční
Úroveň:  
Garant: Mgr. Radek Honzík, Ph.D.
Vyučující: Mgr. Radek Honzík, Ph.D.
Rozvrh   Nástěnka   
Anotace
Poslední úprava: Mgr. Radek Honzík, Ph.D. (30.09.2009)

Pojem prvořádové struktury. Morfismy, izomorfismy a elementární vnoření struktur. Podstruktury a elementární podstruktury. Löwenheim-Skolemovy věty. Faktorové struktury. Ultraprodukt a ultramocnina. Kompaktnost. Elementární řetězce a direktní limity.
 
Univerzita Karlova | Informační systém UK