24 found
Sort by:
  1. Deirdre Haskell, Ehud Hrushovski & Dugald Macpherson (2013). Unexpected Imaginaries in Valued Fields with Analytic Structure. Journal of Symbolic Logic 78 (2):523-542.
    We give an example of an imaginary defined in certain valued fields with analytic structure which cannot be coded in the ‘geometric' sorts which suffice to code all imaginaries in the corresponding algebraic setting.
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  2. Ehud Hrushovski (2013). On Pseudo-Finite Dimensions. Notre Dame Journal of Formal Logic 54 (3-4):463-495.
    We attempt to formulate issues around modularity and Zilber’s trichotomy in a setting that intersects additive combinatorics. In particular, we update the open problems on quasi-finite structures from [9].
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  3. Özlem Beyarslan & Ehud Hrushovski (2012). On Algebraic Closure in Pseudofinite Fields. Journal of Symbolic Logic 77 (4):1057-1066.
    We study the automorphism group of the algebraic closure of a substructure A of a pseudofinite field F. We show that the behavior of this group, even when A is large, depends essentially on the roots of unity in F. For almost all completions of the theory of pseudofinite fields, we show that over A, algebraic closure agrees with definable closure, as soon as A contains the relative algebraic closure of the prime field.
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  4. Ehud Hrushovski, Anand Pillay & Pierre Simon (2012). A Note on Generically Stable Measures and Fsg Groups. Notre Dame Journal of Formal Logic 53 (4):599-605.
    We prove (Proposition 2.1) that if $\mu$ is a generically stable measure in an NIP (no independence property) theory, and $\mu(\phi(x,b))=0$ for all $b$ , then for some $n$ , $\mu^{(n)}(\exists y(\phi(x_{1},y)\wedge \cdots \wedge\phi(x_{n},y)))=0$ . As a consequence we show (Proposition 3.2) that if $G$ is a definable group with fsg (finitely satisfiable generics) in an NIP theory, and $X$ is a definable subset of $G$ , then $X$ is generic if and only if every translate of $X$ does not (...)
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  5. Ehud Hrushovski & James Loveys (2010). Strongly and Co-Strongly Minimal Abelian Structures. Journal of Symbolic Logic 75 (2):442-458.
    We give several characterizations of weakly minimal abelian structures. In two special cases, dual in a sense to be made explicit below, we give precise structure theorems: 1. When the only finite 0-definable subgroup is {0}, or equivalently 0 is the only algebraic element (the co-strongly minimal case); 2. When the theory of the structure is strongly minimal. In the first case, we identify the abelian structure as a "near-subspace" A of a vector space V over a division ring D (...)
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  6. Rodney Downey, Ieke Moerdijk, Boban Velickovic, Samson Abramsky, Marat Arslanov, Harvey Friedman, Martin Goldstern, Ehud Hrushovski, Jochen Koenigsmann & Andy Lewis (2007). Nijmegen, The Netherlands July 27–August 2, 2006. Bulletin of Symbolic Logic 13 (2).
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  7. Assaf Hasson & Ehud Hrushovski (2007). DMP in Strongly Minimal Sets. Journal of Symbolic Logic 72 (3):1019 - 1030.
    We construct a strongly minimal set which is not a finite cover of one with DMP. We also show that for a strongly minimal theory T, generic automorphisms exist iff T has DMP, thus proving a conjecture of Kikyo and Pillay.
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  8. Ehud Hrushovski & Ya'acov Peterzil (2007). A Question of Van Den Dries and a Theorem of Lipshitz and Robinson; Not Everything Is Standard. Journal of Symbolic Logic 72 (1):119 - 122.
    We use a new construction of an o-minimal structure, due to Lipshitz and Robinson, to answer a question of van den Dries regarding the relationship between arbitrary o-minimal expansions of real closed fields and structures over the real numbers. We write a first order sentence which is true in the Lipshitz-Robinson structure but fails in any possible interpretation over the field of real numbers.
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  9. Elisabeth Bouscaren & Ehud Hrushovski (2006). Classifiable Theories Without Finitary Invariants. Annals of Pure and Applied Logic 142 (1):296-320.
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  10. Gregory Cherlin, Marko Djordjevic & Ehud Hrushovski (2005). A Note on Orthogonality and Stable Embeddedness. Journal of Symbolic Logic 70 (4):1359 - 1364.
    Orthogonality between two stably embedded definable sets is preserved under the addition of constants.
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  11. Ehud Hrushovski & Itamar Pitowsky (2004). Generalizations of Kochen and Specker's Theorem and the Effectiveness of Gleason's Theorem. Studies in History and Philosophy of Science Part B 35 (2):177-194.
    Kochen and Specker's theorem can be seen as a consequence of Gleason's theorem and logical compactness. Similar compactness arguments lead to stronger results about finite sets of rays in Hilbert space, which we also prove by a direct construction. Finally, we demonstrate that Gleason's theorem itself has a constructive proof, based on a generic, finite, effectively generated set of rays, on which every quantum state can be approximated.
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  12. Olivier Chapuis, Ehud Hrushovski, Pascal Koiran & Bruno Poizat (2002). La Limite Des Theories de Courbes Generiques. Journal of Symbolic Logic 67 (1):24-34.
    Ne estas prima orda formulo, kiu definas la Zariskijajn slositojn inter la konstruitoj, malpli ke la konektojn inter la slositoj.
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  13. Bradd Hart, Ehud Hrushovski & Michael C. Laskowski (2002). Unique Decomposition in Classifiable Theories. Journal of Symbolic Logic 67 (1):61-68.
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  14. Ehud Hrushovski (2001). The Manin–Mumford Conjecture and the Model Theory of Difference Fields. Annals of Pure and Applied Logic 112 (1):43-115.
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  15. Ehud Hrushovski & Thomas Scanlon (1999). Lascar and Morley Ranks Differ in Differentially Closed Fields. Journal of Symbolic Logic 64 (3):1280-1284.
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  16. Ehud Hrushovski (1994). Finitely Axiomatizable ℵ1 Categorical Theories. Journal of Symbolic Logic 59 (3):838 - 844.
    Finitely axiomatizable ℵ 1 categorical theories are locally modular.
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  17. David M. Evans & Ehud Hrushovski (1993). On the Automorphism Groups of Finite Covers. Annals of Pure and Applied Logic 62 (2):83-112.
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  18. Ehud Hrushovski (1993). A New Strongly Minimal Set. Annals of Pure and Applied Logic 62 (2):147-166.
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  19. Ehud Hrushovski (1993). [Omnibus Review]. Journal of Symbolic Logic 58 (2):710-713.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  20. Ehud Hrushovski (1990). Unidimensional Theories Are Superstable. Annals of Pure and Applied Logic 50 (2):117-137.
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  21. Ehud Hrushovski (1989). Almost Orthogonal Regular Types. Annals of Pure and Applied Logic 45 (2):139-155.
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  22. Ehud Hrushovski (1989). Finitely Based Theories. Journal of Symbolic Logic 54 (1):221-225.
    A stable theory is finitely based if every set of indiscernibles is based on a finite subset. This is a common generalization of superstability and 1-basedness. We show that if such theories have more than one model they must have infinitely many, and prove some other conjectures.
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  23. Ehud Hrushovski (1989). Kueker's Conjecture for Stable Theories. Journal of Symbolic Logic 54 (1):207-220.
    Kueker's conjecture is proved for stable theories, for theories that interpret a linear ordering, and for theories with Skolem functions. The proof of the stable case involves certain results on coordinatization that are of independent interest.
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  24. Ehud Hrushovski & Saharon Shelah (1989). A Dichotomy Theorem for Regular Types. Annals of Pure and Applied Logic 45 (2):157-169.
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation