LD-algebras beyond I0
Logic
2019-09-18 v2
Abstract
The algebra of embeddings at the I3 level has been deeply analyzed, but nothing is known algebra-wise for embeddings above I3. In this paper it is introduced an operation for embeddings at the level of I0 and above, and it is proven that they generate an LD-algebra that can be quite different from the I3 one.
Cite
@article{arxiv.1701.01343,
title = {LD-algebras beyond I0},
author = {Vincenzo Dimonte},
journal= {arXiv preprint arXiv:1701.01343},
year = {2019}
}