Research

Published work

  1. with V. Guingona and L. Scow. Characterization of model-theoretic dividing lines through collapse of generalized indiscernibles.
    - Annals of Pure and Applied Logic (in press). (abstract)

  2. On (uniform) hierarchical decompositions of finite structures and model-theoretic geometry. (link)
    - Annals of Pure and Applied Logic (in press). (abstract)

  3. with U. Andrews, D. Dushenin, J. Knight, A. Melnikov. Comparing classes of finite sums. (link)
    - Algebra and Logic, Vol. 54, No. 6, January, 2016. (Russian Original: Vol. 54, No. 6, November-December, 2015) (abstract)

  4. with V. Guingona. On a common generalization of Shelah’s 2-rank, dp-rank, and o-minimal dimension.
    - Annals of Pure and Applied Logic, Volume 166, Issue 4, April 2015. (link)

  5. with V. Guingona. Local dp-rank and vc-density over indiscernible sequences.
    - Mathematical Logic Quarterly, 60 (2014), 59-65. (link)

  6. Super/rosy L^k-theories and classes of finite structures.
    - Annals of Pure and Applied Logic Volume 164, Issue 10, October 2013, Pages 907–927. (link)

  7. with R. Mihaescu and S. Rao. Fast phylogeny reconstruction through learning of ancestral sequences.
    - Algorithmica, June 2013, Volume 66, Issue 2, pp 419–449. (link)

  8. Efficiently inverting the L^2-invariant through stability theory (extended abstract).
    - In the proceedings of “Logical Approaches to Barriers in Computing and Complexity 2010.”

  9. with C. Daskalakis, A. Jaffe, R. Mihaescu, E. Mossel, and S. Rao. Maximal accurate forests from distance matrices.
    - In the proceedings of “Research in Computational Molecular Biology” (RECOMB 2006): 281-295.

Submitted

  1. An observation regarding 0,1-laws and asymptotics of definable sets in geometric Fraısse classes.
    (In revision.) Preprint

  2. Some model-theoretic remarks on structural Ramsey theory. Preprint.

  3. Dimension and simplicity for Ramsey-expandable classes of finite structures. Preprint.

  4. On semi/tame classes of finite structures. Preprint
    (Submitted to JSL.) (abstract)

In preparation

  1. Formulations and consequences of 0,1-laws for first-order logic.

  2. Structural sufficient conditions for certain kinds of 0,1-laws.

  3. Characterization of super-robust of classes of finite groups.

Submitted. [8] with V. Guingona and L. Scow. Characterization of model-theoretic dividing lines through collapse of generalized indiscernibles Submitted (APAL). [10] [11] Submitted (NDJFL). [14] [15] [16]