:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Bakker, Ben, Pila, Jonathan, Tsimerman, Jacob
Format:	Preprint
Published:	2024
Subjects:	Algebraic Geometry Logic
Online Access:	https://arxiv.org/abs/2410.01248
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

CM points have everywhere good reduction
by: Bakker, Benjamin, et al.
Published: (2024)

Canonical Heights on Shimura Varieties and the André-Oort Conjecture
by: Pila, Jonathan, et al.
Published: (2021)

Integral canonical models of exceptional Shimura varieties
by: Bakker, Benjamin, et al.
Published: (2024)

Finiteness of function field-valued points on exceptional Shimura varieties
by: Bakker, Benjamin, et al.
Published: (2025)

Finiteness for self-dual classes in integral variations of Hodge structure
by: Bakker, Benjamin, et al.
Published: (2021)

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

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

Univalent Foundations of Constructive Algebraic Geometry
by: Zeuner, Max
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)

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)

Boundedness of the Images of Period Maps
by: Liu, Kefeng, et al.
Published: (2014)

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)

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

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)

Formalizing $A_1^{(1)}$ Curve Neighborhoods in Lean 4
by: Huang, Yihe, et al.
Published: (2026)

On the generalized toroidal completion of period mappings
by: Deng, Haohua, et al.
Published: (2025)