Michael 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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Michael Gavrilovich