The following pages link to Michael Gavrilovich (Q234709):
Displayed 33 items.
- (Q450947) (redirect page) (← links)
- Covers of abelian varieties as analytic Zariski structures (Q450948) (← links)
- Exercices de style: a homotopy theory for set theory (Q891147) (← links)
- (Q2227165) (redirect page) (← links)
- Russian trace in the family history and work of Alexander Grothendieck (Q2227168) (← links)
- A remark on transitivity of Galois action on the set of uniquely divisible abelian extensions in \(\text{Ext}^1(E(\overline {\mathbb {Q}}),\Lambda)\) (Q2481130) (← links)
- On a class of optimization problems with no ``efficiently computable'' solution (Q2628942) (← links)
- Some Definability Results in Abstract Kummer Theory (Q2929675) (← links)
- A Lower Bound for Interpolation (Q4340536) (← links)
- (Q4376051) (← links)
- (Q4556100) (← links)
- Games with Symmetric Incomplete Information and Asymmetric Computational Resources (Q4567820) (← links)
- Standard conjectures in model theory, and categoricity of comparison isomorphisms: A model theory perspective (Q5220655) (← links)
- (Q5229993) (← links)
- The Univalence Axiom in posetal model categories (Q5262479) (← links)
- An $\mathrm {A}_2$-proof of structure theorems for Chevalley groups of types $\mathrm {E}_6$ and $\mathrm {E}_7$ (Q5313280) (← links)
- (Q5470673) (← links)
- MAX SAT approximation beyond the limits of polynomial-time approximation (Q5957907) (← links)
- Exercices de style: A homotopy theory for set theory II (Q6232628) (← links)
- Point-set topology as diagram chasing computations: Lifting property as negation (Q6254241) (← links)
- Expressing the statement of the Feit-Thompson theorem with diagrams in the category of finite groups (Q6276732) (← links)
- Separation axioms as lifting properties (Q6288384) (← links)
- The unreasonable power of the lifting property in elementary mathematics (Q6289249) (← links)
- Topological and metric spaces are full subcategories of the category of simplicial objects of the category of filters (Q6298155) (← links)
- A naive diagram-chasing approach to formalisation of tame topology (Q6304367) (← links)
- Formulating basic notions of finite group theory via the lifting property (Q6319976) (← links)
- Simplicial sets with a notion of smallness (Q6331895) (← links)
- Geometric realisation as the Skorokhod semi-continuous path space endofunctor (Q6349693) (← links)
- Remarks on Shelah's classification theory and Quillen's negation (Q6351545) (← links)
- Extremally disconnected spaces as {{u->a,b<-v}-->{u->a=b<-v}}^l, and being proper as ({{o}-->{o->c}}^r_<4)^lr (Q6378515) (← links)
- A suggestion towards a finitist's realisation of topology (Q6387022) (← links)
- A first-order theory is stable iff its type space is simplicially contractible (Q6431480) (← links)
- 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$ (Q6476351) (← links)