𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Relatively precomplete numerations and arithmetic

✍ Scribed by Franco Montagna

Book ID
104704753
Publisher
Springer Netherlands
Year
1982
Tongue
English
Weight
529 KB
Volume
11
Category
Article
ISSN
0022-3611

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

Relatively Recursively Enumerable Versus
Relatively Recursively Enumerable Versus Relatively Ξ£1 in Models of Peano Arithmetic
✍ Grzegorz Michalski πŸ“‚ Article πŸ“… 1995 πŸ› John Wiley and Sons 🌐 English βš– 416 KB

## Abstract We show that that every countable model of __PA__ has a conservative extension __M__ with a subset __Y__ such that a certain Ξ£~1~(__Y__)‐formula defines in __M__ a subset which is not r. e. relative to __Y__.

Mycenaean Arithmetic and Numeration
Mycenaean Arithmetic and Numeration
✍ Sterling Dow πŸ“‚ Article πŸ“… 1958 πŸ› University of Chicago Press 🌐 English βš– 510 KB