Curriculum Vitae Ziv Shami Address: Dept. of Mathematics and Computer Science Ariel University Samaria, Ariel 44873 Israel. Phone: 0528-413477 Email: zivshami@gmail.com Army Service: November 1984 to June 1991. Education: Ph.D. in Mathematics, Hebrew University, Jerusalem, August 1998. Thesis: Low Simple Theories. Advisor: Professor Saharon Shelah. B.Sc. in Mathematics, Tel Aviv University, Israel, July 1991. Professional Experience: Lecturer, Ariel University Center of Samaria, Israel, October 2012 - Current. Adjunct Lecturer, Mathematics Unit, Sami Shamoon College of Engineering, Israel, November 2010 - September 2012. Researcher, Department of Mathematics, Hebrew University, Israel, February 2010 - June 2010. Senior Researcher, The Mathematical Research Institute, Tel Aviv University, Israel, December 2004 - April 2009. Visiting Assistant Professor, University of Illinois at Urbana Champaign, Urbana, USA, January 2003 - August 2004. Post Doctoral Fellow, McMaster University, Hamilton, Canada and Visiting Member at the Fields Institute, Toronto, Canada, September 2000 - December 2002. Visiting Assistant Professor, University of Notre Dame, Notre Dame IN, August 1998 - May 2000. Ph.D. Student and Teaching Assistant, Hebrew University, Israel, 1993-1998.
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.
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.
Published papers: [1] Rigid ℵ ɛ -saturated models for superstable theories, joint work with Saharon Shelah, Fundamenta Mathematicae 162, 1999, pgs 37-46. [2] Definability in low simple theories, The Journal of Symbolic Logic, Volume 65, Number 4, Dec. 2000, pgs. 1481-1490. [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. 1016-1024. [4] Internality and interpretable automorphism groups in simple theories, Annals of Pure and Applied Logic, Volume 129, Issues 1-3, 2004, pgs 149-162. [5] Coordinatisation by binding groups and unidimensionality in simple theories, Journal of Symbolic Logic 69, no. 4, 2004, pgs. 1221-1242. [6] On Kueker simple theories, J. Symbolic Logic 70 (2005), no. 1, 216 222. [7] On the type-definability of the binding group in simple theories, joint work with B.Hart, J. Symbolic Logic 70 (2005), no. 2, 379 388. [8] On analyzability in the forking topology for simple theories, Annals of Pure Applied Logic 142 (2006), no. 1-3, 115 124. [9] Invariant version of cardinality quantifiers in superstable theories, joint work with A.Berenstein, Notre Dame J. Formal Logic 47 (2006), no. 3, 343 351. [10] Countable hypersimple unidimensional theories, J. London Math. Soc. Volume 83, Issue 2 (2011), pgs. 309-332. 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, 191-206. 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, 203-210. We improve part of the result in [10] showing that any non-essentially 1-based hypersimple unidimensional theory (possibly uncountable) is supersimple.
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 30-10-2012, 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 28-10-2013, Title: Analysis of hypersimple unidimensional theories, Research Grant application No.1038/14 (Resubmission of No. 429/13). ac- 2012-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: