𝔖 Bobbio Scriptorium
✦   LIBER   ✦

On the effective ω-rule

✍ Scribed by Warren D. Goldfarb

Publisher
John Wiley and Sons
Year
1975
Tongue
English
Weight
315 KB
Volume
21
Category
Article
ISSN
0044-3050

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

ON THE ITERATED ω-RULE
ON THE ITERATED ω-RULE
✍ Grzegorz Michalski 📂 Article 📅 1992 🏛 John Wiley and Sons 🌐 English ⚖ 235 KB

## Abstract Let Γ~__n__~(φ) be a formula of L~PA~ (PA = Peano Arithmetic) meaning “there is a proof of φ from PA‐axioms, in which ω‐rule is iterated no more than __n__ times”. We examine relations over pairs of natural numbers of the kind. (__n__, __k__) ≦~__H__~ (__n', k__') iff PA + RFN~__n__'~

cover
The rule of one. 01
✍ Saunders, Ashley; Saunders, Leslie 📂 Fiction 📅 2018 🏛 Skyscape 🌐 English ⚖ 167 KB 👁 2 views

"In the near-future United States, a one-child policy is ruthlessly enforced. Everyone follows the Rule of One. But Ava Goodwin, daughter of the head of the Texas Family Planning Division, has a secret--one her mother died to keep and her father has helped to hide for her entire life. She has an ide

cover
The Rule
✍ Maggie Cole 📂 Fiction 📅 2019 🏛 Pulse Press 🌐 English ⚖ 214 KB 👁 3 views