| Publication | Date of Publication | Type |
|---|
| A first-order theory is stable iff its type space is simplicially contractible | 2023-03-30 | Paper |
| A suggestion towards a finitist's realisation of topology | 2021-12-29 | Paper |
| Extremally disconnected spaces as {{u->a,b<-v}-->{u->a=b<-v}}^l, and being proper as ({{o}-->{o->c}}^r_<4)^lr | 2021-09-24 | Paper |
Russian trace in the family history and work of Alexander Grothendieck
Journal of Mathematical Sciences (New York) | 2021-02-10 | Paper |
| Remarks on Shelah's classification theory and Quillen's negation | 2020-10-17 | Paper |
| Geometric realisation as the Skorokhod semi-continuous path space endofunctor | 2020-09-23 | Paper |
Standard conjectures in model theory, and categoricity of comparison isomorphisms: a model theory perspective
Communications in Algebra | 2020-03-27 | Paper |
| Simplicial sets with a notion of smallness | 2019-12-24 | Paper |
| Signal decoding with help of finite automata: application to games with incomplete information | 2019-08-19 | Paper |
| Formulating basic notions of finite group theory via the lifting property | 2019-06-05 | Paper |
| Games with incomplete information on the both sides and with public signal on the state of the game | 2018-11-23 | Paper |
| A naive diagram-chasing approach to formalisation of tame topology | 2018-07-18 | Paper |
Games with Symmetric Incomplete Information and Asymmetric Computational Resources
International Game Theory Review | 2018-06-20 | Paper |
| Topological and metric spaces are full subcategories of the category of simplicial objects of the category of filters | 2018-02-23 | Paper |
| The unreasonable power of the lifting property in elementary mathematics | 2017-07-20 | Paper |
| Separation axioms as lifting properties | 2017-06-28 | Paper |
| Expressing the statement of the Feit-Thompson theorem with diagrams in the category of finite groups | 2016-08-21 | Paper |
On a class of optimization problems with no ``efficiently computable solution
Journal of Mathematical Sciences (New York) | 2016-07-19 | Paper |
Exercices de style: a homotopy theory for set theory
Israel Journal of Mathematics | 2015-11-16 | Paper |
The Univalence Axiom in posetal model categories
Journal Of Logic And Computation | 2015-07-15 | Paper |
Some definability results in abstract Kummer theory
IMRN. International Mathematics Research Notices | 2014-11-14 | Paper |
| Point-set topology as diagram chasing computations: Lifting property as negation | 2014-08-28 | Paper |
Covers of abelian varieties as analytic Zariski structures
Annals of Pure and Applied Logic | 2012-09-26 | Paper |
| Exercices de style: A homotopy theory for set theory II | 2012-04-27 | Paper |
A remark on transitivity of Galois action on the set of uniquely divisible abelian extensions in \(\text{Ext}^1(E(\overline {\mathbb {Q}}),\Lambda)\)
\(K\)-Theory | 2008-04-14 | Paper |
| Structure of Chevalley groups: the proof from The Book. | 2006-05-31 | Paper |
| A remark on transitivity of Galois action on the set of uniquely divisible abelian extensions of the group of algebraic points of an elliptic curve, by $Z^2$ | 2005-11-23 | Paper |
An $\mathrm {A}_2$-proof of structure theorems for Chevalley groups of types $\mathrm {E}_6$ and $\mathrm {E}_7$
St. Petersburg Mathematical Journal | 2005-08-26 | Paper |
MAX SAT approximation beyond the limits of polynomial-time approximation
Annals of Pure and Applied Logic | 2002-03-13 | Paper |
| scientific article; zbMATH DE number 1114335 (Why is no real title available?) | 1998-05-17 | Paper |
A Lower Bound for Interpolation
Logic Journal of the IGPL | 1997-10-26 | Paper |
