AI-generated, human-verified proofs of five open Banach-space problems, including primariness of Lp(L1) and a unital Banach algebra that is not any Calkin algebra.
Dodos, Banach Spaces and Descriptive Set Theory: Selected Topics, Lecture Notes in Mathematics 1993
1 Pith paper cite this work, alongside 47 external citations. Polarity classification is still indexing.
1
Pith paper citing it
47
external citations · OpenAlex
fields
math.FA 1years
2026 1verdicts
CONDITIONAL 1representative citing papers
citing papers explorer
-
Mathematical Discovery in the Wild: AI-Guided Proofs in Banach Space Theory
AI-generated, human-verified proofs of five open Banach-space problems, including primariness of Lp(L1) and a unital Banach algebra that is not any Calkin algebra.