Arithmetical realizability and basic logicMoscow University Mathematics Bulletin - Tập 71 - Trang 35-38 - 2016
A. Yu. Konovalov
Absolute arithmetical realizability of predicate formulas is introduced. It is proved that the intuitionistic logic is not correct with this semantics, but the basic logic is correct.
Properties of (Hereditarily) Normal MappingsMoscow University Mathematics Bulletin - Tập 76 - Trang 244-250 - 2022
M. Yu. Liseev
In the paper, properties of normal and hereditarily normal mappings are considered and their characterizations and examples are given.
Monotone matrix maps and Skolem-Noether theoremMoscow University Mathematics Bulletin - Tập 67 - Trang 221-223 - 2012
M. A. Efimov
Monotone matrix maps induced by a group inverse are considered. The characterization is given in additive and continuous cases. The ring version of the Skolem-Noether theorem is obtained. A series of examples of nonlinear monotone maps is presented.
An estimate for the number of consecutive quadratic residuesMoscow University Mathematics Bulletin - Tập 64 - Trang 24-28 - 2009
T. A. Preobrazhenskaya
The problem of estimation of the maximal number H of consecutive integer numbers such that they all are either quadratic residues or quadratic nonresidues modulo a prime number p is considered.
Reducibility of Linear Differential Systems to Linear Differential EquationsMoscow University Mathematics Bulletin - Tập 74 - Trang 121-126 - 2019
I. N. Sergeev
Lyapunov reducibility of any bounded and sometimes unbounded linear homogeneous differential system to some bounded linear homogeneous differential equation is established. The preservation of the additional property of periodicity of coefficients is guaranteed, and for two-dimensional or complex systems the constancy of their coefficients is preserved. The differences in feasibility of asymptotic...... hiện toàn bộ
Spectral Properties of a Differential Operator with InvolutionMoscow University Mathematics Bulletin - Tập 77 - Trang 204-208 - 2022
Ya. A. Granilshchikova, A. A. Shkalikov
The article defines a class of regular first-order differential operators the main part of which contains the involution operator and nonconstant coefficient functions. A scheme for proving the unconditional basis property of the eigenfunctions and associated functions of regular differential operators of this type is provided under some additional conditions. Examples of operators for which root ...... hiện toàn bộ