Search for dissertations about: "Vera Koponen"

Found 2 swedish dissertations containing the words Vera Koponen.

  2. 1. Limit Laws, Homogenizable Structures and Their Connections

    Author : Ove Ahlman; Vera Koponen; Dugald Macpherson; Uppsala universitet; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; Model theory; random structure; finite model theory; simple theory; homogeneous structure; countably categorical; 0-1 law; Mathematical Logic; Matematisk logik; Mathematics; Matematik;

    Abstract : This thesis is in the field of mathematical logic and especially model theory. The thesis contain six papers where the common theme is the Rado graph R. Some of the interesting abstract properties of R are that it is simple, homogeneous (and thus countably categorical), has SU-rank 1 and trivial dependence. READ MORE

  4. 2. To infinity and back : Logical limit laws and almost sure theories

    Author : Ove Ahlman; Vera Koponen; Kerkko Luosto; Uppsala universitet; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; finite model theory; almost sure theories; rigid structures; limit laws; Mathematical Logic; Matematisk logik;

    Abstract : .... READ MORE