I am interested in Model Theory. In particular, I am studying classification theory
for first order logic and for non-elementary classes as well as applications.
A recurring theme in my research is the study of the independence notions and multi-dimensional amalgamation properties in various model-theoretic contexts.
- Ph.D. Thesis: Generalized Amalgamation in Simple Theories and
Characterization of Dependence Relations in Non-elementary Classes.
PDF file Postscript file DVI file -
The equality S1=D=R.
With R. Grossberg, I. Tomasic, and M. VanDieren.
Mathematical Logic Quaterly, 49, (2003), p. 115--128.
PDF file from the publisher Wiley InterScience (click on "PDF Full Text"). -
Dependence relations in non-elementary classes.
Contemp. Math., AMS. 380 (2005), 203--230. -
n-simple theories.
Annals of Pure and Applied Logic 131 (2005) 227-261. -
Morley rank in homogeneous models.
With G.V.N.G. Krishnamurthi. Notre Dame Journal of Formal Logic. Accepted, 2006.
PDF file. -
Superior abstract elementary classes.
With Rami Grossberg. Submitted to Journal of Symbolic Logic.
Currently under revision. -
Generalized amalgamation and n-simplicity.
With B. Kim and A. Tsuboi. Submitted.
PDF file. -
Categoricity, amalgamation, and tameness.
With John Baldwin. Submitted.
PDF file. -
Simplicity levels of ACFA and related structures.
Preprint.
-
August 2006. Contributed talk: "Generalized types and heir bases in simple theoires."
Logic Colloquium, Nijmegen, Netherlands.
-
July 2006. Invited talks: "Superior abstract elementary classes"
and "On a variant of Hart-Shelah's example".
Workshop on Classification Theory for Abstract Elementary Classes. AIM, Palo Alto, CA.
-
September-October 2005. Invited talk: "Generalized amalgamation in first order theories and
beyond."
University of Notre Dame and McMaster University.
-
July 2005. Invited talk at the Workshop on Pure Model Theory.
University of East Anglia, UK.
-
February 2005. Invited talk:
"Generalized amalgamation in simple theories."
Association of Symbolic Logic Meeting.
-
November 2003. Invited talks: "On n-simplicity."
University of Illinois at Chicago, University of Notre Dame, and University of Illinois at Urbana-Champaign.
-
May 2003. Contributed talk: "n-simple theories."
Greater Boston Logic Conference at MIT.
-
April 2003. Invited to give a talk at the Workshop on Combinatorial Set Theory,
Excellent Classes, and Schanuel's Conjecture at University of Michigan, Ann Arbor.
- January 2003. Invited talk: "n-simple theories and generalized amalgamation
properties." Penn State University Logic Seminar, Penn State University.
- December-November 2002. Invited talks: "n-simple theories and generalized amalgamation
properties."
Southern Wisconsin Logic Colloquium, University of Wisconsin at Madison; Rutgers University Logic Seminar, Rutgers University; and University of Michigan at Ann Arbor Logic Seminar.
-
November 2002. Invited talk, MAMLS at CMU: "n-simple theories"
-
June 2002. Contributed talk at the ASL annual meeting in Las Vegas:
"Abstract dependence in non-elementary classes"
- 2006 Logic Colloquium at Radboud University, Nijmegen, Netherlands.
- 2006 Workshop on Classification theory for Abstract Elementary Classes at AIM, Palo Alto, CA
- 2005 Workshop on Pure Model Theory at the University of East Anglia
- 2005 Annual ASL meeting
- 2003 Greater Boston Logic Conference at MIT
- 2002 MAMLS at Carnegie Mellon
- 2002 Midwest model theory meeting at the University of Notre Dame
- 2002 ASL annual meeting in Las Vegas, NV
- 2002 Midwest model theory meeting, University of Illinois at Chicago.
- Mid-Atlantic Mathematical Logic Seminar (MAMLS) meetings at Rutgers University in 1997, '98, '99, 2000 and 2001.
- 1999 and 2001 Greater Boston Logic Conferences at MIT
- 2000 Workshop on Simple Theories at University of Toronto
- 2000 MAMLS meeting at the University of Maryland, College Park
Affiliations:
- American Mathematical Society
- Association of Symbolic Logic