Seminář z forsingu - NLTM004

• Anglický název: Seminar on Forcing
• Zajišťuje: Katedra teoretické informatiky a matematické logiky (32-KTIML)
• Fakulta: Matematicko-fyzikální fakulta
• Platnost: od 2016
• Semestr: letní
• E-Kredity: 3
• Rozsah, examinace: letní s.:0/2, Z [HT]
• Počet míst: neomezen
• Minimální obsazenost: neomezen
• 4EU+: ne
• Virtuální mobilita / počet míst pro virtuální mobilitu: ne
• Stav předmětu: zrušen
• Jazyk výuky: čeština
• Způsob výuky: prezenční
• Třída: DS, algebra, teorie čísel a matematická logika; Mat. logika a teorie množin
• Kategorizace předmětu: Informatika > Teoretická informatika
• Je neslučitelnost pro: NMAG576
• Je záměnnost pro: NMAG576

Anotace

čeština

Seminář navazující na přednášku LTM003. Tematem jsou převážně pokročilé partie z teorie množin: nekonečná kombinatorika, kardinální charakteristiky systémů podmnožin přirozených čísel, Booleovy algebry, generická rozšíření tranzitivních modelů teorie množin, velké kardinály. Na semináři se sleduje vývoj v oboru, své výsledky referují i zahraniční hosté.

Poslední úprava: ()

angličtina

Seminar extending a lecture LTM003. It is focused on more advanced topics of set theory: infinite combinatorics, cardinal characteristics concerning real line, partial ordering and Boolean algebras, generic extensions of models of set theory, large cardinals.

Poslední úprava: G_I (05.11.2001)

Cíl předmětu

Sledovat vývoj oboru, referovat články z pokročilé teorie množin

Poslední úprava: T_KTI (26.05.2008)

Sylabus

čeština

Seminář navazující na přednášku LTM003. Tematem jsou převážně pokročilé

partie z teorie množin: nekonečná kombinatorika, kardinální

charakteristiky systémů podmnožin přirozených čísel, Booleovy algebry,

generická rozšíření tranzitivních modelů teorie množin, velké kardinály.

Na semináři se sleduje vývoj v oboru, své výsledky referují i zahraniční

hosté.

Poslední úprava: G_I (07.03.2005)

angličtina

Seminar extending a lecture LTM003. It is focused on more advanced

topics of set theory: infinite combinatorics, cardinal characteristics

concerning real line, partial ordering and Boolean algebras, generic

extensions of models of set theory, large cardinals.

Poslední úprava: G_I (07.03.2005)