Translator Disclaimer
August 2019 LD-Algebras Beyond I0
Vincenzo Dimonte
Notre Dame J. Formal Logic 60(3): 395-405 (August 2019). DOI: 10.1215/00294527-2019-0009

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 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.

Citation

Download Citation

Vincenzo Dimonte. "LD-Algebras Beyond I0." Notre Dame J. Formal Logic 60 (3) 395 - 405, August 2019. https://doi.org/10.1215/00294527-2019-0009

Information

Received: 2 January 2017; Accepted: 4 April 2017; Published: August 2019
First available in Project Euclid: 11 June 2019

zbMATH: 07120747
MathSciNet: MR3985618
Digital Object Identifier: 10.1215/00294527-2019-0009

Subjects:
Primary: 03E55
Secondary: 08-xx

Rights: Copyright © 2019 University of Notre Dame

JOURNAL ARTICLE
11 PAGES

This article is only available to subscribers.
It is not available for individual sale.
+ SAVE TO MY LIBRARY

SHARE
Vol.60 • No. 3 • August 2019
Back to Top