✦ LIBER ✦

Cut-elimination for impredicative infinitary systems part I. Ordinal-analysis for ID1

✍ Scribed by Pohlers, W.

Publisher: Springer-Verlag
Year: 1981
Weight: 942 KB
Volume: 21
Category: Article
ISSN: 0003-9268
DOI: 10.1007/bf02011638

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Cut elimination for impredicative infini

Cut elimination for impredicative infinitary systems. Part II ordinal analysis for iterated inductive definitions

✍ Pohlers, W. 📂 Article 📅 1980 🏛 Springer-Verlag ⚖ 826 KB

Hybrid power flow analysis using couplin

Hybrid power flow analysis using coupling loss factor of SEA for low-damping system—Part I: Formulation of 1-D and 2-D cases

✍ Young-Ho Park; Suk-Yoon Hong 📂 Article 📅 2007 🏛 Elsevier Science 🌐 English ⚖ 566 KB

Perspectives of data analysis of enzyme

Perspectives of data analysis of enzyme inhibition and activation, Part 1: Use of the three-dimensional Km′ V′I coordinate system for data analysis of enzyme inhibition and activation

✍ Vladimir I. Krupyanko 📂 Article 📅 2009 🏛 John Wiley and Sons 🌐 English ⚖ 111 KB 👁 2 views

## Abstract The possibility of construction of the three‐dimensional (unfolded and folded) __K__~m~′ __V__′__I__ rectangular coordinate systems convenient for vector representation of inhibited and activated enzymatic reactions as well as of a two‐dimensional __K__~m~′ __V__′ scalar rectangular coo