Metadata
Author: ParaCrawl Corpus
Data
English[en]
The starting point is the Goldblatt-Thomason Theorem, which states that an elementary class of frames is modally definable if and only if it is closed under generated submodels, disjoint unions and bounded morphic images and reflects ultrafilter extensions.
Finnish[fi]
Lähtökohtana on Goldblatt-Thomasonin lause, jonka mukaan elementaarinen kehysluokka on modaalisesti määriteltävissä täsmälleen silloin, kun se on suljettu generoitujen alimallien, erillisten yhdisteiden ja p-morfisten kuvien suhteen sekä heijastaa ultrafiltterilaajennuksia.