Copertina

Univalent Foundations of Constructive Algebraic Geometry

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autore principale:	Zeuner, Max
Natura:	Preprint
Pubblicazione:	2024
Soggetti:	Algebraic Geometry Logic
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

The Functor of Points Approach to Schemes in Cubical Agda
di: Zeuner, Max, et al.
Pubblicazione: (2024)

A Univalent Formalization of Constructive Affine Schemes
di: Zeuner, Max, et al.
Pubblicazione: (2022)

Counting Theorems for Algebraic Relations
di: Binyamini, Gal, et al.
Pubblicazione: (2026)

Chatelet's Theorem in Synthetic Algebraic Geometry
di: Coquand, Thierry, et al.
Pubblicazione: (2025)

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

Epimorphisms and Acyclic Types in Univalent Foundations
di: Buchholtz, Ulrik, et al.
Pubblicazione: (2024)

Hyperbolicity and model-complete fields
di: Szachniewicz, Michał, et al.
Pubblicazione: (2024)

Periods in Families and Derivatives of Period Maps
di: Bakker, Ben, et al.
Pubblicazione: (2024)

There is no Definable Grauert Direct Image Theorem
di: Esnault, Hélène, et al.
Pubblicazione: (2026)

Nash maps over large fields
di: Walsberg, Erik
Pubblicazione: (2025)

A curve and its abstract generalized Jacobian
di: Castle, Benjamin, et al.
Pubblicazione: (2026)

A note on the definability of genus for Zariski geometries
di: García, Darío, et al.
Pubblicazione: (2021)

Large implies henselian
di: Johnson, Will, et al.
Pubblicazione: (2025)

Curve-excluding fields
di: Johnson, Will, et al.
Pubblicazione: (2023)

Differentiable approximation of continuous definable maps that preserves the image
di: Carbone, Antonio
Pubblicazione: (2023)

Linear Logic and the Hilbert Scheme
di: Troiani, William, et al.
Pubblicazione: (2025)

Corrigendum to `Evaluation of motivic functions, non-nullity, and integrability in fibers', Advances in Mathematics, Vol. 409, Part A, Paper No. 108635, 29 pages, doi:10.1016/j.aim.2022.108635 (2022)
di: Cluckers, Raf, et al.
Pubblicazione: (2026)

Models of Abelian varieties over valued fields, using model theory
di: Halevi, Yatir
Pubblicazione: (2023)

Internalizing Representation Independence with Univalence
di: Angiuli, Carlo, et al.
Pubblicazione: (2020)

Grothendieck rings of polytopes and non-archimedean semi-algebraic sets
di: Nicaise, Johannes
Pubblicazione: (2024)

Partitioning Theorems for Sets of Semi-Pfaffian Sets, with Applications
di: Lotz, Martin, et al.
Pubblicazione: (2024)

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

Algebraic Closure of Matrix Sets Recognized by 1-VASS
di: Manssour, Rida Ait El, et al.
Pubblicazione: (2025)

Differential Elimination and Algebraic Invariants of Polynomial Dynamical Systems
di: Simmons, William, et al.
Pubblicazione: (2023)

Tensor spaces and the geometry of polynomial representations
di: Harman, Nate, et al.
Pubblicazione: (2024)

On geometrically $C_1$ fields
di: Kartas, Konstantinos
Pubblicazione: (2024)

Analytic holonomicity of real C$^{\mathrm{exp}}$-class distributions
di: Aizenbud, Avraham, et al.
Pubblicazione: (2024)

Motivic Mellin transforms
di: Cluckers, Raf, et al.
Pubblicazione: (2024)

Rational points of rigid-analytic sets: a Pila-Wilkie type theorem
di: Binyamini, Gal, et al.
Pubblicazione: (2022)

On Some Systems of Equations in Abelian Varieties
di: Gallinaro, Francesco
Pubblicazione: (2022)

The étale open topology over the fraction field of a henselian local domain
di: Johnson, Will, et al.
Pubblicazione: (2021)

When any four solutions are independent
di: Freitag, James
Pubblicazione: (2025)

A Pila--Wilkie theorem for Hensel minimal curves
di: Cantoral-Farfán, Victoria, et al.
Pubblicazione: (2021)

Hodge theory and o-minimality at CIRM
di: Baldi, Gregorio
Pubblicazione: (2025)

The tilting equivalence as a bi-interpretation
di: Rideau-Kikuchi, Silvain, et al.
Pubblicazione: (2025)

The Statement of Mochizuki's Corollary 3.12: Initial Theta Data
di: Dupuy, Taylor, et al.
Pubblicazione: (2020)

Decidability of some complicated structures definable in $\mathbb{C}(t)$
di: Scanlon, Thomas
Pubblicazione: (2025)

Perfectoid $C_i$ transfer
di: Kartas, Konstantinos
Pubblicazione: (2025)

Approximating parametric suprema for constructible and power-constructible functions
di: Buggenhout, Tijs, et al.
Pubblicazione: (2026)

Serre depth and local cohomology
di: Ficarra, Antonino
Pubblicazione: (2026)