## Abstract I introduced the notions of proper and piecewise proper families of reals to make progress on a long standing open question in the field of models of Peano Arithmetic [5]. A family of reals is __proper__ if it is arithmetically closed and its quotient Boolean algebra modulo the ideal of
Matrices and graphs of essential dependence of proper families of functions
โ Scribed by A. A. Kozlov; V. A. Nosov; A. E. Pankratiev
- Publisher
- Springer US
- Year
- 2009
- Tongue
- English
- Weight
- 163 KB
- Volume
- 163
- Category
- Article
- ISSN
- 1573-8795
No coin nor oath required. For personal study only.
๐ SIMILAR VOLUMES
We use essential matrices to show that if the recovery of camera displacement from image correspondences is unstable, then a small perturbation yields an ambiguous set of correspondences. We show that there are at most three camera displacements compatible with a dense set of correspondences, and we
A connected graph G is a tree-clique graph if there exists a spanning tree T (a compatible tree) such that every clique of G is a subtree of T. When Tis a path the connected graph G is a proper interval graph which is usually defined as intersection graph of a family of closed intervals of the real
The family of functional dependencies (FDs) was introduced by E. F. Codd. Equivalent descriptions of family of FDs play essential roles in the design and implementation of the relational datamodel. It is known [1-10] that closure operations, meet-semilattices, families of members which are not inter
We consider the problem of constructing a matrix with prescribed row and ร 4 column sums, subject to the condition that the off-diagonal entries are in 0, 1 and the diagonal entries are nonnegative integers. The pair of row and column sum vectors is called realizable if such a matrix exists. This is