:: Library Catalog

Imagen de Portada

Guardado en:

Detalles Bibliográficos
Autor principal:	Zeuner, Max
Formato:	Preprint
Publicado:	2024
Materias:	Algebraic Geometry Logic
Acceso en línea:	https://arxiv.org/abs/2407.17362
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

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

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

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

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

Counting Theorems for Algebraic Relations
por: Binyamini, Gal, et al.
Publicado: (2026)

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

Internalizing Representation Independence with Univalence
por: Angiuli, Carlo, et al.
Publicado: (2020)

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

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

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

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

Nash maps over large fields
por: Walsberg, Erik
Publicado: (2025)

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

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

Large implies henselian
por: Johnson, Will, et al.
Publicado: (2025)

Curve-excluding fields
por: Johnson, Will, et al.
Publicado: (2023)

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

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

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

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

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

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

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

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

On geometrically $C_1$ fields
por: Kartas, Konstantinos
Publicado: (2024)

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

Motivic Mellin transforms
por: Cluckers, Raf, et al.
Publicado: (2024)

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

On Some Systems of Equations in Abelian Varieties
por: Gallinaro, Francesco
Publicado: (2022)

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

When any four solutions are independent
por: Freitag, James
Publicado: (2025)

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

Hodge theory and o-minimality at CIRM
por: Baldi, Gregorio
Publicado: (2025)

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

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

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

Perfectoid $C_i$ transfer
por: Kartas, Konstantinos
Publicado: (2025)

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

Serre depth and local cohomology
por: Ficarra, Antonino
Publicado: (2026)