✦ LIBER ✦

Sharply Bounded Alternation and Quasilinear Time

✍ Scribed by S. A. Bloch; J. F. Buss; J. Goldsmith

Publisher: Springer
Year: 1998
Tongue: English
Weight: 227 KB
Volume: 31
Category: Article
ISSN: 1433-0490
DOI: 10.1007/s002240000085

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

The strength of sharply bounded inductio

The strength of sharply bounded induction

✍ Emil Jeřábek 📂 Article 📅 2006 🏛 John Wiley and Sons 🌐 English ⚖ 186 KB

## Abstract We prove that the sharply bounded arithmetic T^0^~2~ in a language containing the function symbol ⌊__x__ /2^__y__^ ⌋ (often denoted by MSP) is equivalent to PV~1~. (© 2006 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)

A Remark on Independence Results for Sha

A Remark on Independence Results for Sharply Bounded Arithmetic

✍ Jan Johannsen 📂 Article 📅 1998 🏛 John Wiley and Sons 🌐 English ⚖ 193 KB

The purpose of this note is to show that the independence results for sharply bounded arithmetic of Takeuti [4] and Tada and Tatsuta [3] can be obtained and, in case of the latter, improved by the model-theoretic method developed by the author in [2].

A Model-Theoretic Property of Sharply Bo

A Model-Theoretic Property of Sharply Bounded Formulae, with some Applications

✍ Jan Johannsen 📂 Article 📅 1998 🏛 John Wiley and Sons 🌐 English ⚖ 581 KB

We define a property of substructures of models of arithmetic, that of being length-initial, and show that sharply bounded formulae are absolute between a model and its length-initial submodels. We use this to prove independence results for some weak fragments of bounded arithmetic by constructing a

Alternation theory in approximation by p

Alternation theory in approximation by polynomials having bounded coefficients

✍ Shusheng Xu 📂 Article 📅 1994 🏛 Institute of Applied Mathematics, Chinese Academy 🌐 English ⚖ 570 KB

Liouville theorems and gradient bounds f

Liouville theorems and gradient bounds for quasilinear elliptic systems

✍ James Serrin 📂 Article 📅 1977 🏛 Springer 🌐 English ⚖ 610 KB

Local stabilization for linear discrete-

Local stabilization for linear discrete-time systems with bounded controls and norm-bounded time-varying uncertainty

✍ Sophie Tarbouriech; Germain Garcia 📂 Article 📅 1998 🏛 John Wiley and Sons 🌐 English ⚖ 139 KB 👁 2 views

The problem of the local stabilization of linear discrete-time systems subject to bounded controls and suffering from uncertainty of the norm-bounded time-varying type is addressed. From the solution of a certain discrete Riccati equation, a control gain and a set of safe initial conditions are obta