Searching for "Hilbertian systems" – sorted by Relevance.
3 documents found, showing 1 through 3.
-
Subsequences of frames ∗
- …-Hilbertian system in ln 2 . Then there is a set σ ⊂ {1, . . . , m} with |σ| = n such that ( � m n xj)j∈σ is c…
- Cited by 1 (0 self) – Add To MetaCart
-
John’s decompositions: selecting a large part
- …. Then the system (xj) is 1-Hilbertian. Proof. Note that for every vector x �x� 2 � � � = 〈x, x〉 = 〈xj, x〉xj, x…
- Cited by 5 (3 self) – Add To MetaCart
-
What is paraconsistent logic
- ….e., the replacement theorem holds for↔ in Z. 3. Axiomatization of Z 3.1. The Hilbertian system HZ Definition 3…
- Cited by 16 (6 self) – Add To MetaCart
Showing 1 through 3.
