𝔖 Bobbio Scriptorium
✦   LIBER   ✦

On non-compact logics in NEXT(KTB)

✍ Scribed by Zofia Kostrzycka

Publisher
John Wiley and Sons
Year
2008
Tongue
English
Weight
137 KB
Volume
54
Category
Article
ISSN
0044-3050

No coin nor oath required. For personal study only.

✦ Synopsis

Abstract

In this paper we construct a continuum of logics, extensions of the modal logic T~2~ = KTB ⊕ □^2^p → □^3^p, which are non‐compact (relative to Kripke frames) and hence Kripke incomplete. (© 2008 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)

📜 SIMILAR VOLUMES

On local non-compactness in recursive ma
On local non-compactness in recursive mathematics
✍ Jakob G. Simonsen 📂 Article 📅 2006 🏛 John Wiley and Sons 🌐 English ⚖ 132 KB

## Abstract A metric space is said to be __locally non‐compact__ if every neighborhood contains a sequence that is eventually bounded away from every element of the space, hence contains no accumulation point. We show within recursive mathematics that a nonvoid complete metric space is locally non‐

Bernstein–Nikolskii and Plancherel–Polya
Bernstein–Nikolskii and Plancherel–Polya inequalities in Lp -norms on non-compact symmetric spaces
✍ Isaac Pesenson 📂 Article 📅 2009 🏛 John Wiley and Sons 🌐 English ⚖ 211 KB

## Abstract By using Bernstein‐type inequality we define analogs of spaces of entire functions of exponential type in __L~p~__ (__X__), 1 ≤ __p__ ≤ ∞, where __X__ is a symmetric space of non‐compact. We give estimates of __L~p~__ ‐norms, 1 ≤ __p__ ≤ ∞, of such functions (the Nikolskii‐type inequali