Related papers: A Comment on Budach's Mouse-in-an-Octant Problem

We deal with the monadic (second-order) theory of order. We prove all known results in a unified way, show a general way of reduction, prove more results and show the limitation on extending them. We prove (CH) that the monadic theory of…

We study the Cauchy problem of higher dimensional Einstein-Maxwell-Higgs system in the framework of Bondi coordinates. As a first step, the problem is reduced to a single first-order integro-differential equation by defining a generalized…

In this paper, we investigate holomorphic mappings $F$ on the unit ball $\mathbb{B}$ of a complex Banach space of the form $F(x)=f(x)x$, where $f$ is a holomorphic function on $\mathbb{B}$. First, we investigate criteria for univalence,…

The ``multiple of the inclusion plus compact problem'' which was posed by T.W. Gowers in 1996 and Th. Schlumprecht in 2003, asks whether for every infinite dimensional Banach space $X$ there exists a closed subspace $Y$ of $X$ and a bounded…

In this paper we explore a connection between descriptive set theory and inner model theory. From descriptive set theory, we will take a countable, definable set of reals, A. We will then show that A is equal to the reals of M, where M is a…

We address the problem of existence and (non-)uniqueness of solutions $\big(c,u(\cdot),\mu\big)$ to ergodic mean-field games in the whole space $\mathbb{R}^{m}$ with unbounded and merely measurable data, and for non-separable Hamiltonian.…

We review recent work connected with the invariant subspace problem for operators, in particular new developments in the last 15 years. In particular, we include discussions of almost-invariant subspaces, universal operators, specific…

A system of equations consisting of an infinite string coupled to a nonlinear oscillator is considered. The Cauchy problem for the system with the periodic initial data is studied. The main goal is to prove the convergence of the solutions…

We study relationship among versions of the Knapsack Problem where variables take values in Z and the number of them is fixed. In particular, we construct a finitely presented group where the problem of solvability of exponential equations…

A banach space X is a normed vector space, which is complete with respect to the metric induced by the norm. Given a bounded linear operator T acting on a banach space X, T is said to attain its norm if there is a unit vector z in X, such…

A continuous quadratic form ("quadratic form", in short) on a Banach space $X$ is: (a) delta-semidefinite (i.e., representable as a difference of two nonnegative quadratic forms) if and only if the corresponding symmetric linear operator…

This paper is concerned with the Cauchy problem of the two-dimensional MHD system with magnetic diffusion. It was proved that the MHD equations have a unique global strong solution around the equilibrium state $(0, e_1)$. Furthermore, the…

For linear evolution control system described by $\dot{x}=Ax(t)+Bu(t),x(0)=x_{0}$ ($A$ generates a strongly continuous semigroup ${S(t)}_{t\ge 0}$ in a Banach space $X$; $B$ is a linear unbounded operator), the attainable set $K(t)$ is…

We show that many classical decision problems about 1-counter omega-languages, context free omega-languages, or infinitary rational relations, are $\Pi_2^1$-complete, hence located at the second level of the analytical hierarchy, and…

The problem on identification of a limit of an ordinary differential equation with discontinuous drift that perturbed by a zero-noise is considered in multidimensional case. This problem is a classical subject of stochastic analysis.…

The famous twin paradox of the Special Theory of Relativity by Einstein (1905) is revisited and revised. This paradox is not a paradox in the true sense of a paradox but a reflection of a misunderstanding of the problem and the Principle of…

Leader Election is an important primitive for programmable matter, since it is often an intermediate step for the solution of more complex problems. Although the leader election problem itself is well studied even in the specific context of…

The article considers a two-level open quantum system, whose evolution is governed by the Gorini--Kossakowski--Lindblad--Sudarshan master equation with Hamiltonian and dissipation superoperator depending, correspondingly, on piecewise…

The notion of the magnitude of a metric space was introduced by Leinster in [8] and developed in [10], [9], [11] and [16], but the magnitudes of familiar sets in Euclidean space are only understood in relatively few cases. In this paper we…

We prove that every separable infinite-dimensional Banach space admits a G\^ateaux smooth and rotund norm which is not midpoint locally uniformly rotund. Moreover, by using a similar technique, we provide in every infinite-dimensional…