Personal Data

Full name

Alexander Usvyatsov

Publishing name

Alexander Usvyatsov

Birthday

1974-08-14T00:00:00

Academic Degrees

LICENCIATURA(0)

Degree date

1998

Final grade

BSc

Degree granting institution

Outra

School / College / Campus

Other

Thesis title

"Local nilpotency and stable groups"

Supervisor

Co-supervisor

Scientific area

Matbematics, Computer Science

MESTRADO(0)

Degree date

2001

Final grade

MSc

Degree granting institution

Outra

School / College / Campus

Other

Thesis title

-

Supervisor

Co-supervisor

Scientific area

Mathematics, Coputer Schience

DOUTORAMENTO(0)

Degree date

2006

Final grade

PhD

Degree granting institution

Outra

School / College / Campus

Faculdade de Ciências do Mar e do Ambiente

Thesis title

"Stability and Categoricity for complete metric spaces"

Supervisor

Co-supervisor

Scientific area

Mathematics

Profissional activity

Period Position Institution
01-07-2007 - 30-06-2012 Researcher, FCT fellowship, grant SFRH / BPD / 34893 / 2007 Universidade de Lisboa, Centro de Matemática e Aplicações Fundamentais.
01-10-2005 - 30-06-2007 Adjunct Assistant Professor, Fellow of the Logic Center UCLA
1999-2005 Research Assistant The Hebrew University in Jerusalem
1998 - 2000 Teaching Assistant The Hebrew University in Jerusalem

Area of scientific activity

Area of scientific activity

Most of my research addresses questions that arise in pure and applied model theory, which is an area of mathematical logic. I am especially interested in different approaches to model theory of topological structures, applications of model thery to Banach space theory, connections between model theory and combinatorics.

Specialization domain

I specialize in research in mathematical logic, more specifically, model theory, especially model theory of topological structures. <br><br>My main area of expertise is continuous logic, which is a new model theoretic approach to classes of metric structures developed by my co-authors and myself in a series of papers. I am interested in both pure and applied aspects of this framework.<br><br>I also work on dependent theories, which is different model theoretic framework for studying structures equipped with order, in particular, structures equipped with "real"-like topology. <br><br>

Current main scientific area

I am interested in further development of model theoretic techniques for topological structures. Some of my main interests include:<br><br>1. Applications of continuous model theory in functional analysis.<br><br>2. Developing model theoretic techniques and tools in the context of dependent theories. <br><br>3. Studying topological groups from different model theoretic perspectives. <br><br>4. Investigating pure model theoretic properties of "nice" continuous theories.<br><br>5. Developing tools and techniques of continuous model theory.<br><br> 6. Developing connections between model theory, additive and finite combinatorics, and computer science (e.g. VC-theory, Ramsey theory, concentration of measure).

Other scientific activities

I am also interested in theoretical computer science and science education.

Experience as scientific advisor

Supervision of undergraduate projects, Magid Institute for Continuing and Adult Education, Hadassah College in Jerusalem, 1999-2001.

Organization and supervision of participating seminars “Current Literature in Logic” for graduate students, UCLA, Fall 2005 and Spring 2006.

Participations in R&D projects

I collaborated with Itay Ben-Yaacov, Alexander Berenstein and C. Ward Henson, which led to the development of continuous first order logic, and several joint publications.

I collaborated with Alf Onshuus, and, more recently, with Dario Garcia and Itay Kaplan, which led to several joint publications in the area of dependent and rosy theories.

I collaborated with Alf Onshuus, and Itay Kaplan on topics relating model theory, combinatorics, and computer science.

I collaborated with Saharon Shelah, which led to several joint publications in the area of model theoretic approach to functional analysis.

FCT Research Project PTDC/MAT/101740/2008 (2010 -- 2011).

FCT -- CNRS Joint Research Project, CNRS reference Nº 125413551222198 (2010).

FCT Research Project PTDC/MAT/122844/2010. (2012 -- 2013).

Awards

Year Award Awarding entity
2007 Robert Sorgenfrey Distinguished Award. UCLA
2005 Zokhovitzky prize The Hebrew University in Jerusalem
2003 Excellence Scholarship for PhD students. The Hebrew University in Jerusalem
1999 Dean's Awars The Hebrew University in Jerusalem
1998 Dean's Awars The Hebrew University in Jerusalem
1997 Rector's Award The Hebrew University in Jerusalem
1996 Dean's Awars The Hebrew University in Jerusalem

Publications

Artigos em revistas de circulação internacional com arbitragem científica


  • "Additivity of the dp-rank", with A. Onshuus and I. Kaplan, Trans. Amer. Math. Soc., to appear.

Outras publicações

  • "On strict independence in dependent theories", with I. Kaplan, preprint (2011).

Artigos em revistas de circulação internacional com arbitragem científica

  • "Generic stability, forking, and thorn-forking", with A. Onshuus and D. García, Trans. Amer. Math. Soc., to appear.

Artigos em revistas de circulação internacional com arbitragem científica

  • "Stable domination and weight", with A. Onshuus, Annals of Pure and Applied Logic, Annals Pure Applied
    Logic, 162(7):544–560, 2011.

Outras publicações

  • "Minimal types over stable Banach spaces", with S. Shelah, preprint (2008).

Outras publicações

  • "Unstable classes of metric structures", with S. Shelah, preprint (2007).

Artigos em revistas de circulação internacional com arbitragem científica

  • "Thorn-orthogonality and domination in unstable theories", with A. Onshuus, Fund. Math., 214(3):241–268, 2011.

Outras publicações

  • "Morley sequences in dependent theories", Journal of Symbolic Logic, in revision.

