Notre Dame Journal of Formal Logic

LD-Algebras Beyond I0

Vincenzo Dimonte

Full-text: Access denied (no subscription detected)

We're sorry, but we are unable to provide you with the full text of this article because we are not able to identify you as a subscriber. If you have a personal subscription to this journal, then please login. If you are already logged in, then you may need to update your profile to register your subscription. Read more about accessing full-text


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

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)

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

Axiom I0 LD-algebra elementary embeddings non-proper ordinals


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

Export citation


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