𝔖 Bobbio Scriptorium
✦   LIBER   ✦

On CLOSED SUBSETS OF THE INTUITIONISTIC REALS

✍ Scribed by Robin J. Grayson

Publisher
John Wiley and Sons
Year
1983
Tongue
English
Weight
174 KB
Volume
29
Category
Article
ISSN
0044-3050

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

A Note on Real Subsets of A Recursively
A Note on Real Subsets of A Recursively Saturated Model
✍ Athanassios Tzouvaras πŸ“‚ Article πŸ“… 1991 πŸ› John Wiley and Sons 🌐 English βš– 458 KB

## A NOTE ON REAL SUBSETS OF A RECURSIVELY SATURATED MODEL by ATHANASSIOS TZOWARAS in Thessaloniki (Greece) 9 0. Introduction Let L = [+, ., I , <, 0} be the language of Peano Arithmetic (PA) and let M be a countable recursively saturated model of PA. For every a E M let -a be the equivalence x -a

On the Cauchy completeness of the constr
On the Cauchy completeness of the constructive Cauchy reals
✍ Robert S. Lubarsky πŸ“‚ Article πŸ“… 2007 πŸ› John Wiley and Sons 🌐 English βš– 200 KB

## Abstract It is consistent with constructive set theory (without Countable Choice, clearly) that the Cauchy reals (equivalence classes of Cauchy sequences of rationals) are not Cauchy complete. Related results are also shown, such as that a Cauchy sequence of rationals may not have a modulus of c

Choice principles for special subsets of
Choice principles for special subsets of the real line
✍ Kyriakos Keremedis; Eleftherios Tachtsis πŸ“‚ Article πŸ“… 2003 πŸ› John Wiley and Sons 🌐 English βš– 171 KB

## Abstract We study the role the axiom of choice plays in the existence of some special subsets of ℝ and its power set β„˜(ℝ).