𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Defining reals without the use of rationals

✍ Scribed by N.G de Bruijn

Book ID
103998094
Publisher
Elsevier Science
Year
1976
Weight
571 KB
Volume
79
Category
Article
ISSN
1385-7258

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

Chaotic Orderings of the Rationals and R
Chaotic Orderings of the Rationals and Reals
✍ Hayri Ardal, Tom Brown and Veselin JungiΔ‡ πŸ“‚ Article πŸ“… 2011 πŸ› Mathematical Association of America 🌐 English βš– 221 KB
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

A Definable Nonstandard Model of the Rea
A Definable Nonstandard Model of the Reals
✍ Vladimir Kanovei and Saharon Shelah πŸ“‚ Article πŸ“… 2004 πŸ› Association for Symbolic Logic 🌐 English βš– 641 KB
Rational Delays: The Case of Real Estate
Rational Delays: The Case of Real Estate
✍ Stephen Day Cauley; Andrey D. Pavlov πŸ“‚ Article πŸ“… 2002 πŸ› Springer US 🌐 English βš– 527 KB