Artigos em revistas de circulação internacional com arbitragem científica

  • "On generically stable types in dependent theories", Journal of Symbolic Logic, 74, 1, pp. 216--250 (2009).

Artigos em revistas de circulação internacional com arbitragem científica

  • "Dp-minimality, strong dependence and weight", with A. Onshuus, J. Symbolic Logic, 76(3):737–758, 2011.

Outras publicações

  • "Generic automorphism of a Hilbert Space", with I. Ben-Yaacov, M. Zadka, preprint (2006)

Artigos em revistas de circulação internacional com arbitragem científica

  • "More on SOP_1 and SOP_2", with S. Shelah, Ann. Pure Appl. Logic 155 (2008), no. 1, 16--31.

Outras publicações

  • "Stability and uni-dimensionality for monster metric<br>spaces", preprint (2007).

Artigos em revistas de circulação internacional com arbitragem científica

  • "Generic separable metric structures", Topology and its Applications, 155 (2008), 1607-1617.

Artigos em revistas de circulação internacional com arbitragem científica

  • "Continuous first order logic and local stability", with I. Ben-Yaacov, Trans. Amer. Math. Soc. 362 (2010), no. 10, 5213–5259.

Artigos em revistas de circulação internacional com arbitragem científica

  • "Model theoretic categoricity and stability for metric structures",with S. Shelah, Israel J. Math., 182:157–198, 2011.

Teses

  • "Local Nilpotency and Stable Groups", Undergraduate thesis, under the supervision of Prof. S. Shelah.

Livros (autor)

  • "Model Theory for Metric Structures", with I. Ben-Yaacov, A. J. Berenstein, C. W. Henson, Model theory with Applications to Algebra and Analysis Vol. 2 (Eds. Zoe Chatzidakis, Dugald Macpherson, Anand Pillay, Alex Wilkie) London Math Soc. Lecture Note Series Nr 350, Cambridge Univ Press 2008.

Artigos em revistas de circulação internacional com arbitragem científica

  • "On d-finiteness in continuous structures", with I. Ben-Yaacov, Fundamenta Matematicae, 194 (2007) 67-88.

Artigos em revistas de circulação internacional com arbitragem científica

  • "Banach spaces and groups - order properties and universal models", with S. Shelah, Israel J. Math. 152 (2006), no.1, 245-270.

Teses

  • "Stability and categority for complete metric spaces", PhD thesis, under the supervision of Prof. S. Shelah.

Communications

Comunicações orais por convite

Workshop on dependent theories Bogota, April 2008 (Tutorial).

Comunicações orais por convite

Conference on dependent theories Bogota, April 2008.

Comunicações orais por convite

“Around Classification Theory” conference Leeds, June 2008.

Comunicações orais por convite

BGU Mathematics Colloquium, April 2009.

Comunicações orais por convite

U. Haifa special Mathematics seminar, June 2010.

Comunicações orais por convite

Annual European Logic Colloquium Special Session in Model Theory, Barcelona, July 2011.

Comunicações orais por convite

Paris Model Theory Seminar, May 2011.

Comunicações orais por convite

Paris Logic Seminar, May 2011.

Comunicações orais por convite

Hawai’i University Mathematics Colloquium, April 2011.

Comunicações orais por convite

UCLA Logic Colloquium, May 2010.

Comunicações orais por convite

Days in Logic, University of Porto, January 2010.

Comunicações orais por convite

Model theory conference, Stefan Banach International Mathematical Center, Bedlewo Conference Center, August 2009.

Comunicações orais por convite

Workshop "Algebra and Logic", Faculdade de Ciências, Universidade de Lisboa, June 2009.

Comunicações orais por convite

Workshop on Stability methods in unstable structures, Banff International Research Center, February 2009.

Comunicações orais por convite

AMS Meeting, special session on Model Theory of non-elementary classes, Chicago, September 2007.

Comunicações orais por convite

Berkeley Logic Colloquium, November 2006.

Comunicações orais por convite

UCLA Logic Colloquium, October 2005, November 2008.

Outras comunicações orais

Selected invited talks in research seminars:

Jerusalem Logic Seminar

Cornell University Logic Seminar

University of Wisconsin Logic Seminar

UIC Model Theory Seminar

UIUC Model Theory Seminar

Notre Dame Logic Seminar

CMU Logic Seminar

McMaster Model Theory Seminar

UCLA Set Theory Seminar

Oxford Logic Seminar

UEA Pure Mathematics Seminar

Berkeley Model Theory Seminar

BGU Logic Seminar

Universidade de Los Andes Logic Seminar

UCLA set theory seminar

STM CMAF Lisboa

SLM CMAF Lisboa

Comunicações orais por convite

Logicum Lugdunensis, a conference in honor of B. Poizat, Lyon, June 2006.

Comunicações orais por convite

International Congress "Nonstandard Methods and Applications in Mathematics", Pisa, May 2006.

Comunicações orais por convite

Worshop on the Urysohn Space, Ben-Gurion University of the Negev, May 2006.

Comunicações orais por convite

AMS Meeting, special session on Model Theory and Computability Theory,University of Notre Dame, April 2006.

Comunicações orais por convite

Rutgers University Logic Conference, October 2005.

Comunicações orais por convite

Conference on Pure Model Theory, University of East Anglia, June 2005 (2 talks).

Comunicações orais por convite

An Introduction to Recent Applications of Model Theory, a workshop in Isaac Newton Institute for Mathematical Sciences, April 2005.<br>

Comunicações orais por convite

Jerusalem Mathematics Colloquium, June 2004.

Comunicações orais por convite

<br>The annual meeting of the Israeli Mathematical Union, May<br>2004.

Comunicações orais por convite

Conference and Workshop in honor of S.Shelah, Ben-Gurion University of the Negev, May 2001.<br>