✦ LIBER ✦

On the problem of deciding equality in partial combinatory algebras and in a formal system

✍ Scribed by Giuseppa Longo

Publisher: Springer Netherlands
Year: 1976
Tongue: English
Weight: 670 KB
Volume: 35
Category: Article
ISSN: 0039-3215
DOI: 10.1007/bf02123403

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Problem of choosing the implementation o

Problem of choosing the implementation of components in a PC interactive system and its solution by a combinatorial model

✍ V. A. Patrushev 📂 Article 📅 1994 🏛 Springer US 🌐 English ⚖ 242 KB

High-order conditions for a minimum on a

High-order conditions for a minimum on a set of sequences in the abstract problem with inequality and equality constraints

✍ A. A. Milyutin; N. P. Osmolovskii 📂 Article 📅 1993 🏛 Springer 🌐 English ⚖ 479 KB

On the problem of electron localization

On the problem of electron localization in a two-dimensional system

✍ V. L. Bonch-Bruevich; A. G. Mironov 📂 Article 📅 1982 🏛 John Wiley and Sons 🌐 English ⚖ 378 KB

## Abstract Renormalization group method is extended to take account of the correlation between the energy levels. It is shown that in a __d__ = 2 system, as contrasted to __d__ = 1 and __d__ = 3, all or not all levels are localized depending upon some dynamical properties of the system.

Local and global uniqueness of a solutio

Local and global uniqueness of a solution to the problem of determining a nonlinear coefficient in a system of partial differential equations

✍ A. M. Denisov 📂 Article 📅 1995 🏛 SP MAIK Nauka/Interperiodica 🌐 English ⚖ 563 KB

On formalism of the Lebesgue-Stieltjes i

On formalism of the Lebesgue-Stieltjes integral and related derivatives in the theory of a generalized Sturm-Liouville problem

✍ Yu. V. Pokornyi; M. B. Klyueva; O. Yu. Pokornaya 📂 Article 📅 2007 🏛 Springer US 🌐 English ⚖ 150 KB

On the problem of small motions and norm

On the problem of small motions and normal oscillations of a viscous fluid in a partially filled container

✍ Tomas Ya. Azizov; Volker Hardt; Nikolay D. Kopachevsky; Reinhard Mennicken 📂 Article 📅 2003 🏛 John Wiley and Sons 🌐 English ⚖ 426 KB

## Abstract The famous classical S. Krein problem of small motions and normal oscillations of a viscous fluid in a partially filled container is investigated by a new approach based on a recently developed theory of operator matrices with unbounded entries. The initial boundary value problem is red