Notre Dame Journal of Formal Logic
- Notre Dame J. Formal Logic
- Volume 60, Number 3 (2019), 395-405.
LD-Algebras Beyond I0
The algebra of embeddings at the I3 level has been deeply analyzed, but nothing is known algebra-wise for embeddings above I3. In this article, we introduce an operation for embeddings at the level of I0 and above, and prove that they generate an LD-algebra that can be quite different from the one implied by I3.
Notre Dame J. Formal Logic, Volume 60, Number 3 (2019), 395-405.
Received: 2 January 2017
Accepted: 4 April 2017
First available in Project Euclid: 11 June 2019
Permanent link to this document
Digital Object Identifier
Mathematical Reviews number (MathSciNet)
Dimonte, Vincenzo. LD-Algebras Beyond I0. Notre Dame J. Formal Logic 60 (2019), no. 3, 395--405. doi:10.1215/00294527-2019-0009. https://projecteuclid.org/euclid.ndjfl/1560218425