Richard Laver. On Fraïssé's order type conjecture. Annals of mathematics, ser. 2 vol. 93 , pp. 89–111. - Richard Laver. An order type decomposition theorem. Annals of mathematics, ser. 2 vol. 98 pp. 96–119. - Richard Laver. Better-quasi-orderings and a class of trees. Studies in foundations and combinatorics, edited by Gian-Carlo Rota, Advances in mathematics supplementary studies, vol. 1, Academic Press, New York, San Francisco, and London, 1978, pp. 31–48. - Saharon Shelah. Better quasi-orders for uncountable cardinals. Israel journal of mathematics, vol. 42 , pp. 177–226 [Book Review]

Journal of Symbolic Logic 52 (2):571-574 (1987)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2274418

Links

PhilArchive



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

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

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.
On Fraïssé's Order Type Conjecture.Richard Laver & Saharon Shelah - 1987 - Journal of Symbolic Logic 52 (2):571-574.
Saharon Shelah. Infinite abelian groups, Whitehead problem and some constructions. Israel journal of mathematics, vol. 18 , pp. 243–256. - Saharon Shelah. A compactness theorem for singular cardinals, free algebras, Whitehead problem and transversals. Israel journal of mathematics, vol. 21 , pp. 319–349. - Sharaon Shelah. Whitehead groups may be not free, even assuming CH, I. Israel journal of mathematics, vol. 28 , pp. 193–204. - Saharon Shelah. Whitehead groups may not be free even assuming CH, II. Israel journal of mathematics, vol. 35 , pp. 257–285. - Saharon Shelah. On uncountable abelian groups. Israel journal of mathematics, vol. 32 , pp. 311–330. - Shai Ben-David. On Shelah's compactness of cardinals. Israel journal of mathematics, vol. 31 , pp. 34–56 and p. 394. - Howard L. Hiller and Saharon Shelah. Singular cohomology in L. Israel journal of mathematics, vol. 26 , pp. 313–319. - Howard L. Hiller, Martin Huber, and Saharon Shelah. The structure of Ext and V = L. Mathematische. [REVIEW]Ulrich Felgner - 1986 - Journal of Symbolic Logic 51 (4):1068-1070.
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.
James E. Baumgartner. Generic graph construction. The journal of symbolic logic, vol. 49 , pp. 234–240. - Matthew Foreman and Richard Laver. Some downwards transfer properties for ℵ2. Advances in mathematics, vol. 67 , pp. 230–238. - Saharon Shelah. Incompactness for chromatic numbers of graphs. A tribute to Paul Erdős, edited by A. Baker, B. Bollobas, and A. Hajnal, Cambridge University Press, Cambridge, New York, and Oakleigh, Victoria, 1990, pp. 361–371. [REVIEW]Péter Komjáth - 2001 - Bulletin of Symbolic Logic 7 (4):539-541.
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.
Equivalence between Fraïssé’s conjecture and Jullien’s theorem.Antonio Montalbán - 2006 - Annals of Pure and Applied Logic 139 (1):1-42.
Stewart Shapiro. Introduction—intensional mathematics and constructive mathematics. Intensional mathematics, edited by Stewart Shapiro, Studies in logic and the foundations of mathematics, vol. 113, North-Holland, Amsterdam, New York, and Oxford, 1985, pp. 1–10. - Stewart Shapiro. Epistemic and intuitionistic arithmetic. Intensional mathematics, edited by Stewart Shapiro, Studies in logic and the foundations of mathematics, pp. 11–46. - John Myhill. Intensional set theory. Intensional mathematics, edited by Stewart Shapiro, Studies in logic and the foundations of mathematics, pp. 47–61. - Nicolas D. Goodman. A genuinely intensional set theory. Intensional mathematics, edited by Stewart Shapiro, Studies in logic and the foundations of mathematics, pp. 63–79. - Andrej Ščedrov. Extending Godel's modal interpretation to type theory and set theory. Intensional mathematics, edited by Stewart Shapiro, Studies in logic and the foundations of mathematics, pp. 81–119. - Robert C. Flagg. Church's. [REVIEW]Craig A. Smorynski - 1991 - Journal of Symbolic Logic 56 (4):1496-1499.
Higher Souslin Trees and the Generalized Continuum Hypothesis.John Gregory, Richard Laver, Saharon Shelah, S. Shelah & L. Stanley - 1984 - Journal of Symbolic Logic 49 (2):663-665.
Sacks forcing, Laver forcing, and Martin's axiom.Haim Judah, Arnold W. Miller & Saharon Shelah - 1992 - Archive for Mathematical Logic 31 (3):145-161.
Maryanthe Malliaris and Saharon Shelah, Cofinality spectrum problems in model theory, set theory and general topology. Journal of the American Mathematical Society, vol. 29 , pp. 237–297. - Maryanthe Malliaris and Saharon Shelah, Existence of optimal ultrafilters and the fundamental complexity of simple theories. Advances in Mathematics, vol. 290 , pp. 614–681. - Maryanthe Malliaris and Saharon Shelah, Keisler’s order has infinitely many classes. Israel Journal of Mathematics, to appear, https://math.uchicago.edu/∼mem/. [REVIEW]H. Jerome Keisler - 2017 - Bulletin of Symbolic Logic 23 (1):117-121.
Saharon Shelah, Can you take Solovay's inaccessible away?Israel journal of mathematics, vol. 48 , pp. 1–47. - Jean Raisonnier, A mathematical proof of S. Shelah's theorem on the measure problem and related results, Israel journal of mathematics, vol. 48 , pp. 48–56. [REVIEW]Arnold W. Miller - 1989 - Journal of Symbolic Logic 54 (2):633-635.
Shelah S.. Stable theories. Israel journal of mathematics, vol. 7 , pp. 187–202.Shelah Saharon. Stability, the f.c.p., and superstability; model theoretic properties of formulas in first order theory. Annals of mathematical logic, vol. 3 no. 3 , pp. 271–362. [REVIEW]John T. Baldwin - 1973 - Journal of Symbolic Logic 38 (4):648-649.
Fitch Frederic B.. Quasi-constructive foundations for mathematics. Constructivity in mathematics, Proceedings of the colloquium held at Amsterdam, 1957, edited by Heyting A., Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam 1959, pp. 26–36. [REVIEW]Bruce Lercher - 1972 - Journal of Symbolic Logic 37 (2):402-402.

Analytics

Added to PP
2016-06-30

Downloads
23 (#682,293)

6 months
2 (#1,198,857)

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