14 found
Order:
  1.  12
    Homogeneous 1‐Based Structures and Interpretability in Random Structures.Vera Koponen - 2017 - Mathematical Logic Quarterly 63 (1-2):6-18.
    No categories
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  2.  3
    Asymptotic Probabilities of Extension Properties and Random L -Colourable Structures.Vera Koponen - 2012 - Annals of Pure and Applied Logic 163 (4):391-438.
  3.  15
    Binary Primitive Homogeneous Simple Structures.Vera Koponen - 2017 - Journal of Symbolic Logic 82 (1):183-207.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  4.  5
    Random ℓ-Colourable Structures with a Pregeometry.Ove Ahlman & Vera Koponen - 2017 - Mathematical Logic Quarterly 63 (1-2):32-58.
    No categories
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  5.  81
    Entropy of Formulas.Vera Koponen - 2009 - Archive for Mathematical Logic 48 (6):515-522.
    A probability distribution can be given to the set of isomorphism classes of models with universe {1, ..., n} of a sentence in first-order logic. We study the entropy of this distribution and derive a result from the 0–1 law for first-order sentences.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  6.  7
    Independence and the Finite Submodel Property.Vera Koponen - 2009 - Annals of Pure and Applied Logic 158 (1-2):58-79.
    We study a class of 0-categorical simple structures such that every M in has uncomplicated forking behavior and such that definable relations in M which do not cause forking are independent in a sense that is made precise; we call structures in independent. The SU-rank of such M may be n for any natural number n>0. The most well-known unstable member of is the random graph, which has SU-rank one. The main result is that for every strongly independent structure M (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  7.  13
    On Constraints and Dividing in Ternary Homogeneous Structures.Vera Koponen - 2018 - Journal of Symbolic Logic 83 (4):1691-1721.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  8.  6
    Supersimple Ω-Categorical Theories and Pregeometries.Vera Koponen - 2019 - Annals of Pure and Applied Logic 170 (12):102718.
  9.  31
    On Compactness of Logics That Can Express Properties of Symmetry or Connectivity.Vera Koponen & Tapani Hyttinen - 2015 - Studia Logica 103 (1):1-20.
    A condition, in two variants, is given such that if a property P satisfies this condition, then every logic which is at least as strong as first-order logic and can express P fails to have the compactness property. The result is used to prove that for a number of natural properties P speaking about automorphism groups or connectivity, every logic which is at least as strong as first-order logic and can express P fails to have the compactness property. The basic (...)
    Direct download (10 more)  
     
    Export citation  
     
    Bookmark  
  10.  25
    Typical Automorphism Groups of Finite Nonrigid Structures.Vera Koponen - 2015 - Archive for Mathematical Logic 54 (5-6):571-586.
    We work with a finite relational vocabulary with at least one relation symbol with arity at least 2. Fix any integer m > 1. For almost all finite structures such that at least m elements are moved by some automorphisms, the automorphism group is i\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${^{i}}$$\end{document} for some i≤/2\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${i \leq /2}$$\end{document}; and if some relation symbol has arity at least 3, then the automorphism (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark  
  11.  7
    Binary Simple Homogeneous Structures.Vera Koponen - 2018 - Annals of Pure and Applied Logic 169 (12):1335-1368.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  12.  5
    Gregory Cherlin and Ehud Hrushovski. Finite Structures with Few Types. Annals of Mathematics Studies. Princeton University Press, 2003, Vi+ 196pp. [REVIEW]Vera Koponen - 2008 - Bulletin of Symbolic Logic 14 (1):114-116.
  13.  2
    A Limit Law of Almost $L$-Partite Graphs.Vera Koponen - 2013 - Journal of Symbolic Logic 78 (3):911-936.
  14. REVIEWS-Finite Structures with Few Types.G. Cherlin, E. Hrushovski & Vera Koponen - 2008 - Bulletin of Symbolic Logic 14 (1).