Copertina

Chatelet's Theorem in Synthetic Algebraic Geometry

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Coquand, Thierry, Moeneclaey, Hugo
Natura:	Preprint
Pubblicazione:	2025
Soggetti:	Algebraic Geometry Logic 03B80, 14A30
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

A Foundation for Synthetic Algebraic Geometry
di: Cherubini, Felix, et al.
Pubblicazione: (2023)

Projective Space in Synthetic Algebraic Geometry
di: Cherubini, Felix, et al.
Pubblicazione: (2024)

Differential Geometry of Synthetic Schemes
di: Cherubini, Felix, et al.
Pubblicazione: (2025)

A Note About Models of Synthetic Algebraic Geometry
di: Coquand, Thierry, et al.
Pubblicazione: (2025)

Coherent Conditions: Algebraic Geometry for Arbitrary Classes of Algebras
di: van Nispen, K. R.
Pubblicazione: (2025)

A Foundation for Synthetic Stone Duality
di: Cherubini, Felix, et al.
Pubblicazione: (2024)

On the axiomatics of projective and affine geometry in terms of line intersection
di: Havlicek, Hans, et al.
Pubblicazione: (2013)

The étale-open topology and the stable fields conjecture
di: Johnson, Will, et al.
Pubblicazione: (2020)

Grothendieck's Equality vs Voevodsky's Equality
di: Eckl, Thomas
Pubblicazione: (2026)

Iterated jump noncomputability and compactness
di: Dooley, Gavin
Pubblicazione: (2025)

Yoga for Fourier--Mukai partnership
di: Villalgordo, Elías Guisado, et al.
Pubblicazione: (2025)

A Completeness Theorem for Topological Doctrines
di: Ghilardi, Silvio, et al.
Pubblicazione: (2025)

Bounded Ramsey's theorem for triples in computability theory
di: Patey, Ludovic, et al.
Pubblicazione: (2026)

Exponential Sums Equations and Tropical Geometry
di: Gallinaro, Francesco
Pubblicazione: (2022)

A note on quasi-perfect morphisms
di: De Deyn, Timothy, et al.
Pubblicazione: (2025)

Derived jet and arc spaces
di: Docampo, Roi, et al.
Pubblicazione: (2026)

A simplified proof of the o-minimal Whitney Extension Theorem
di: Kocel-Cynk, Beata, et al.
Pubblicazione: (2026)

More conservativity for weak Kőnig's lemma
di: Freund, Anton, et al.
Pubblicazione: (2024)

On Nash-Williams' Theorem regarding sequences with finite range
di: Pakhomov, Fedor, et al.
Pubblicazione: (2024)

Ellis enveloping semigroups in real closed fields
di: Baro, Elías, et al.
Pubblicazione: (2023)

Measuring birational derived splinters
di: De Deyn, Timothy, et al.
Pubblicazione: (2025)

Integral transforms on singularity categories for Noetherian schemes
di: Dutta, Uttaran, et al.
Pubblicazione: (2025)

La logique continue des corps globalement valués
di: Chambert-Loir, Antoine
Pubblicazione: (2025)

Sharply o-minimal structures and sharp cellular decomposition
di: Binyamini, Gal, et al.
Pubblicazione: (2022)

On topological groupoids that represent theories
di: Wrigley, Joshua
Pubblicazione: (2023)

Hochschild-Kostant-Rosenberg isomorphism for derived Deligne-Mumford stacks
di: Fu, Lie, et al.
Pubblicazione: (2025)

The reverse mathematics of bounded Ramsey's theorem for pairs
di: Houérou, Quentin Le, et al.
Pubblicazione: (2025)

The reverse mathematics of the pigeonhole hierarchy
di: Houérou, Quentin Le, et al.
Pubblicazione: (2024)

The Synthetic Hilbert Additive Group Scheme
di: Hedenlund, Alice, et al.
Pubblicazione: (2024)

Descending strong generation in algebraic geometry
di: De Deyn, Timothy, et al.
Pubblicazione: (2025)

A lower bound on the analytic log-canonical threshold over local fields of positive characteristic
di: Glazer, Itay, et al.
Pubblicazione: (2025)

Algebraic Independence of generic Painlevé Transcendents: P_III and P_VI
di: Nagloo, Joel
Pubblicazione: (2017)

Admissible subcategories and metric techniques
di: Rahul, Kabeer Manali
Pubblicazione: (2025)

Representability theorems via metric techniques
di: Rahul, Kabeer Manali
Pubblicazione: (2025)

Formalization of Harder-Narasimhan theory
di: Yuan, Yijun
Pubblicazione: (2025)

The Derivative of a Constructible Function is Constructible
di: Kaiser, Tobias
Pubblicazione: (2025)

Sites and Grothendieck toposes: an introduction
di: Caramello, Olivia, et al.
Pubblicazione: (2025)

Generation of Grothendieck topologies, provability and operations on subtoposes
di: Caramello, Olivia, et al.
Pubblicazione: (2025)

Dualizing complexes for algebraic stacks
di: Lank, Pat
Pubblicazione: (2026)

Formal Derived Algebraic Geometry
di: Chough, Chang-Yeon
Pubblicazione: (2024)