𝔖 Bobbio Scriptorium
✦   LIBER   ✦

On Recursively Enumerable and Arithmetic Models of Set Theory

✍ Scribed by Michael O. Rabin

Book ID
124950639
Publisher
Association for Symbolic Logic
Year
1958
Tongue
English
Weight
268 KB
Volume
23
Category
Article
ISSN
0022-4812

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__.