Finitary sequence spaces

Mathematical Logic Quarterly 39 (1):416-430 (1993)
  Copy   BIBTEX

Abstract

This paper studies the metric structure of the space Hr of absolutely summable sequences of real numbers with at most r nonzero terms. Hr is complete, and is located and nowhere dense in the space of all absolutely summable sequences. Totally bounded and compact subspaces of Hr are characterized, and large classes of located, totally bounded, compact, and locally compact subspaces are constructed. The methods used are constructive in the strict sense. MSC: 03F65, 54E50

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,628

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Definable Types Over Banach Spaces.José Iovino - 2005 - Notre Dame Journal of Formal Logic 46 (1):19-50.
A Constructive View on Ergodic Theorems.Bas Spitters - 2006 - Journal of Symbolic Logic 71 (2):611 - 623.
On the Cauchy completeness of the constructive Cauchy reals.Robert S. Lubarsky - 2007 - Mathematical Logic Quarterly 53 (4‐5):396-414.
Classifying Dini's Theorem.Josef Berger & Peter Schuster - 2006 - Notre Dame Journal of Formal Logic 47 (2):253-262.
Dynamic topological logic of metric spaces.David Fernández-Duque - 2012 - Journal of Symbolic Logic 77 (1):308-328.
Recantation or any old w-sequence would do after all.Paul Benacerraf - 1996 - Philosophia Mathematica 4 (2):184-189.
Flat Morley sequences.Ludomir Newelski - 1999 - Journal of Symbolic Logic 64 (3):1261-1279.

Analytics

Added to PP
2013-12-01

Downloads
8 (#1,312,052)

6 months
1 (#1,461,875)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

Foundations of Constructive Analysis.John Myhill - 1972 - Journal of Symbolic Logic 37 (4):744-747.
Constructive Analysis.Errett Bishop & Douglas Bridges - 1987 - Journal of Symbolic Logic 52 (4):1047-1048.

Add more references