Richard Laver. The left distributive law and the freeness of an algebra of elementary embeddings. Advances in mathematics, vol. 91 , pp. 209–231. - Richard Laver. A division algorithm for the free left distributive algebra. Logic Colloquium '90, ASL summer meeting in Helsinki, edited by J. Oikkonen and J. Väänänen, Lecture notes in logic, no. 2, Springer-Verlag, Berlin, Heidelberg, New York, etc., 1993, pp. 155–162. - Richard Laver. On the algebra of elementary embeddings of a rank into itself. Advances in mathematics, vol. 110 , pp. 334–346. - Richard Laver. Braid group actions on left distributive structures, and well orderings in the braid groups. Journal of pure and applied algebra, vol. 108 , pp. 81–98. - Patrick Dehornoy. An alternative proof of Laver's results on the algebra generated by an elementary embedding. Set theory of the continuum, edited by H. Judah, W. Just, and H. Woodin, Mathematics Sciences Research Institute publications, vol. 26, Springer-Verlag, New York, Berlin [Book Review]

Bulletin of Symbolic Logic 8 (4):555-560 (2002)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2178/bsl/1182353941

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,628

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

The Left Distributive Law and the Freeness of an Algebra of Elementary Embeddings.Richard Laver & J. Oikkonen - 2002 - Bulletin of Symbolic Logic 8 (4):555-560.
Critical points in an algebra of elementary embeddings.Randall Dougherty - 1993 - Annals of Pure and Applied Logic 65 (3):211-241.
Laver’s results and low-dimensional topology.Patrick Dehornoy - 2016 - Archive for Mathematical Logic 55 (1-2):49-83.
Feferman Solomon. A language and axioms for explicit mathematics. Algebra and logic, Papers from the 1974 Summer Research Institute of the Australian Mathematical Society, Monash University, Australia, edited by Crossley J. N., Lecture notes in mathematics, vol. 450, Springer-Verlag, Berlin, Heidelberg, and New York, 1975, pp. 87–139.Feferman Solomon. Constructive theories of functions and classes. Logic colloquium '78, Proceedings of the colloquium held in Mons, August 1978, edited by Boffa Maurice, van Dalen Dirk, and McAloon Kenneth, Studies in logic and the foundations of mathematics, vol. 97, North-Holland Publishing Company, Amsterdam, New York, and Oxford, 1979, pp. 159–224. [REVIEW]G. R. Renardel de Lavalette & A. S. Troelstra - 1984 - Journal of Symbolic Logic 49 (1):308-311.
Consistency of V = HOD with the wholeness axiom.Paul Corazza - 2000 - Archive for Mathematical Logic 39 (3):219-226.
The wholeness axiom and Laver sequences.Paul Corazza - 2000 - Annals of Pure and Applied Logic 105 (1-3):157-260.
Cherlin Greg. Model theoretic algebra. Selected topics. Lecture notes in mathematics, Bd. 521. Springer-Verlag, Berlin, Heidelberg, und New York, 1976, IV + 234 S. [REVIEW]Ulrich Felgner - 1982 - Journal of Symbolic Logic 47 (1):222-223.
Dana Scott. Identity and existence in intuitionistic logic. Applications of sheaves, Proceedings of the Research Symposium on Applications of Sheaf Theory to Logic, Algebra, and Analysis, Durham, July 9–21,1977, edited by M. P. Fourman, C. J. Mulvey, and D. S. Scott, Lecture notes in mathematics, vol. 753, Springer-Verlag, Berlin, Heidelberg, and New York, 1979, pp. 660–696. [REVIEW]D. van Dalen - 1985 - Journal of Symbolic Logic 50 (2):548-549.
Fourman M. P. and Scott D. S.. Sheaves and logic. Applications of sheaves, Proceedings of the Research Symposium on Applications of Sheaf Theory to Logic, Algebra, and Analysis, Durham, July 9–21, 1977, edited by Fourman M. P., Mulvey C. J., and Scott D. S., Lecture notes in mathematics, vol. 753, Springer-Verlag, Berlin, Heidelberg, and New York, 1979, pp. 302–401. [REVIEW]Dirk van Dalen - 1983 - Journal of Symbolic Logic 48 (4):1201-1203.
Laver sequences for extendible and super-almost-huge cardinals.Paul Corazza - 1999 - Journal of Symbolic Logic 64 (3):963-983.
Laver Sequences for Extendible and Super-Almost-Huge Cardinals.Paul Corazza - 1999 - Journal of Symbolic Logic 64 (3):963-983.
Felgner Ulrich. Models of ZF-set theory. Lecture notes in mathematics, no. 223, Springer-Verlag, Berlin, Heidelberg, and New York, 1971, vi + 173 pp.Jech Thomas J.. Lectures in set theory with particular emphasis on the method of forcing. Lecture notes in mathematics, no. 217, Springer-Verlag, Berlin, Heidelberg, and New York, 1971, v + 137 pp. [REVIEW]Frank R. Drake - 1975 - Journal of Symbolic Logic 40 (1):92-93.
Laver Richard. On the consistency of Borel's conjecture. Acta mathematica, vol. 137 no. 3–4 , pp. 151–169.Baumgartner James E. and Laver Richard. Iterated perfect-set forcing. Annals of mathematical logic, vol. 17 , pp. 271–288. [REVIEW]Arnold W. Miller - 1983 - Journal of Symbolic Logic 48 (3):882-883.
Implications between strong large cardinal axioms.Richard Laver - 1997 - Annals of Pure and Applied Logic 90 (1-3):79-90.
Morley Michael. Partitions and models. Proceedings of the summer school in logic, Leeds, 1967, edited by Löb M. H., Lecture notes in mathematics, no. 70, Springer-Verlag, Berlin, Heidelberg, and New York, 1968, pp. 109–158. [REVIEW]Wilfrid Hodges - 1974 - Journal of Symbolic Logic 39 (1):182-183.

Analytics

Added to PP
2016-06-30

Downloads
46 (#343,893)

6 months
5 (#625,196)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references