2 citations · 2 across the 10 of their papers we have counts for
5 papers · 1 filter
Aliprantis's questions on locally solid topologies
David Muñoz-Lahoz, Mitchell A. Taylor, Pedro Tradacete
In 1974, C. D. Aliprantis posed several questions concerning topological completions of locally solid vector lattices. We answer all of them in the negative. We construct Hausdorff…
The Banach lattice Lean library
David Muñoz-Lahoz
We present a Lean 4 library for the theory of Banach lattices. Its purpose is to support the systematic formalization of contemporary research in Banach lattices and related areas.…
Banach lattices and phase retrieval: A case study for the use of AI in mathematics
Jaume de Dios Pont, Lukas Liehr, David Muñoz-Lahoz +2
The ability of large language models to assist professional mathematicians has been progressing rapidly. Earlier this year, a group of researchers in Banach lattice theory and phas…
Lattice-ordered algebras admitting a polynomial growth continuous function calculus
David Muñoz-Lahoz
We characterize the Archimedean lattice-ordered algebras with identity that admit a polynomial growth continuous function calculus. More precisely, for an -tuple $\mathbf{x}=(x_…
Wickstead's conjecture on positive projections and non-representable Banach lattice algebras
David Muñoz-Lahoz
Let be a Dedekind complete Banach lattice, and let be a positive projection for which the largest central operator below is , for som…