Separable reduction theorems by the method of elementary submodels

DOI10.4064/FM219-3-1zbMATH Open1270.46015arXiv1101.1627OpenAlexW2164696899MaRDI QIDQ3144063FDOQ3144063

Authors: Marek Cúth 

Publication date: 6 December 2012

Published in: Fundamenta Mathematicae (Search for Journal in Brave)

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.

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

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

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)

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
• Title not available (Why is that?)
• 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
• Title not available (Why is that?)
• 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)