Displaying similar documents to “On the relation between ordered sets and Lorentz--Minkowski distances in real inner product spaces.”

Properties of forcing preserved by finite support iterations

Miroslav Repický (1991)

Commentationes Mathematicae Universitatis Carolinae

Similarity:

We shall investigate some properties of forcing which are preserved by finite support iterations and which ensure that unbounded families in given partially ordered sets remain unbounded.

Linear Map of Matrices

Karol Pąk (2008)

Formalized Mathematics

Similarity:

The paper is concerned with a generalization of concepts introduced in [13], i.e. introduced are matrices of linear transformations over a finitedimensional vector space. Introduced are linear transformations over a finitedimensional vector space depending on a given matrix of the transformation. Finally, I prove that the rank of linear transformations over a finite-dimensional vector space is the same as the rank of the matrix of that transformation.

On a Theorem of Mierczyński

Gerd Herzog (1998)

Colloquium Mathematicae

Similarity:

We prove that the initial value problem x’(t) = f(t,x(t)), x ( 0 ) = x 1 is uniquely solvable in certain ordered Banach spaces if f is quasimonotone increasing with respect to x and f satisfies a one-sided Lipschitz condition with respect to a certain convex functional.

A note on noninterpretability in o-minimal structures

Ricardo Bianconi (1998)

Fundamenta Mathematicae

Similarity:

We prove that if M is an o-minimal structure whose underlying order is dense then Th(M) does not interpret the theory of an infinite discretely ordered structure. We also make a conjecture concerning the class of the theory of an infinite discretely ordered o-minimal structure.