Article contents
On transitive subrelations of binary relations
Published online by Cambridge University Press: 12 March 2014
Abstract
The transitive closure of a binary relation R can be thought of as the best possible approximation of R “from above” by a transitive relation. We consider the question of approximating a relation from below by transitive relations. Our main result is that every thick relation (a relation whose complement contains no infinite chain) on a countable set has a transitive thick subrelation. This allows for a solution to a problem arising from previous work by the author and Alan Taylor. We also exhibit a thick relation on an uncountable set with no transitive thick subrelation.
- Type
- Research Article
- Information
- Copyright
- Copyright © Association for Symbolic Logic 2011
References
REFERENCES
- 3
- Cited by