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ộ