Three Axioms for the Motive: Constructive Reverse Mathematics Meets Grothendieck's Universal Cohomology (Paper 50, Lean 4 Formalization)

Fuente: Zenodo

Saved in:

Bibliographic Details
Main Author:	Lee, Paul Chun-Kit
Format:	Recurso digital
Language:	English
Published:	Zenodo 2026
Subjects:	Constructive reverse mathematics Motives Grothendieck conjectures Standard Conjecture D Weil Riemann Hypothesis Tannakian categories Lean 4 Mathlib Formal verification Arithmetic geometry De-omniscientizing descent Limited Principle of Omniscience
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Internet