Helly's selection theorem and the principle of local reflexivity of ordered type
type: Item
instance of: scholarly article
title: Helly's selection theorem and the principle of local reflexivity of ordered type
zbMATH Open document ID: 0819.46014
DOI: 10.1016/0019-3577(94)90027-2
author: V. Pereyra
published in: Indagationes Mathematicae. New Series
publication date: 1995-08-17T00:00:00Z
Mathematics Subject Classification ID: 46B40
Mathematics Subject Classification ID: 46A40
zbMATH DE Number: 639727
zbMATH Keywords: ordered normed space with a positive cone
zbMATH Keywords: half-full injections
zbMATH Keywords: half- decomposable surjections
zbMATH Keywords: Helly's selection theorem of ordered type
zbMATH Keywords: principle of local reflexivity of ordered type
MaRDI profile type: MaRDI publication profile
full work available at URL: 0019-3577(94)90027-2
OpenAlex ID: W2036679749
cites work: On the principle of local reflexivity
cites work: The Equation L(E, X ∗ ∗ = L(E, X) ∗ ∗ and the Principle of Local Reflexivity
cites work: General principle of local reflexivity in the theory of cone duality
cites work: On bases, finite dimensional decompositions and weaker structures in Banach spaces
cites work: The \(L_ p\) spaces
cites work: Ordered linear spaces
cites work: Q5569793
cites work: Q4183861
cites work: Q5516366
cites work: Q4049667
cites work: Q3711080
cites work: The topology of uniform convergence on order-bounded sets
cites work: Schwartz Spaces, Nuclear Spaces and Tensor Products
cites work: Q4004227
cites work: Q5674497
cites work: Q5686501
cites work: Q5620934
Recommended article: Zermelo’s Well-Ordering Theorem in Type Theory
Recommended article: Q4247301
Recommended article: Q4246946
Recommended article: Hindman's theorem and idempotent types
Recommended article: Well-ordering proofs for Martin-Löf type theory
Recommended article: Q3216642
Recommended article: The insensitivity theorem for nonreducing reflexive types
Recommended article: Local reflection, definable elements and 1-provability
Recommended article: The Hurewicz theorem in homotopy type theory
Recommended article: A generalization of Shelah's omitting types theorem
description: scientific article; zbMATH DE number 639727