5 found
Order:
  1.  12
    The definable -theorem for distal theories.Gareth Boxall & Charlotte Kestner - 2018 - Journal of Symbolic Logic 83 (1):123-127.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  2.  18
    Remarks on unimodularity.Charlotte Kestner & Anand Pillay - 2011 - Journal of Symbolic Logic 76 (4):1453-1458.
    We clarify and correct some statements and results in the literature concerning unimodularity in the sense of Hrushovski [7], and measurability in the sense of Macpherson and Steinhorn [8], pointing out in particular that the two notions coincide for strongly minimal structures and that another property from [7] is strictly weaker, as well as "completing" Elwes' proof [5] that measurability implies 1-basedness for stable theories.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  3.  9
    Theories with Distal Shelah Expansions.Gareth Boxall & Charlotte Kestner - 2023 - Journal of Symbolic Logic 88 (4):1323-1333.
    We show that a complete first-order theory T is distal provided it has a model M such that the theory of the Shelah expansion of M is distal.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  4.  15
    Measurability in modules.Charlotte Kestner - 2014 - Archive for Mathematical Logic 53 (5-6):593-620.
    In this paper we prove that in modules, MS-measurability depends on being able to define a measure function on the p.p. definable subgroups. We give a classification of abelian groups in terms of measurability. Finally we discuss the relation with Q[t]\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathbb{Q}[t]}$$\end{document} -valued measures.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  5.  23
    Weak One-Basedness.Gareth Boxall, David Bradley-Williams, Charlotte Kestner, Alexandra Omar Aziz & Davide Penazzi - 2013 - Notre Dame Journal of Formal Logic 54 (3-4):435-448.
    We study the notion of weak one-basedness introduced in recent work of Berenstein and Vassiliev. Our main results are that this notion characterizes linearity in the setting of geometric þ-rank 1structures and that lovely pairs of weakly one-based geometric þ-rank 1 structures are weakly one-based with respect to þ-independence. We also study geometries arising from infinite-dimensional vector spaces over division rings.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark