English

Tripartite Unions

Logic in Computer Science 2020-06-30 v1

Abstract

This note provides conditions under which the union of three well-founded binary relations is also well-founded.

Cite

@article{arxiv.1606.01148,
  title  = {Tripartite Unions},
  author = {Nachum Dershowitz},
  journal= {arXiv preprint arXiv:1606.01148},
  year   = {2020}
}
R2 v1 2026-06-22T14:17:06.302Z