Vladimir Aleksandrovich Voevodsky
From MaRDI portal
Publication:4558118
DOI10.1070/RM9821zbMath1402.01013OpenAlexW2884888721MaRDI QIDQ4558118
No author found.
Publication date: 21 November 2018
Published in: Russian Mathematical Surveys (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1070/rm9821
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Mini-workshop: The homotopy interpretation of constructive type theory. Abstracts from the mini-workshop held February 27th-March 05th, 2011.
- Cancellation theorem
- Motivic Eilenberg-MacLane spaces
- On motivic cohomology with \(\mathbb{Z}/l\)-coefficients
- Motivic homotopy theory. Lectures at a summer school in Nordfjordeid, Norway, August 2002
- An exact sequence for \(K^M_*/2\) with applications to quadratic forms
- \(\mathbb{A}^1\)-homotopy theory
- Braided monoidal 2-categories and Manin-Schechtman higher braid groups
- Free \(n\)-category generated by a cube, oriented matroids, and higher Bruhat orders
- Reduced power operations in motivic cohomology
- Motivic cohomology with \(\mathbb Z/2\)-coefficients
- Singular homology of abstract algebraic varieties
- Homology of schemes
- Homotopy theory of simplicial sheaves in completely decomposable topologies
- Unstable motivic homotopy categories in Nisnevich and cdh-topologies
- Products of families of types and (Pi,lambda)-structures on C-systems
- C-systems defined by universe categories: presheaves
- The (Pi,lambda)-structures on the C-systems defined by universe categories
- Subsystems and regular quotients of C-systems
- Univalent Foundations of Mathematics
- A C-system defined by a universe category
- Motives over simplicial schemes
- Simplicial radditive functors
- ÉTALE TOPOLOGIES OF SCHEMES OVER FIELDS OF FINITE TYPE OVERQ
- On Galois groups of functional fields over fields of finite type over $ \mathbb{Q}$
- GALOIS REPRESENTATIONS CONNECTED WITH HYPERBOLIC CURVES
- Cycles, Transfers, and Motivic Homology Theories. (AM-143)
- A univalent formalization of the p-adic numbers
- An experimental library of formalized Mathematics based on the univalent foundations
- ∞-Groupoids as a model for a homotopy category
- \(\mathbb{A}^1\)-homotopy theory of schemes
This page was built for publication: Vladimir Aleksandrovich Voevodsky
