Dimension theory and parameterized normalization for D-semianalytic sets over non-Archimedean fields
Y. Firat Celikler
Abstract
We develop a dimension theory for D-semianalytic sets over an arbitrary non-Archimedean complete field. Our main results are the equivalence of several notions of dimension and a theorem on additivity of dimensions of projections and fibers in characteristic 0. We also prove a parameterized version of normalization for D-semianalytic sets.
Create a lesson
Related papers
Internal Languages for Thin Epsilon-Hyperdoctrines: Soundness, Completeness, and Rocq Formalization
Zoltán Gábor Molnár, Csaba Tóth
Nonstandard combinatorial ultrafilters and a new local witness model
Johannes Heil, Moritz Müller
A Countable Three-Generated Orthomodular Lattice with No σ-Complete Embedding
Joaquim Reizi Higuchi
Order-preserving maps of the Turing degrees: regularity and consistency strength
Liang Yu
A Nullstellensatz for the field of complex Laurent series
Pablo Cubides Kovacsics, Sebastián Uribe Rincón
Controlling The Skips of Arithmetic Sets
Taeyoung Em