Curriculum Vitae Ziv Shami

Size: px

Start display at page:

Download "Curriculum Vitae Ziv Shami"

MargaretMargaret Anderson
5 years ago
Views:

1 Curriculum Vitae Ziv Shami Address: Dept. of Mathematics and Computer Science Ariel University Samaria, Ariel Israel. Phone: Army Service: November 1984 to June Education: Ph.D. in Mathematics, Hebrew University, Jerusalem, August Thesis: Low Simple Theories. Advisor: Professor Saharon Shelah. B.Sc. in Mathematics, Tel Aviv University, Israel, July Professional Experience: Lecturer, Ariel University Center of Samaria, Israel, October Current. Adjunct Lecturer, Mathematics Unit, Sami Shamoon College of Engineering, Israel, November September Researcher, Department of Mathematics, Hebrew University, Israel, February June Senior Researcher, The Mathematical Research Institute, Tel Aviv University, Israel, December April Visiting Assistant Professor, University of Illinois at Urbana Champaign, Urbana, USA, January August Post Doctoral Fellow, McMaster University, Hamilton, Canada and Visiting Member at the Fields Institute, Toronto, Canada, September December Visiting Assistant Professor, University of Notre Dame, Notre Dame IN, August May Ph.D. Student and Teaching Assistant, Hebrew University, Israel,

2 Research Areas: Model theory, the branch of mathematical logic. Specifically, geometric stability and simplicity theory with applications to algebra and number theory. Main research subjects: The independence theorem over algebraically closed sets, elimination of hyperimaginaries, representation of canonical bases, stability in simple theories, describing the interaction between a type and an invariant set to which it is non-foreign, e.g. in terms of infinitely definable automorphism groups, classification of regular types, Kueker s conjecture for simple theories, unidimensional simple theories. Talks: 1) 1997, Simple theories; Israel mathematical union annual conference, invited talk, Bar Elan University, Israel. 2) June 1998, Lascar strong types in low simple theories; Model Theory of Fields, contributed talk, conference at MSRI, Berkeley, California, USA. 3) November 1998, Rigid aleph epsilon saturated models for superstable theories; meeting of Midwest Model Theory Seminar, invited talk, University of Notre Dame, Notre Dame, USA. 4) 1999, Canonical bases in simple theories; Logic seminar, invited talk, MIT, Boston, USA. 5) May 2000, Groups interpretable in simple theories; Midatlantic Logic Symposium, invited talk, University of Maryland at College Park, Maryland, USA. 6) July 2000, Groups interpretable in simple theories; Logic Colloquium-ASL European Summer meeting, contributed talk, La Sorbonne, Paris, France. 7) October 2000, On the direct-limit-definability of the binding group in simple theories; Workshop in simple theories, invited talk, The Fields Institute, Toronto, Canada. 8) April 2001, Geometric model theory and its applications to number theory; Number theory seminar, University of Toronto, invited talk, Canada. 9) May 2001, Towards a binding group theorem for simple theories; Greater Boston Logic Conference, contributed talk, MIT, Boston, USA. 10) June 2001, Towards a binding group theorem for simple theories; CMS meeting, invited talk, University of Saskatchewan, Saskatoon, Canada. 11) October 2001, The binding group and unidimensionality in simple theories; Logic seminar, MIT, Boston, USA. 12) June 2002, Coordinatization by binding groups in simple theories; Logic seminar, Hebrew University, Jerusalem, Israel. 13) July 2002, Coordinatization by binding groups in simple theories, Workshop on simple theories, invited talk, Centre International de Rencontres Mathmatiques Luminy, Marseilles, France. 14) June 2003, On Kueker simple theories and small unidimensional simple theories, ASL meeting - special session in model theory, invited talk, University of Illinois at Chicago, Chicago, Illinois, USA.

3 Talks- Continued: 15) July 2005, Unidimensionality and the forking topology, Workshop on Pure model theory, invited talk, University of East Anglia, Norwich, England. 16) July 2007, Countable imaginary simple unidimensional theories, Logic Colloquium 2007, invited talk to special session in model theory, Wroclaw, Poland. 17) November 2008, Supersimplicity of countable imaginary simple unidimensional theories, Logic seminar, Hebrew University, Jerusalem. 18) February 2009, Invited speaker to the workshop Stability Theoretic Methods in Unstable Theories, Banff, Canada (declined). 19) August 2009, Unidimensional simple theories, Invited speaker to a conference on model theory, Banach Center, Bedlewo, Poland. 20) 2010, A model theoretic Baire category theorem for simple theories, Logic seminar, Hebrew University. 21) June 2011, Categoricity and Unidimensionality, University of Haifa, Departmental Colloquium. 22) July 2013, A dichotomy for D-rank 1 types in simple theories, Logic Colloquium 2013, contributed talk, Evora, Portugal.

