Switch to: Citations

Add references

You must login to add references.
  1. 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   7 citations  
  • Dimensions, matroids, and dense pairs of first-order structures.Antongiulio Fornasiero - 2011 - Annals of Pure and Applied Logic 162 (7):514-543.
    A structure M is pregeometric if the algebraic closure is a pregeometry in all structures elementarily equivalent to M. We define a generalisation: structures with an existential matroid. The main examples are superstable groups of Lascar U-rank a power of ω and d-minimal expansion of fields. Ultraproducts of pregeometric structures expanding an integral domain, while not pregeometric in general, do have a unique existential matroid. Generalising previous results by van den Dries, we define dense elementary pairs of structures expanding an (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   8 citations