The following pages link to Vladimir Voevodsky (Q177922):
Displaying 50 items.
- Cancellation theorem (Q612999) (← links)
- Motivic Eilenberg-MacLane spaces (Q633559) (← links)
- On motivic cohomology with \(\mathbb{Z}/l\)-coefficients (Q640789) (← links)
- (Q859473) (redirect page) (← links)
- Motivic homotopy theory. Lectures at a summer school in Nordfjordeid, Norway, August 2002 (Q859474) (← links)
- An exact sequence for \(K^M_*/2\) with applications to quadratic forms (Q880879) (← links)
- \(\mathbb{A}^1\)-homotopy theory (Q1129863) (← links)
- Braided monoidal 2-categories and Manin-Schechtman higher braid groups (Q1318781) (← links)
- (Q1814351) (redirect page) (← links)
- Free \(n\)-category generated by a cube, oriented matroids, and higher Bruhat orders (Q1814352) (← links)
- Reduced power operations in motivic cohomology (Q1885391) (← links)
- Motivic cohomology with \(\mathbb Z/2\)-coefficients (Q1885392) (← links)
- Singular homology of abstract algebraic varieties (Q1911541) (← links)
- Homology of schemes (Q1919133) (← links)
- Homotopy theory of simplicial sheaves in completely decomposable topologies (Q2268583) (← links)
- Unstable motivic homotopy categories in Nisnevich and cdh-topologies (Q2268584) (← links)
- C-system of a module over a \(Jf\)-relative monad (Q2689172) (← links)
- (Q2782260) (← links)
- Products of families of types and (Pi,lambda)-structures on C-systems (Q2953831) (← links)
- C-systems defined by universe categories: presheaves (Q2963470) (← links)
- The (Pi,lambda)-structures on the C-systems defined by universe categories (Q2963471) (← links)
- Subsystems and regular quotients of C-systems (Q2990151) (← links)
- Univalent Foundations of Mathematics (Q3003342) (← links)
- Univalent Semantics of Constructive Type Theories (Q3100202) (← links)
- (Q3147718) (← links)
- (Q3363699) (← links)
- (Q3409121) (← links)
- A C-system defined by a universe category (Q3456330) (← links)
- Motives over simplicial schemes (Q3550946) (← links)
- Simplicial radditive functors (Q3568339) (← links)
- ÉTALE TOPOLOGIES OF SCHEMES OVER FIELDS OF FINITE TYPE OVER<b>Q</b> (Q3970444) (← links)
- On Galois groups of functional fields over fields of finite type over $ \mathbb{Q}$ (Q3983617) (← links)
- GALOIS REPRESENTATIONS CONNECTED WITH HYPERBOLIC CURVES (Q3986338) (← links)
- (Q3986539) (← links)
- (Q3986540) (← links)
- Cycles, Transfers, and Motivic Homology Theories. (AM-143) (Q4225799) (← links)
- (Q4308237) (← links)
- (Q4472991) (← links)
- (Q4513076) (← links)
- (Q4513077) (← links)
- (Q4513078) (← links)
- (Q4513079) (← links)
- (Q4513080) (← links)
- Categorical structures for type theory in univalent foundations (Q4683858) (← links)
- (Q4834726) (← links)
- (Q4946335) (← links)
- (Q4952444) (← links)
- Lawvere theories and C-systems (Q4959711) (← links)
- (Q5111175) (← links)
- A cubical approach to straightening (Q5151298) (← links)
