Cover Image

Formalization of non-Archimedean functional analysis 1: spherically complete spaces

Fuente: arXiv

Saved in:

Bibliographic Details
Main Author:	Yuan, Yijun
Format:	Preprint
Published:	2026
Subjects:	Number Theory Logic in Computer Science Functional Analysis 46S10, 68V20, 12J25, 11S99
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Non-Archimedean Tarski-Maligranda Inequalities
by: Krishna, K. Mahesh
Published: (2026)

An application of the spherical completion to finite-dimensional normed spaces
by: Ishizuka, Kosuke
Published: (2024)

Some compact-like properties in non-archimedean functional analysis
by: Ishizuka, Kosuke
Published: (2022)

p-adic Equiangular Lines and p-adic van Lint-Seidel Relative Bound
by: Krishna, K. Mahesh
Published: (2024)

Counter Examples in Non-Archimedean Locally Convex Spaces
by: Egwe, M. E., et al.
Published: (2025)

A spectral theorem for a non-Archimedean valued field whose residue field is formally real
by: Ishizuka, Kosuke
Published: (2024)

Paradoxical decompositions of finite-dimensional non-Archimedean normed spaces
by: Orzechowski, Kamil
Published: (2025)

The Banach-Tarski paradox for some subsets of finite-dimensional normed spaces over non-Archimedean valued fields
by: Orzechowski, Kamil
Published: (2024)

p-adic Ghobber-Jaming Uncertainty Principle
by: Krishna, K. Mahesh
Published: (2025)

The Banach-Tarski paradox in complete discretely valued fields
by: Orzechowski, Kamil
Published: (2026)

Complementation in Continuous Cohomology with Coefficients in Banach Modules
by: Klisse, Mario
Published: (2024)

p-adic Welch Bounds and p-adic Zauner Conjecture
by: Krishna, K. Mahesh
Published: (2022)

On the existential theory of the completions of a global field
by: Dittmann, Philip, et al.
Published: (2024)

Discrete subgroups of normed spaces are free
by: Kania, Tomasz, et al.
Published: (2024)

On the complete separation of unique $\ell_{1}$ spreading models and the Lebesgue property of Banach spaces
by: Gaebler, Harrison, et al.
Published: (2024)

Structural Hierarchy of Reid Class of non-Archimedean Banach Spaces
by: Mihara, Tomoki
Published: (2026)

Universally defining subrings in function fields
by: Daans, Nicolas, et al.
Published: (2024)

Dominating manifolds by radial spaces
by: Bronstein, Samuel
Published: (2025)

Abstract fractional linear transformations
by: Handelman, David
Published: (2025)

Ideals in the dual of introverted subspaces of $Ψ$-pseudomeasures
by: Dabra, Arvish, et al.
Published: (2024)

Amenability and Invariant subspaces of the algebra of pseudomeasures
by: Dabra, Arvish, et al.
Published: (2025)

Phase-isometries between the positive cones of the Banach space of continuous real-valued functions
by: Hirota, Daisuke, et al.
Published: (2024)

Consistent maps and their associated dual representation theorems
by: Samuels, Charles L.
Published: (2023)

Undecidability of expansions of Laurent series fields by cyclic discrete subgroups
by: Gitin, Leo
Published: (2024)

Quasianalyticity in certain Banach function algebras
by: Feinstein, J. F., et al.
Published: (2016)

Multivariable $p$-adic Hodge theory for products of Galois groups
by: Poyeton, Léo, et al.
Published: (2025)

A formal proof of the Ramanujan--Nagell theorem in Lean 4
by: Banwait, Barinder S.
Published: (2026)

A Note on Some Classes of Function Algebras
by: Egwe, Murphy E., et al.
Published: (2023)

p-adic Heisenberg-Robertson-Schrodinger and p-adic Maccone-Pati Uncertainty Principles
by: Krishna, K. Mahesh
Published: (2025)

p-adic Delsarte-Goethals-Seidel-Kabatianskii-Levenshtein-Pfender Bound
by: Krishna, K. Mahesh
Published: (2025)

Factorization in Haar system Hardy spaces
by: Lechner, Richard, et al.
Published: (2023)

Factorization in independent sums of Haar system Hardy spaces
by: Konstantos, Konstantinos, et al.
Published: (2025)

Non-Archimedean Brauer Oval (of Cassini) Theorem and Applications
by: Krishna, K. Mahesh
Published: (2026)

The rational Gurarii space and its linear isometry group
by: Kurka, Ondřej, et al.
Published: (2025)

Tate algebras and Frobenius non-splitting of excellent regular rings
by: Datta, Rankeya, et al.
Published: (2020)

The chain rule for $\mathcal F$-differentiation
by: Chaobankoh, T., et al.
Published: (2015)

Formalization of Harder-Narasimhan theory
by: Yuan, Yijun
Published: (2025)

Decidability of polynomial equations over function fields in positive characteristic
by: Daans, Nicolas
Published: (2025)

Umbel convexity and the geometry of trees
by: Baudier, Florent P., et al.
Published: (2021)

Linear relations among radicals
by: Perucca, Antonella
Published: (2025)