Natural SciencesMathematicsAlgebraGeometryNumber TheoryLinear AlgebraVector Spaces
Summary. In this article we introduce a notion of real linear space, operations on vectors: addition, multiplication by real number, inverse vector, subtraction. The sum of finite sequence of the vectors is also defined. Theorems that belong rather to [1] or [4] are proved.
7
Tarski Grothendieck Set Theory
Andrzej Trybulec · 1990 · 482 citations
The Fundamental Properties of Natural Numbers
Grzegorz Bancerek · 1990 · 389 citations
Domains and Their Cartesian Products
Andrzej Trybulec · 1990 · 218 citations