Richard Laver

From MaRDI portal
Person:615889

Available identifiers

zbMath Open laver.richard-josephMaRDI QIDQ615889

List of research outcomes





PublicationDate of PublicationType
The free one-generated left distributive algebra: basics and a simplified proof of the division algorithm2014-03-19Paper
Left division in the free left distributive algebra on one generator2011-01-07Paper
Certain very large cardinals are not created in small forcing extensions2007-11-27Paper
Well-foundedness conditions connected with left-distributivity.2005-04-19Paper
https://portal.mardi4nfdi.de/entity/Q44100172004-02-04Paper
Reflection of elementary embedding axioms on the \(L[V_{\lambda+1}]\) hierarchy2001-09-14Paper
Adding dominating functions mod finite1999-10-31Paper
https://portal.mardi4nfdi.de/entity/Q43799261998-03-11Paper
Implications between strong large cardinal axioms1998-01-26Paper
Braid group actions on left distributive structures, and well orderings in the braid groups1997-04-09Paper
On the algebra of elementary embeddings of a rank into itself1995-09-28Paper
https://portal.mardi4nfdi.de/entity/Q42812571994-03-10Paper
The left distributive law and the freeness of an algebra of elementary embeddings1992-08-13Paper
A game of D. Gale in which one of the players has limited memory1990-01-01Paper
Sacks reals and Martin's axiom1989-01-01Paper
Some downwards transfer properties for \(\aleph _ 2\)1988-01-01Paper
Finite groups of OD-conjugates1987-01-01Paper
Random Reals and Souslin Trees1987-01-01Paper
Products of Infinitely Many Perfect Trees1984-01-01Paper
Precipitousness in forcing extensions1984-01-01Paper
https://portal.mardi4nfdi.de/entity/Q30374171982-01-01Paper
https://portal.mardi4nfdi.de/entity/Q33203601982-01-01Paper
https://portal.mardi4nfdi.de/entity/Q33170971982-01-01Paper
The ℵ 2 \1-Souslin Hypothesis1981-01-01Paper
Square-free and cube-free colorings of the ordinals1980-01-01Paper
Iterated perfect-set forcing1979-01-01Paper
https://portal.mardi4nfdi.de/entity/Q39149771979-01-01Paper
Making the supercompactness of \(\nu\) indestructible under \(\nu\)-directed closed forcing1978-01-01Paper
https://portal.mardi4nfdi.de/entity/Q41632091978-01-01Paper
https://portal.mardi4nfdi.de/entity/Q38907401978-01-01Paper
On the consistency of Borel's conjecture1977-01-01Paper
Coverings of Groups by Abelian Subgroups1977-01-01Paper
A set in L containing regularizing families for ultrafilters1977-01-01Paper
Well-quasi-orderings and sets of finite sequences1976-01-01Paper
https://portal.mardi4nfdi.de/entity/Q40671061975-01-01Paper
https://portal.mardi4nfdi.de/entity/Q40653431975-01-01Paper
https://portal.mardi4nfdi.de/entity/Q40657481975-01-01Paper
An order type decomposition theorem1973-01-01Paper
On Fraissé's order type conjecture1971-01-01Paper
https://portal.mardi4nfdi.de/entity/Q47673401970-01-01Paper

Research outcomes over time

This page was built for person: Richard Laver