4 Published papers: [1] Rigid ℵ ɛ -saturated models for superstable theories, joint work with Saharon Shelah, Fundamenta Mathematicae 162, 1999, pgs [2] Definability in low simple theories, The Journal of Symbolic Logic, Volume 65, Number 4, Dec. 2000, pgs [3] On the binding group in simple theories, joint work with Frank Wagner, The Journal of Symbolic Logic, Volume 67, Number 3, September 2002, pgs [4] Internality and interpretable automorphism groups in simple theories, Annals of Pure and Applied Logic, Volume 129, Issues 1-3, 2004, pgs [5] Coordinatisation by binding groups and unidimensionality in simple theories, Journal of Symbolic Logic 69, no. 4, 2004, pgs [6] On Kueker simple theories, J. Symbolic Logic 70 (2005), no. 1, [7] On the type-definability of the binding group in simple theories, joint work with B.Hart, J. Symbolic Logic 70 (2005), no. 2, [8] On analyzability in the forking topology for simple theories, Annals of Pure Applied Logic 142 (2006), no. 1-3, [9] Invariant version of cardinality quantifiers in superstable theories, joint work with A.Berenstein, Notre Dame J. Formal Logic 47 (2006), no. 3, [10] Countable hypersimple unidimensional theories, J. London Math. Soc. Volume 83, Issue 2 (2011), pgs This work represents major progress on a longstanding problem in simplicity theory and, for countable languages, generalizes Hrushovski s solution of Shelah problem (on superstability of unidimensional stable theories) to any countable hypersimple unidimensional theory. [11] Special partial types and weak canonical bases, Fundamenta Mathematicae 220 (2013), no. 1, 1-6. We define a notion of a weak canonical base for a partial type. This notion is weaker than the usual canonical base for an amalgamation base. We prove that certain family of partial types have a weak canonical base. This family clearly contains the class of amalgamation bases. [12] A model theoretic Baire category theorem for simple theories, Fundamenta Mathematicae 220 (2013), no. 3, We prove a model theoretic Baire category theorem for τ f low-sets in a countable simple theory in which the extension property is first-order and show some of its applications. We also prove a trichotomy for minimal types in countable nfcp theories: either every type that is internal in a minimal type is essentially-1-based by means of the forking topology or T interprets an infinite definable 1-based group of finite D-rank or T interprets a strongly-minimal formula. [13] On uncountable hypersimple unidimensional theories, Arch. Math. Logic 53 (2014), no. 1-2, We improve part of the result in [10] showing that any non-essentially 1-based hypersimple unidimensional theory (possibly uncountable) is supersimple.

5 Submitted: [14] A dichotomy for D-rank 1 types in simple theories (accepted modulo revision to the Israel Journal of Math.). We prove a dichotomy for D-rank 1 types in simple theories that generalizes Buechler s dichotomy for D-rank 1 minimal types: every such type is either 1-based or its algebraic closure, by a single formula, almost contains a non-algebraic formula that belongs to a non-forking extension of the type. In addition we prove that a densely 1-based type of D-rank 1 is 1-based. In preparation: [15] Definability and continuity of the SU-rank in unidimensional supersimple theories. Grant proposals submitted: [1] ISF Grant proposal, submitted on , Title: Analysis of hypersimple unidimensional theories, Research Grant application No. 429/13. Grade given by the professional committee of the ISF: Very Good. [2] ISF Grant proposal, submitted on , Title: Analysis of hypersimple unidimensional theories, Research Grant application No.1038/14 (Resubmission of No. 429/13). ac Present, Reviewer of Zentralblatt. [1] Professor Steven Buechler, University of Notre Dame, USA. [2] Professor Ehud Hrushovski, Hebrew University at Jerusalem, ISRAEL. [3] Professor Saharon Shelah, Hebrew University at Jerusalem, ISRAEL. Professional tivities: References:

2007 Agrégation de mathématiques. (French national mathematics teaching competitive examination; rank: 7)

2007 Agrégation de mathématiques. (French national mathematics teaching competitive examination; rank: 7) Pierre Simon pierre.simon@berkeley.edu www.normalesup.org/ simon Nationality: French Education 2008 2011 PhD in Mathematics, Université Paris-Sud, Paris. advisor: Élisabeth Bouscaren title: Ordre et stabilité