Elementary Embeddings and Algebra

Patrick Dehornoy ()
Additional contact information
Patrick Dehornoy: Université de Caen, Department of Mathematics

Chapter 11 in Handbook of Set Theory, 2010, pp 737-774 from Springer

Abstract: Abstract This chapter describes algebraic consequences of the existence of a non-trivial elementary embedding of V λ into itself (Axiom I3). In addition to composition, the family of all elementary embeddings of the considered structure V λ is equipped with a second binary operation essentially consisting in applying one embedding to another one. This operation satisfies the self-distributivity law x(yz)=(xy)(xz) and, if j is a non-trivial elementary embedding as above, the closure of j under application is a free self-distributive system. Moreover, identifying embeddings that coincide up to some level leads to a sequence of finite quotients, the Laver tables. The main applications obtained so far are a solution to the Word Problem of the self-distributivity law, and a proof that the periods in Laver tables go to infinity with the size. Alternative approaches avoiding elementary embeddings have been found in the first case, but the question of whether a large cardinal hypothesis is necessary remains open in the second.

Keywords: Word Problem; Braid Group; Order Type; Elementary Embedding; Primitive Recursive Function (search for similar items in EconPapers)
Date: 2010
References: Add references at CitEc
Citations:

There are no downloads for this item, see the EconPapers FAQ for hints about obtaining it.

Related works:
This item may be available elsewhere in EconPapers: Search for items with the same title.

Export reference: BibTeX RIS (EndNote, ProCite, RefMan) HTML/Text

Persistent link: https://EconPapers.repec.org/RePEc:spr:sprchp:978-1-4020-5764-9_12

Ordering information: This item can be ordered from
http://www.springer.com/9781402057649

DOI: 10.1007/978-1-4020-5764-9_12

Access Statistics for this chapter

More chapters in Springer Books from Springer
Bibliographic data for series maintained by Sonal Shukla () and Springer Nature Abstracting and Indexing ().