Separable reduction theorems by the method of elementary submodels

DOI10.4064/FM219-3-1MaRDI QIDQ3144063zbMATH OpenOpenAlexFDO

Authors Marek Cúth

Publication date 6 December 2012

Published in Fundamenta Mathematicae (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://arxiv.org/abs/1101.1627

zbMATH Keywords

residual setporous setelementary submodelseparable reductionFréchet differentiability

Mathematics Subject Classification ID

Other model constructions (03C30) Nonseparable Banach spaces (46B26) Model theory of denumerable and separable structures (03C15) Applications of model theory (03C98)

Abstract: We introduce an interesting method of proving separable reduction theorems - the method of elementary submodels. We are studying whether it is true that a set (function) has given property if and only if it has this property with respect to a special separable subspace, dependent only on the given set (function). We are interested in properties of sets "to be dense, nowhere dense, meager, residual or porous" and in properties of functions "to be continuous, semicontinuous or Fr'echet differentiable". Our method of creating separable subspaces enables us to combine our results, so we easily get separable reductions of function properties such as "be continuous on a dense subset", "be Fr'echet differentiable on a residual subset", etc. Finally, we show some applications of presented separable reduction theorems and demonstrate that some results of Zajicek, Lindenstrauss and Preiss hold in nonseparable setting as well.

Recommendations

• Separable reduction in the theory of Fréchet subdifferentials
• Separable reduction revisited
• A SHORT PROOF OF THE SEPARABLE REDUCTION THEOREM
• Separable reductions and rich families in the theory of Fréchet subdifferentials
• On separable determination of \(\sigma\)-\(\mathbf P\)-porous sets in Banach spaces

Cited in

(15)

• Fréchet differentiability via partial Fréchet differentiability
• On projectional skeletons in Vašák spaces
• Monotone retractability and retractional skeletons
• Characterizations of weakly \(\mathcal{K} \)-analytic and Vašák spaces using projectional skeletons and separable PRI
• scientific article; zbMATH DE number 1786787 (Why is no real title available?)
• Characterization of (semi-)Eberlein compacta using retractional skeletons
• Decompositions of preduals of JBW and \(\text{JBW}^\ast\) algebras
• Asplund spaces characterized by rich families and separable reduction of Fréchet subdifferentiability
• On separable determination of \(\sigma\)-\(\mathbf P\)-porous sets in Banach spaces
• Separable reduction in the theory of Fréchet subdifferentials
• Separable reductions and rich families in the theory of Fréchet subdifferentials
• scientific article; zbMATH DE number 427681 (Why is no real title available?)
• On reduction and separation of projective sets in Tychonoff spaces
• Rich families and elementary submodels
• \(\sigma \)-porosity is separably determined.

This page was built for publication: Separable reduction theorems by the method of elementary submodels

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3144063)