Richard Laver

Publication Activity (10 Years)

Years Active: 1984-2007
Publications (10 Years): 0

Publications

Richard Laver
Certain very large cardinals are not created in small forcing extensions. Ann. Pure Appl. Log. 149 (1-3) (2007)
Richard Laver
] hierarchy. Ann. Pure Appl. Log. 107 (1-3) (2001)
Richard Laver
Implications Between Strong Large Cardinal Axioms. Ann. Pure Appl. Log. 90 (1-3) (1997)
Carl G. Jockusch Jr., Richard Laver, J. Donald Monk, Jan Mycielski, Jon Pearce
Annual Meeting of the Association for Symbolic Logic: Denver, 1983. J. Symb. Log. 49 (2) (1984)