Essays about: "abstrakt modellteori"

Found 1 essay containing the words abstrakt modellteori.

  1. 1. Abstract Logics and Lindström's Theorem

    University essay from Uppsala universitet/Algebra, logik och representationsteori

    Author : Niclas Bengtsson; [2023]
    Keywords : model theory; abstract model theory; logic; mathematical logic; abstract logic; Lindström s Theorem; infinitary logics; strength of logics; cardinality quantifiers; modellteori; abstrakt modellteori; logik; matematisk logik; abstrakt logik; Lindströms sats;

    Abstract : A definition of abstract logic is presented. This is used to explore and compare some abstract logics, such as logics with generalised quantifiers and infinitary logics, and their properties. Special focus is given to the properties of completeness, compactness, and the Löwenheim-Skolem property. READ MORE