## Notre Dame Journal of Formal Logic

### LD-Algebras Beyond I0

Vincenzo Dimonte

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

#### Article information

Source
Notre Dame J. Formal Logic, Volume 60, Number 3 (2019), 395-405.

Dates
Accepted: 4 April 2017
First available in Project Euclid: 11 June 2019

https://projecteuclid.org/euclid.ndjfl/1560218425

Digital Object Identifier
doi:10.1215/00294527-2019-0009

Mathematical Reviews number (MathSciNet)
MR3985618

Subjects
Primary: 03E55: Large cardinals
Secondary: 08-xx

#### Citation

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

#### References

• [1] Cramer, S., “Inverse limit reflection and the structure of $L(V_{\lambda +1})$,” Journal of Mathematical Logic, vol. 15 (2015), no. 1550001.
• [2] Dehornoy, P., “Braids and Self-Distributivity,” vol. 192 of Progress in Mathematics, Birkhäuser, Basel, 2000.
• [3] Dehornoy, P., “Elementary Embeddings and Algebra,” pp. 737–74 in Handbook of Set Theory, Vols. 1, 2, 3, edited by M. Foreman and A. Kanamori, Springer, Dordrecht, 2010.
• [4] Dimonte, V., “Totally non-proper ordinals beyond $L(V_{\lambda +1})$,” Archive for Mathematical Logic, vol. 50 (2011), pp. 565–84.
• [5] Dimonte, V., “A partially non-proper ordinal beyond $L(V_{\lambda +1})$,” Annals of Pure and Applied Logic, vol. 163 (2012), pp. 1309–21.
• [6] Dimonte, V., and L. Wu, “A general tool for consistency results related to I1,” European Journal of Mathematics, vol. 2 (2016), pp. 474–92.
• [7] Kanamori, A., The Higher Infinite, 2nd edition, Springer Monographs in Mathematics, Springer, Berlin, 2003.
• [8] Kunen, K., “Elementary embeddings and infinite combinatorics,” Journal of Symbolic Logic, vol. 36 (1971), pp. 407–13.
• [9] Laver, R., “The left distributive law and the freeness of an algebra of elementary embeddings,” Advances in Mathematics, vol. 91 (1992), pp. 209–31.
• [10] Laver, R., “On the algebra of elementary embeddings of a rank into itself,” Advances in Mathematics, vol. 110 (1995), pp. 334–46.
• [11] Miller, S. K., “Left division in the free left distributive algebra on many generators,” Archive for Mathematical Logic, vol. 55 (2016), pp. 177–205.
• [12] Shi, X., and N. Trang, “$I_{0}$ and combinatorics at $\lambda ^{+}$,” Archive for Mathematical Logic, vol. 56 (2017), pp. 131–54.
• [13] Steel, J. R., “The well-foundedness of the Mitchell order,” Journal of Symbolic Logic, vol. 58 (1993), pp. 931–40.
• [14] Woodin, W. H., “Suitable extender models, II: Beyond $\omega$-huge,” Journal of Mathematical Logic, vol. 11 (2011), pp. 115–436.