kategoričnost

Logika, vlastnost formalizovaných teorií, nějaká teorie je kategorická, jsou-li každé dva její modely izomorfní. Tento postulát mohou splňovat jen teorie s konečnými modely. Pro teorie s nekonečnými modely se postuluje slabší podmínka: kategoričnost v mohutnosti relativizovaná k určitému kardinálnímu číslu.

Datum vytvoření: 14. 3. 2000
Datum aktualizace: 2. 11. 2006
Autor: -red-

Reklama: