Misha Gavrilovich

Available identifiers

zbMath Open gavrilovich.mikhail-rMaRDI QIDQ234709

List of research outcomes

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	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	2020-03-27	Paper
Simplicial sets with a notion of smallness	2019-12-24	Paper
https://portal.mardi4nfdi.de/entity/Q5229993	2019-08-19	Paper
Formulating basic notions of finite group theory via the lifting property	2019-06-05	Paper
https://portal.mardi4nfdi.de/entity/Q4556100	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	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	2016-07-19	Paper
Exercices de style: a homotopy theory for set theory	2015-11-16	Paper
The Univalence Axiom in posetal model categories	2015-07-15	Paper
Some definability results in abstract Kummer theory	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	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)\)	2008-04-14	Paper
https://portal.mardi4nfdi.de/entity/Q5470673	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$	2005-08-26	Paper
MAX SAT approximation beyond the limits of polynomial-time approximation	2002-03-13	Paper
https://portal.mardi4nfdi.de/entity/Q4376051	1998-05-17	Paper
A Lower Bound for Interpolation	1997-10-26	Paper

Research outcomes over time

This page was built for person: Misha Gavrilovich