Interaction of Charged 3D Soliton with Coulomb Center

The Einstein - de Broglie particle-soliton concept is applied to simulate stationary states of an electron in a hydrogen atom. According to this concept, the electron is described by the localized regular solutions to some nonlinear equations. In the framework of Synge model for interacting scalar and electromagnetic fields a system of integral equations has been obtained, which describes the interaction between charged 3D soliton and Coulomb center. The asymptotic expressions for physical fields, describing soliton moving around the fixed Coulomb center, have been obtained with the help of integral equations. It is shown that the electron-soliton center travels along some stationary orbit around the Coulomb center. The electromagnetic radiation is absent as the Poynting vector has non-wave asymptote $O(r^{-3})$ after averaging over angles, i.e. the existence of spherical surface corresponding to null Poynting vector stream, has been proved. Vector lines for Poynting vector are constructed in asymptotical area.Comment: LaTeX ,12 page

On classification of groups of points on abelian varieties over finite fields

In this paper we improve our previous results on classification of groups of points on abelian varieties over finite fields. The classification is given in terms of the Weil polynomial of abelian varieties in a given $k$-isogeny class.Comment: 9 page

A Note on Parameterised Knowledge Operations in Temporal Logic

We consider modeling the conception of knowledge in terms of temporal logic. The study of knowledge logical operations is originated around 1962 by representation of knowledge and belief using modalities. Nowadays, it is very good established area. However, we would like to look to it from a bit another point of view, our paper models knowledge in terms of linear temporal logic with {\em past}. We consider various versions of logical knowledge operations which may be defined in this framework. Technically, semantics, language and temporal knowledge logics based on our approach are constructed. Deciding algorithms are suggested, unification in terms of this approach is commented. This paper does not offer strong new technical outputs, instead we suggest new approach to conception of knowledge (in terms of time).Comment: 10 page

Undecidability of first-order modal and intuitionistic logics with two variables and one monadic predicate letter

We prove that the positive fragment of first-order intuitionistic logic in the language with two variables and a single monadic predicate letter, without constants and equality, is undecidable. This holds true regardless of whether we consider semantics with expanding or constant domains. We then generalise this result to intervals [QBL, QKC] and [QBL, QFL], where QKC is the logic of the weak law of the excluded middle and QBL and QFL are first-order counterparts of Visser's basic and formal logics, respectively. We also show that, for most "natural" first-order modal logics, the two-variable fragment with a single monadic predicate letter, without constants and equality, is undecidable, regardless of whether we consider semantics with expanding or constant domains. These include all sublogics of QKTB, QGL, and QGrz -- among them, QK, QT, QKB, QD, QK4, and QS4.Comment: Pre-final version of the paper published in Studia Logica,doi:10.1007/s11225-018-9815-