The BSD Squeeze: CRMLint Decomposition of the Gross-Zagier-Kolyvagin Proof (Paper 95, Constructive Reverse Mathematics Series)

Documenti analoghi

• Algebraic Spectrum Is Necessary for Constructive Eigenvalue Decidability (Paper 74, Constructive Reverse Mathematics Series)
  di: Lee, Paul Chun-Kit
  Pubblicazione: (2026)
• The Hodge Level Boundary: Archimedean Decidability for Mixed Motives (Paper 62, Constructive Reverse Mathematics Series)
  di: Lee, Paul Chun-Kit
  Pubblicazione: (2026)
• (Technical Note) What the Ceiling Means: Constructive Schools, Physical Actualisation, and the Fine Structure of BISH+LPO (Paper 43, Constructive Reverse Mathematics Series)
  di: Lee, Paul Chun-Kit
  Pubblicazione: (2026)
• Three Axioms for the Motive: Constructive Reverse Mathematics Meets Grothendieck's Universal Cohomology (Paper 50, Lean 4 Formalization)
  di: Lee, Paul Chun-Kit
  Pubblicazione: (2026)
• Exceptional zeros for Heegner points and $p$-converse to the theorem of Gross-Zagier and Kolyvagin
  di: Castella, Francesc
  Pubblicazione: (2024)