𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Riesz representation theorem, Borel measures and subsystems of second-order arithmetic

✍ Scribed by Xiaokang Yu

Publisher
Elsevier Science
Year
1993
Tongue
English
Weight
811 KB
Volume
59
Category
Article
ISSN
0168-0072

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

Determinacy of Wadge classes and subsyst
Determinacy of Wadge classes and subsystems of second order arithmetic
✍ Takako Nemoto πŸ“‚ Article πŸ“… 2009 πŸ› John Wiley and Sons 🌐 English βš– 274 KB

## Abstract In this paper we study the logical strength of the determinacy of infinite binary games in terms of second order arithmetic. We define new determinacy schemata inspired by the Wadge classes of Polish spaces and show the following equivalences over the system RCA~0~\*, which consists of

The Riesz Representation Theorem and Ext
The Riesz Representation Theorem and Extension of Vector Valued Additive Measures
✍ Benedetto Bongiorno; Nicolae Dinculeanu πŸ“‚ Article πŸ“… 2001 πŸ› Elsevier Science 🌐 English βš– 191 KB

let m β†’ E be a finitely additive measure with finite semivariation, defined on a Ξ΄-ring of subsets of a given set S. A theory of integration of vector-valued functions f S β†’ E, applicable to the stochastic integration in Banach spaces, is developed in [6, Sect. 5]. Many times a measure m is defined

Infinite games in the Cantor space and s
Infinite games in the Cantor space and subsystems of second order arithmetic
✍ Takako Nemoto; MedYahya Ould MedSalem; Kazuyuki Tanaka πŸ“‚ Article πŸ“… 2007 πŸ› John Wiley and Sons 🌐 English βš– 202 KB

## Abstract In this paper we study the determinacy strength of infinite games in the Cantor space and compare them with their counterparts in the Baire space. We show the following theorems: 1. RCA~0~ ⊒ $ \Delta^0\_1 $‐Det\* ↔ $ \Sigma^0\_1 $‐Det\* ↔ WKL~0~. 2. RCA~0~ ⊒ ($ \Sigma^0\_1 $)2‐Det\* ↔