Ehud Hrushovski

Publication Activity (10 Years)

Years Active: 1989-2023
Publications (10 Years): 6

Top Topics

Projective Invariants

Imperative Programs

Top Venues

Notre Dame J. Formal Log.

Publications

Michael Benedikt, Ehud Hrushovski
Embedded Finite Models beyond Restricted Quantifier Collapse. LICS (2023)
Ehud Hrushovski, Joël Ouaknine, Amaury Pouly, James Worrell
On Strongest Algebraic Program Invariants. J. ACM 70 (5) (2023)
Michael Benedikt, Ehud Hrushovski
Embedded Finite Models beyond Restricted Quantifier Collapse. CoRR (2023)
Artem Chernikov, Ehud Hrushovski, Alex Kruckman, Krzysztof Krupinski, Slavko Moconja, Anand Pillay, Nicholas Ramsey
Invariant measures in simple and in small theories. J. Math. Log. 23 (2) (2023)
Ehud Hrushovski, Joël Ouaknine, Amaury Pouly, James Worrell
Polynomial Invariants for Affine Programs. CoRR (2018)
Ehud Hrushovski, Joël Ouaknine, Amaury Pouly, James Worrell
Polynomial Invariants for Affine Programs. LICS (2018)
Deirdre Haskell, Ehud Hrushovski, Dugald Macpherson
Unexpected imaginaries in valued fields with analytic structure. J. Symb. Log. 78 (2) (2013)
Ehud Hrushovski
On Pseudo-Finite Dimensions. Notre Dame J. Formal Log. 54 (3-4) (2013)
Ehud Hrushovski, Anand Pillay, Pierre Simon
A Note on Generically Stable Measures and fsg Groups. Notre Dame J. Formal Log. 53 (4) (2012)
Özlem Beyarslan, Ehud Hrushovski
On algebraic closure in pseudofinite fields. J. Symb. Log. 77 (4) (2012)
Ehud Hrushovski, James Loveys
Strongly and co-strongly minimal abelian structures. J. Symb. Log. 75 (2) (2010)
Ehud Hrushovski, Ya'acov Peterzil
A question of van den Dries and a theorem of Lipshitz and Robinson; not everything is standard. J. Symb. Log. 72 (1) (2007)
Assaf Hasson, Ehud Hrushovski
DMP in strongly minimal sets. J. Symb. Log. 72 (3) (2007)
Ehud Hrushovski, A. Tatarsky
Stable embeddedness in algebraically closed valued fields. J. Symb. Log. 71 (3) (2006)
Elisabeth Bouscaren, Ehud Hrushovski
Classifiable theories without finitary invariants. Ann. Pure Appl. Log. 142 (1-3) (2006)
Gregory L. Cherlin, Marko Djordjevic, Ehud Hrushovski
A note on orthogonality and stable embeddedness. J. Symb. Log. 70 (4) (2005)
Bradd Hart, Ehud Hrushovski, Michael C. Laskowski
Unique Decomposition in Classifiable Theories. J. Symb. Log. 67 (1) (2002)
Olivier Chapuis, Ehud Hrushovski, Pascal Koiran, Bruno Poizat
La Limite des Theories de Courbes Generiques. J. Symb. Log. 67 (1) (2002)
Ehud Hrushovski
The Manin-Mumford conjecture and the model theory of difference fields. Ann. Pure Appl. Log. 112 (1) (2001)
Ehud Hrushovski, Thomas Scanlon
Lascar and Morley Ranks Differ in Differentially Closed Fields. J. Symb. Log. 64 (3) (1999)
Ehud Hrushovski
Categorical Theories. J. Symb. Log. 59 (3) (1994)
Elisabeth Bouscaren, Ehud Hrushovski
On One-Based Theories. J. Symb. Log. 59 (2) (1994)
Ehud Hrushovski
A New Strongly Minimal Set. Ann. Pure Appl. Log. 62 (2) (1993)
David M. Evans, Ehud Hrushovski
On the Automorphism Groups of Finite Covers. Ann. Pure Appl. Log. 62 (2) (1993)
Ehud Hrushovski
Extending partial isomorphisms of graphs. Comb. 12 (4) (1992)
Ehud Hrushovski
Undimensional Theories are Superstable. Ann. Pure Appl. Log. 50 (2) (1990)
Ehud Hrushovski, Saharon Shelah
A Dichotomy Theorem for Regular Types. Ann. Pure Appl. Log. 45 (2) (1989)
Ehud Hrushovski
Almost Orthogonal Regular Types. Ann. Pure Appl. Log. 45 (2) (1989)
Ehud Hrushovski
Kueker's Conjecture for Stable Theories. J. Symb. Log. 54 (1) (1989)
Ehud Hrushovski
Finitely Based Theories. J. Symb. Log. 54 (1) (1989)
Elisabeth Bouscaren, Ehud Hrushovski
Classification Theory, n-Tuples of Models and Finite Determinacy. Easter Conference on Model Theory (1989)