ON SOME INTERPRETATIONS OF CLASSICAL LOGIC

In distinction from the well-known double-negation embeddings of the classical logic we consider some variants of single-negation embeddings and describe some classes of superintuitionistic first-order predicate logics in which the classical first-order calculus is interpretable in such a way. Also we find the minimal extensions of Heyting's logic in which the classical predicate logic can be embedded by means of these translations.     

Characterization of embeddings of Sobolev-type spaces into generalized Hölder spaces defined by Lp-modulus of smoothness

We prove a sharp estimate for the k-modulus of smoothness, modelled upon a $L^p$-Lebesgue space, of a function f in $W^k{L}^{\frac{pn}{n+kp},p}(\mathrm{\Omega })$, where Ω is a domain with minimally smooth boundary and finite Lebesgue measure, $k,n\in \mathbb{N}$, $k<n$ and $\frac{n}{n?k}<p<+\infty$. This sharp estimate is used to establish necessary and sufficient conditions for continuous embeddings of Sobolev-type spaces into generalized Hölder spaces defined by means of the k-modulus of smoothness. General results are illustrated with examples. In particular, we obtain a generalization of the classical Jawerth embeddings.     

On a problem of Eidelheit from The Scottish Book concerning absolutely continuous functions

A negative solution of Problem 188 posed by Max Eidelheit in the Scottish Book concerning superpositions of separately absolutely continuous functions is presented. We discuss here this and some related problems which have also negative solutions. Finally, we give an explanation of such negative answers from the “embeddings of Banach spaces” point of view.     

A duality principle in weighted Sobolev spaces on the real line

An embedding inequality of Sobolev type is characterized in the paper with help of a duality principle and boundedness criteria for the Hardy–Steklov integral operator in weighted Lebesgue spaces.     

On the existence of nearly Kirkman triple systems with subsystems

It is proved in this paper that the necessary and sufficient conditions for the existence of an incomplete nearly Kirkman triple system INKTS(u, v) are u ≡ v ≡ 0 (mod 6), u ≥ 3v. As a consequence, we obtain a complete solution to the embedding problem for nearly Kirkman triple systems.      

Periodic Solutions of Two-Dimensional Forced Systems: The Massera Theorem and Its Extension

We assume that all solutions of a two-dimensional, periodically forced differential system (of period T) can be continued for all future time. If there exists one solution that is future bounded, then there exists a solution of period T (Theorem 3.4). This is the Massera theorem. To extend the Massera theorem, we assume that there exists a future bounded solution that is also bounded away from a known T-periodic solution . We prove that either there is another periodic solution of period qT for some integer q 1 or all compact motions that remain a finite distance from have a well-defined irrational rotation number about (Theorem 4.3).     

Embedding the three-dimensional pseudo-sphere

We construct the embedding of the manifold x ² + y ² − u ² − v ² = 1 carrying the most general homogeneous metric into the eight-dimensional pseudo sphere.     

Mixed norm spaces and rearrangement invariant estimates

Our main goal in this work is to further improve the mixed norm estimates due to Fournier [13], and also Algervik and Kolyada [1], to more general rearrangement invariant (r.i.) spaces. In particular we find the optimal domains and the optimal ranges for these embeddings between mixed norm spaces and r.i. spaces.