Sylabus
Přednáška z teorie rekurze, která pokrývá základní typy forcingu a základní typy konstrukcí v teorii rekurze.
- Základy aritmetického forcingu, 1-generické a n-generické množiny
- Vlastnosti 1-generických množin
- Aritmetická hierarchie tříd množin
- Třídy nekonečných větví rekurzivních stromů
- Věta o nízké bázi
- Diagonálně nerekurzivní funkce
- Stupně kompletních rozšíření Peanovy aritmetiky
- Prioritní metody konstrukcí rekurzivně spočetných množin
Anotace
Pokročilejší partie teorie rekurze. Aritmetická hierarchie tříd množin.
Diagonálně nerekurzivní funkce. Aritmetický forcing.
Konstrukce rekurzivně spočetných množin, prioritní metody.