𝔖 Bobbio Scriptorium
✦   LIBER   ✦

A consistent definition of the number density of pseudo-isotopes

✍ Scribed by Z. Weiss


Publisher
Elsevier Science
Year
1990
Tongue
English
Weight
249 KB
Volume
17
Category
Article
ISSN
0306-4549

No coin nor oath required. For personal study only.


πŸ“œ SIMILAR VOLUMES


The shortest definition of a number in P
✍ Dev K. Roy πŸ“‚ Article πŸ“… 2003 πŸ› John Wiley and Sons 🌐 English βš– 89 KB πŸ‘ 2 views

## Abstract The shortest definition of a number by a first order formula with one free variable, where the notion of a formula defining a number extends a notion used by Boolos in a proof of the Incompleteness Theorem, is shown to be non computable. This is followed by an examination of the complex

On the density matrix definition of vale
✍ Omar G. Stradella; Hugo O. Villar; Eduardo A. Castro πŸ“‚ Article πŸ“… 1986 πŸ› Springer 🌐 English βš– 211 KB
A diophantine definition of integers in
✍ Alexandra Shlapentokh πŸ“‚ Article πŸ“… 1991 πŸ› John Wiley and Sons 🌐 English βš– 568 KB

## Abstract The author considers rings of rational numbers which are integral at all the primes except, possibly, primes contained in a finite set. In such rings a Diophantine definition of β„€ is constructed to show that all the recursively enumerable subsets of the ring are Diophantine.