10 found
Order:
  1.  13
    Distal and Non-Distal Pairs.Philipp Hieronymi & Travis Nell - 2017 - Journal of Symbolic Logic 82 (1):375-383.
    The aim of this note is to determine whether certain non-o-minimal expansions of o-minimal theories which are known to be NIP, are also distal. We observe that while tame pairs of o-minimal structures and the real field with a discrete multiplicative subgroup have distal theories, dense pairs of o-minimal structures and related examples do not.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  2.  16
    Dependent Pairs.Ayhan Günaydin & Philipp Hieronymi - 2011 - Journal of Symbolic Logic 76 (2):377 - 390.
    We prove that certain pairs of ordered structures are dependent. Among these structures are dense and tame pairs of o-minimal structures and further the real field with a multiplicative subgroup with the Mann property, regardless of whether it is dense or discrete.
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  3.  17
    Expansions of the Ordered Additive Group of Real Numbers by Two Discrete Subgroups.Philipp Hieronymi - 2016 - Journal of Symbolic Logic 81 (3):1007-1027.
  4.  12
    Wild Theories with o-Minimal Open Core.Philipp Hieronymi, Travis Nell & Erik Walsberg - 2018 - Annals of Pure and Applied Logic 169 (2):146-163.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  5. Pathological Examples of Structures with o‐Minimal Open Core.Alexi Block Gorman, Erin Caulfield & Philipp Hieronymi - forthcoming - Mathematical Logic Quarterly.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  6.  11
    When is Scalar Multiplication Decidable?Philipp Hieronymi - 2019 - Annals of Pure and Applied Logic 170 (10):1162-1175.
  7.  15
    Ostrowski Numeration Systems, Addition, and Finite Automata.Philipp Hieronymi & Alonza Terry Jr - 2018 - Notre Dame Journal of Formal Logic 59 (2):215-232.
    We present an elementary three-pass algorithm for computing addition in Ostrowski numeration systems. When a is quadratic, addition in the Ostrowski numeration system based on a is recognizable by a finite automaton. We deduce that a subset of X⊆Nn is definable in, where Va is the function that maps a natural number x to the smallest denominator of a convergent of a that appears in the Ostrowski representation based on a of x with a nonzero coefficient if and only if (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  8.  3
    The Choice Property in Tame Expansions of o‐Minimal Structures.Pantelis E. Eleftheriou, Ayhan Günaydın & Philipp Hieronymi - 2020 - Mathematical Logic Quarterly 66 (2):239-246.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  9.  7
    A Fundamental Dichotomy for Definably Complete Expansions of Ordered Fields.Antongiulio Fornasiero & Philipp Hieronymi - 2015 - Journal of Symbolic Logic 80 (4):1091-1115.
  10.  8
    An Analogue of the Baire Category Theorem.Philipp Hieronymi - 2013 - Journal of Symbolic Logic 78 (1):207-213.
    Every definably complete expansion of an ordered field satisfies an analogue of the Baire Category Theorem.
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark