𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Fixpoints Without the Natural Numbers

✍ Scribed by B. Banaschewski

Publisher
John Wiley and Sons
Year
1991
Tongue
English
Weight
206 KB
Volume
37
Category
Article
ISSN
0044-3050

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

The natural numbers in constructive set
The natural numbers in constructive set theory
✍ Michael Rathjen πŸ“‚ Article πŸ“… 2008 πŸ› John Wiley and Sons 🌐 English βš– 191 KB πŸ‘ 1 views

## Abstract Constructive set theory started with Myhill's seminal 1975 article [8]. This paper will be concerned with axiomatizations of the natural numbers in constructive set theory discerned in [3], clarifying the deductive relationships between these axiomatizations and the strength of various

On Ξ£-definability without equality over
On Ξ£-definability without equality over the real numbers
✍ Andrei S. Morozov; Margarita V. Korovina πŸ“‚ Article πŸ“… 2008 πŸ› John Wiley and Sons 🌐 English βš– 139 KB

## Abstract In [5] (1982) it has been shown that for first‐order definability over the reals there exists an effective procedure which by a finite formula with equality defining an open set produces a finite formula without equality that defines the same set. In this paper we prove that there exist