Laver and set theory

Archive for Mathematical Logic 55 (1-2):133-164 (2016)
  Copy   BIBTEX

Abstract

In this commemorative article, the work of Richard Laver is surveyed in its full range and extent.

Categories

Keywords

Reprint years

DOI

10.1007/s00153-015-0462-7

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,394

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

Mathias and set theory.Akihiro Kanamori - 2016 - Mathematical Logic Quarterly 62 (3):278-294.
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.
Laver’s results and low-dimensional topology.Patrick Dehornoy - 2016 - Archive for Mathematical Logic 55 (1-2):49-83.
More on full reflection below $${\aleph_\omega}$$.James Cummings & Dorshka Wylie - 2010 - Archive for Mathematical Logic 49 (6):659-671.
Sacks forcing, Laver forcing, and Martin's axiom.Haim Judah, Arnold W. Miller & Saharon Shelah - 1992 - Archive for Mathematical Logic 31 (3):145-161.
Kanamori Akihiro. The higher infinite. Large cardinals in set theory from their beginnings. Perspectives in mathematical logic. Springer-Verlag, Berlin, Heidelberg, New York, etc., 1994, xxiv + 536 pp. [REVIEW]Azriel Levy - 1996 - Journal of Symbolic Logic 61 (1):334-336.
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. [REVIEW]Aleš Drápal - 2002 - Bulletin of Symbolic Logic 8 (4):555-560.
Consistency of V = HOD with the wholeness axiom.Paul Corazza - 2000 - Archive for Mathematical Logic 39 (3):219-226.
On the non-existence of $$\kappa $$-mad families.Haim Horowitz & Saharon Shelah - 2023 - Archive for Mathematical Logic 62 (7):1033-1039.
Aspects of strong compactness, measurability, and indestructibility.Arthur W. Apter - 2002 - Archive for Mathematical Logic 41 (8):705-719.

Analytics

Added to PP
2016-01-20

Downloads
26 (#853,300)

6 months
5 (#1,042,355)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Akihiro Kanamori
Boston University

Citations of this work

No citations found.

Add more citations

References found in this work

Strong axioms of infinity and elementary embeddings.Robert M. Solovay - 1978 - Annals of Mathematical Logic 13 (1):73.
The lottery preparation.Joel David Hamkins - 2000 - Annals of Pure and Applied Logic 101 (2-3):103-146.
Suitable extender models I.W. Hugh Woodin - 2010 - Journal of Mathematical Logic 10 (1):101-339.

View all 27 references / Add more references