On connections between classical and constructive semantics. - Sergei Starchenko; Andrei Voronkov (Conference on Computer Logic, 1988)

Triviality, NDOP and Stable Varieties. - Bradd Hart; Anand Pillay; Sergei Starchenko (Ann. Pure Appl. Log., 1993)

Addendum to "A Structure Theorem for Strongly Abelian Varieties". - Bradd Hart; Sergei Starchenko (J. Symb. Log., 1993)

Superstable Quasi-Varieties. - Bradd Hart; Sergei Starchenko (Ann. Pure Appl. Log., 1994)

1-based theories - the main gap fora-models. - Bradd Hart; Anand Pillay; Sergei Starchenko (Arch. Math. Log., 1995)

Geometry, calculus and Zil'ber's conjecture. - Ya'acov Peterzil; Sergei Starchenko (Bull. Symb. Log., 1996)

Definable Homomorphisms of Abelian Groups in oMminimal Structures. - Ya'acov Peterzil; Sergei Starchenko (Ann. Pure Appl. Log., 1999)

Expansions of Algebraically closed Fields II: Functions of several Variables. - Ya'acov Peterzil; Sergei Starchenko (J. Math. Log., 2003)

Groups definable in ordered vector spaces over ordered division rings. - Pantelis E. Eleftheriou; Sergei Starchenko (J. Symb. Log., 2007)

Real closed fields and models of Peano arithmetic. - Paola D'Aquino; Julia F. Knight; Sergei Starchenko (J. Symb. Log., 2010)

Forking in VC-minimal theories. - Sarah Cotter; Sergei Starchenko (J. Symb. Log., 2012)

Corrigendum to: "Real closed fields and models of arithmetic". - Paola D'Aquino; Julia F. Knight; Sergei Starchenko (J. Symb. Log., 2012)

Vapnik-Chervonenkis Density in Some Theories without the Independence Property, II. - Matthias Aschenbrenner; Alf Dolich; Deirdre Haskell; Dugald Macpherson; Sergei Starchenko (Notre Dame J. Formal Log., 2013)

Introduction. - Zoé Chatzidakis; David Marker; Amador Martin-Pizarro; Rahim Moosa; Sergei Starchenko (Notre Dame J. Formal Log., 2013)

On Forking and Definability of Types in some DP-Minimal Theories. - Pierre Simon; Sergei Starchenko (J. Symb. Log., 2014)

Cutting lemma and Zarankiewicz's problem in distal structures. - Artem Chernikov; David J. Galvin; Sergei Starchenko (CoRR, 2016)

Model-theoretic Elekes-Szabó in the strongly minimal case. - Artem Chernikov; Sergei Starchenko (J. Math. Log., 2021)