Charles Explorer logo
🇬🇧

Introduction to Model Theory

Class at Faculty of Arts |
ALG110013

This text is not available in the current language. Showing version "cs".Annotation

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.