Sergei Starchenko

Publication Activity (10 Years)

Years Active: 1988-2021
Publications (10 Years): 2

Top Topics

Default Reasoning

Cutting Stock Problems

Vapnik Chervonenkis

Top Venues

Notre Dame J. Formal Log.

Publications

Artem Chernikov, Sergei Starchenko
Model-theoretic Elekes-Szabó in the strongly minimal case. J. Math. Log. 21 (2) (2021)
Artem Chernikov, David J. Galvin, Sergei Starchenko
Cutting lemma and Zarankiewicz's problem in distal structures. CoRR (2016)
Pierre Simon, Sergei Starchenko
On Forking and Definability of Types in some DP-Minimal Theories. J. Symb. Log. 79 (4) (2014)
Matthias Aschenbrenner, Alf Dolich, Deirdre Haskell, Dugald Macpherson, Sergei Starchenko
Vapnik-Chervonenkis Density in Some Theories without the Independence Property, II. Notre Dame J. Formal Log. 54 (3-4) (2013)
Zoé Chatzidakis, David Marker, Amador Martin-Pizarro, Rahim Moosa, Sergei Starchenko
Introduction. Notre Dame J. Formal Log. 54 (3-4) (2013)
Sarah Cotter, Sergei Starchenko
Forking in VC-minimal theories. J. Symb. Log. 77 (4) (2012)
Paola D'Aquino, Julia F. Knight, Sergei Starchenko
Corrigendum to: "Real closed fields and models of arithmetic". J. Symb. Log. 77 (2) (2012)
Paola D'Aquino, Julia F. Knight, Sergei Starchenko
Real closed fields and models of Peano arithmetic. J. Symb. Log. 75 (1) (2010)
Pantelis E. Eleftheriou, Sergei Starchenko
Groups definable in ordered vector spaces over ordered division rings. J. Symb. Log. 72 (4) (2007)
Ya'acov Peterzil, Sergei Starchenko
Expansions of Algebraically closed Fields II: Functions of several Variables. J. Math. Log. 3 (1) (2003)
Ya'acov Peterzil, Sergei Starchenko
Definable Homomorphisms of Abelian Groups in oMminimal Structures. Ann. Pure Appl. Log. 101 (1) (1999)
Ya'acov Peterzil, Sergei Starchenko
Geometry, calculus and Zil'ber's conjecture. Bull. Symb. Log. 2 (1) (1996)
Bradd Hart, Anand Pillay, Sergei Starchenko
-models. Arch. Math. Log. 34 (5) (1995)
Bradd Hart, Sergei Starchenko
Superstable Quasi-Varieties. Ann. Pure Appl. Log. 69 (1) (1994)
Bradd Hart, Anand Pillay, Sergei Starchenko
Triviality, NDOP and Stable Varieties. Ann. Pure Appl. Log. 62 (2) (1993)
Bradd Hart, Sergei Starchenko
Addendum to "A Structure Theorem for Strongly Abelian Varieties". J. Symb. Log. 58 (4) (1993)
Sergei Starchenko, Andrei Voronkov
On connections between classical and constructive semantics. Conference on Computer Logic (1988)