On near-standardness in Hilbert spaces.
Lyantse, W.E., Kudrik, T.S. (2002)
Sibirskij Matematicheskij Zhurnal
Similarity:
Displaying similar documents to “Labelled State Transition Systems”
On near-standardness in Hilbert spaces.
Differential Equations on Functions from R into Real Banach Space
Keiko Narita, Noboru Endou, Yasunari Shidama (2013)
Formalized Mathematics
Similarity:
In this article, we describe the differential equations on functions from R into real Banach space. The descriptions are based on the article [20]. As preliminary to the proof of these theorems, we proved some properties of differentiable functions on real normed space. For the proof we referred to descriptions and theorems in the article [21] and the article [32]. And applying the theorems of Riemann integral introduced in the article [22], we proved the ordinary differential equations...
On classifying subsets of natural numbers by their computable permutations.
Combarro, E.F. (2004)
Sibirskij Matematicheskij Zhurnal
Similarity:
Covering of the null ideal may have countable cofinality
Saharon Shelah (2000)
Fundamenta Mathematicae
Similarity:
We prove that it is consistent that the covering number of the ideal of measure zero sets has countable cofinality.
Weak variants of Martin's Axiom
J. Barnett (1992)
Fundamenta Mathematicae
Similarity:
Examples exist of smooth maps on the boundary of a smooth manifold M which allow continuous extensions over M without fixed points but no such smooth extensions. Such maps are studied here in more detail. They have a minimal fixed point set when all transversally fixed maps in their homotopy class are considered. Therefore we introduce a Nielsen fixed point theory for transversally fixed maps on smooth manifolds without or with boundary, and use it to calculate the minimum number of...
Bertrand’s Ballot Theorem
Karol Pąk (2014)
Formalized Mathematics
Similarity:
In this article we formalize the Bertrand’s Ballot Theorem based on [17]. Suppose that in an election we have two candidates: A that receives n votes and B that receives k votes, and additionally n ≥ k. Then this theorem states that the probability of the situation where A maintains more votes than B throughout the counting of the ballots is equal to (n − k)/(n + k). This theorem is item #30 from the “Formalizing 100 Theorems” list maintained by Freek Wiedijk at http://www.cs.ru.nl/F.Wiedijk/100/. ...
Partial Differentiation of Vector-Valued Functions on n -Dimensional Real Normed Linear Spaces
Takao Inoué, Adam Naumowicz, Noboru Endou, Yasunari Shidama (2011)
Formalized Mathematics
Similarity:
In this article, we define and develop partial differentiation of vector-valued functions on n-dimensional real normed linear spaces (refer to [19] and [20]).
Inference rules with metavariables and logical equations in the pretabular modal logic PM1.
Kiyatkin, V.R. (2000)
Siberian Mathematical Journal
Similarity:
Homogeneous models and stable diagrams.
Kudajbergenov, K.Zh. (2002)
Sibirskij Matematicheskij Zhurnal
Similarity:
Stability in the -norm and -norm of classes of Lipschitz functions of one variable.
Korobkov, M.V. (2002)
Sibirskij Matematicheskij Zhurnal
Similarity:
On a problem of Steve Kalikow
Saharon Shelah (2000)
Fundamenta Mathematicae
Similarity:
The Kalikow problem for a pair (λ,κ) of cardinal numbers,λ > κ (in particular κ = 2) is whether we can map the family of ω-sequences from λ to the family of ω-sequences from κ in a very continuous manner. Namely, we demand that for η,ν ∈ ω we have: η, ν are almost equal if and only if their images are. We show consistency of the negative answer, e.g., for but we prove it for smaller cardinals. We indicate a close connection with the free subset property and its variants. ...
Uncountable families of partial clones containing maximal clones.
Haddad, Lucien, Lau, Dietlinde (2007)
Beiträge zur Algebra und Geometrie
Similarity:
On the theory of grossone.
Gutman, A.E., Kutateladze, S.S. (2008)
Sibirskij Matematicheskij Zhurnal
Similarity: