Artem Chernikov

1. Externally definable sets and dependent pairs
   2010/07/26 by Artem Chernikov, Pierre Simon, Chernikov, Artem +1 · 11 citations
   Mathematics · Computer Science · Psychology · #Advanced Topology and Set Theory #Computability, Logic, AI Algorithms #Philosophy and Theoretical Science
2. Theories without the tree property of the second kind
   2012/04/03 by Artem Chernikov, Chernikov, Artem · 6 citations
   #03C20 #03C45 #03C60 #12J10 #FOS: Mathematics #Logic (math.LO)
3. External definability and groups in NIP theories
   2014/06/10 by Artem Chernikov, Anand Pillay, Pierre Simon · 6 citations
   Computer Science · Mathematics · #semigroups and automata theory #Computability, Logic, AI Algorithms #Advanced Topology and Set Theory
4. Valued difference fields and NTP2
   2012/08/07 by Artem Chernikov, Martin Hils, Chernikov, Artem +1 · 4 citations
   Mathematics · #Finite Group Theory Research #Algebraic Geometry and Number Theory #Advanced Differential Equations and Dynamical Systems
5. Definable regularity lemmas for NIP hypergraphs
   2016/07/26 by Artem Chernikov, Chernikov, Artem, Sergei Starchenko +1 · 2 citations
   Computer Science · Mathematics · #03C45 #05C25 #05C35 #Combinatorics (math.CO) #FOS: Mathematics #Logic (math.LO)
6. Definable convolution and idempotent Keisler measures
   2022/03/06 by Artem Chernikov, Kyle Gannon · 3 citations
   Mathematics · Computer Science · #Advanced Topology and Set Theory #semigroups and automata theory #Computability, Logic, AI Algorithms
7. Forking in NTP₂ theories
   2009/06/15 by Artem Chernikov, Chernikov, Artem, Itay Kaplan +1 · 1 citation
   Computer Science · #Computability, Logic, AI Algorithms #Logic, Reasoning, and Knowledge #Logic, programming, and type systems
8. A note on the Erdős-Hajnal property for stable graphs
   2015/04/30 by Artem Chernikov, Chernikov, Artem, Sergei Starchenko +1 · 1 citation
   Mathematics · Computer Science · #Limits and Structures in Graph Theory #Graph theory and applications #Advanced Graph Theory Research
9. Henselian valued fields and inp-minimality
   2016/01/27 by Artem Chernikov, Chernikov, Artem, Pierre Simon +1 · 1 citation
   Mathematics · #03C45 #03C60 #12J25 #12L12 #Advanced Topology and Set Theory #Commutative Algebra (math.AC) #FOS: Mathematics #Logic (math.LO) #Mathematical and Theoretical Analysis #advanced mathematical theories
10. Transitivity, lowness, and ranks in NSOP₁ theories
    2020/06/18 by Artem Chernikov, Chernikov, Artem, Byunghan Kim +3 · 1 citation
    Mathematics · #Advanced Operator Algebra Research #Advanced Topology and Set Theory #FOS: Mathematics #Homotopy and Cohomology in Algebraic Topology #Logic (math.LO)
11. Definable convolution and idempotent Keisler measures III. Generic stability, generic transitivity, and revised Newelski's conjecture
    2024/06/03 by Artem Chernikov, Kyle Gannon, Chernikov, Artem +3 · 2 citations
    Mathematics · #03C45 #03C60 #03C64 #28D15 #37B05 #43A10 #54H11 #Dynamical Systems (math.DS) #FOS: Mathematics #General Topology (math.GN) #Group Theory (math.GR) #Logic (math.LO)