𝔖 Bobbio Scriptorium
✦   LIBER   ✦

The Mathematics of Metamathematicsby Helena Rasiowa; Roman Sikorski

✍ Scribed by Review by: Donald Monk

Book ID
124959775
Publisher
Association for Symbolic Logic
Year
1967
Tongue
English
Weight
319 KB
Volume
32
Category
Article
ISSN
0022-4812

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

An Extension of the Lemma of Rasiowa and
An Extension of the Lemma of Rasiowa and Sikorski
✍ JΓΆrg Flum πŸ“‚ Article πŸ“… 1998 πŸ› John Wiley and Sons 🌐 English βš– 276 KB

We prove an extension of the Lemma of Rasiowa and Sikorski and give some applications. Moreover, we analyze the relationship to corresponding results on the omission of types.