Separable Banach space theory needs strong set existence axioms

DOI10.1090/S0002-9947-96-01725-4zbMath0857.03036WikidataQ114633638 ScholiaQ114633638MaRDI QIDQ4717119

Stephen G. Simpson, A. James Humphreys

Publication date: 11 March 1997

Published in: Transactions of the American Mathematical Society (Search for Journal in Brave)

zbMATH Keywords

reverse mathematicsKrein-Šmulian theoremsubsystems of second order arithmeticweak-\(*\) topologystrength of set existence axioms needed for separable Banach space theoryweak-\(*\) sequential closure ordinals

Mathematics Subject Classification ID

Banach sequence spaces (46B45) Duality and reflexivity in normed linear and Banach spaces (46B10) Second- and higher-order arithmetic and fragments (03F35)

Related Items (6)

Separation and Weak König's Lemma ⋮ Weak$^*$ closures and derived sets for convex sets in dual Banach spaces ⋮ On subspaces whose weak$^*$ derived sets are proper and norm dense ⋮ Primitive recursive reverse mathematics ⋮ Weak\(^\ast\) derived sets of convex sets in duals of non-reflexive spaces ⋮ Homology of Normal Chains and Cohomology of Charges

This page was built for publication: Separable Banach space theory needs strong set existence axioms