## Abstract We will prove in ZermeloβFraenkel set theory __without axiom of choice__ that the transitive hull __R__\* of a relation __R__ is not much βbiggerβ than __R__ itself. As a measure for the size of a relation we introduce the notion of ΞΊ^+^β__narrowness__ using __surjective__ Hartogs numbe
β¦ LIBER β¦
The economical construction of a transitive closure of a binary relation
β Scribed by V.V. Martynyuk
- Publisher
- Elsevier Science
- Year
- 1963
- Weight
- 276 KB
- Volume
- 2
- Category
- Article
- ISSN
- 0041-5553
No coin nor oath required. For personal study only.
π SIMILAR VOLUMES
ON THE TRANSITIVE HULL OF A ΞΊ-NARROW REL
β
Karl-Heinz Diener; K.-H. Diener
π
Article
π
1992
π
John Wiley and Sons
π
English
β 664 KB
An efficient parallel algorithm for the
β
P. Fraisse
π
Article
π
1986
π
Elsevier Science
π
English
β 377 KB
Formation of a vector criterion on the b
β
Z.V. Morozov; V.V. Fedorov
π
Article
π
1980
π
Elsevier Science
β 646 KB
Construction of An Equality Relation on
β
Daniel A. Romano
π
Article
π
1989
π
John Wiley and Sons
π
English
β 97 KB
New Results on the Common Consequent Ind
β
Zhou Bo; Bolian Liu
π
Article
π
2000
π
Elsevier Science
π
English
β 130 KB
We characterize the binary relations with the largest and next largest common consequent indices, and disclose the existence of gaps in the set of common consequent indices of binary relations. We also obtain the largest common consequent indices of binary relations in the classes of reducible and s
On a transition temperature of supercond
β
V.D. Karaivanov
π
Article
π
1969
π
Elsevier Science
π
English
β 139 KB