:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Author:	Zeuner, Max
Format:	Preprint
Published:	2024
Subjects:	Algebraic Geometry Logic
Online Access:	https://arxiv.org/abs/2407.17362
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

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

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

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

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

Counting Theorems for Algebraic Relations
by: Binyamini, Gal, et al.
Published: (2026)

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

Internalizing Representation Independence with Univalence
by: Angiuli, Carlo, et al.
Published: (2020)

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

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

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

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

Nash maps over large fields
by: Walsberg, Erik
Published: (2025)

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

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

Large implies henselian
by: Johnson, Will, et al.
Published: (2025)

Curve-excluding fields
by: Johnson, Will, et al.
Published: (2023)

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

Linear Logic and the Hilbert Scheme
by: Troiani, William, et al.
Published: (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)
by: Cluckers, Raf, et al.
Published: (2026)

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

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

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

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

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

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

On geometrically $C_1$ fields
by: Kartas, Konstantinos
Published: (2024)

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

Motivic Mellin transforms
by: Cluckers, Raf, et al.
Published: (2024)

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

On Some Systems of Equations in Abelian Varieties
by: Gallinaro, Francesco
Published: (2022)

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

When any four solutions are independent
by: Freitag, James
Published: (2025)

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

Hodge theory and o-minimality at CIRM
by: Baldi, Gregorio
Published: (2025)

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

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

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

Perfectoid $C_i$ transfer
by: Kartas, Konstantinos
Published: (2025)

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

Serre depth and local cohomology
by: Ficarra, Antonino
Published: (2026)