𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Representability in some systems of second order arithmetic

✍ Scribed by P. Aczel

Book ID
112896323
Publisher
The Hebrew University Magnes Press
Year
1970
Tongue
English
Weight
769 KB
Volume
8
Category
Article
ISSN
0021-2172

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

Uniform versions of some axioms of secon
Uniform versions of some axioms of second order arithmetic
✍ Nobuyuki Sakamoto; Takeshi Yamazaki πŸ“‚ Article πŸ“… 2004 πŸ› John Wiley and Sons 🌐 English βš– 132 KB

## Abstract In this paper, we discuss uniform versions of some axioms of second order arithmetic in the context of higher order arithmetic. We prove that uniform versions of weak weak KΓΆnig's lemma WWKL and Ξ£^0^~1~ separation are equivalent to (βˆƒ^2^) over a suitable base theory of higher order arit