Charles Explorer logo
🇨🇿

Úvod do teorie modelů

Předmět na Filozofická fakulta |
ALG110013

Anotace

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.