Richard Laver

According to our database, Richard Laver authored at least 4 papers between 1984 and 2007.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of three.

2007

Certain very large cardinals are not created in small forcing extensions.

Richard Laver

Ann. Pure Appl. Log., 2007

2001

Reflection of elementary embedding axioms on the L[V Lambda₊₁] hierarchy.

Richard Laver

Ann. Pure Appl. Log., 2001

1997

Implications Between Strong Large Cardinal Axioms.

Richard Laver

Ann. Pure Appl. Log., 1997

1984

Annual Meeting of the Association for Symbolic Logic: Denver, 1983.

Carl G. Jockusch Jr., Richard Laver, J. Donald Monk, Jan Mycielski, Jon Pearce

J. Symb. Log., 1984