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 [Book Review]

Journal of Symbolic Logic 48 (3):882-883 (1983)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2273492

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,127

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. 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. [REVIEW]Charles Landraitis - 1987 - Journal of Symbolic Logic 52 (2):571-574.
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.
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.
Marcia J. Groszek. Applications of iterated perfect set forcing. Annals of pure and applied logic, vol. 39 , pp. 19– 53. [REVIEW]Andreas Blass - 1990 - Journal of Symbolic Logic 55 (1):360-361.
Fred Appenzeller. An independence result in quadratic form theory: infinitary combinatorics applied to ε-Hermitian spaces. The journal of symbolic logic, vol. 54 , pp. 689–699. - Otmar Spinas. Linear topologies on sesquilinear spaces of uncountable dimension. Fundamenta mathematicae, vol. 139 , pp. 119–132. - James E. Baumgartner, Matthew Foreman, and Otmar Spinas. The spectrum of the Γ-invariant of a bilinear space. Journal of algebra, vol. 189 , pp. 406–418. - James E. Baumgartner and Otmar Spinas. Independence and consistency proofs in quadratic form theory. The journal of symbolic logic, vol. 56 , pp. 1195–1211. - Otmar Spinas. Iterated forcing in quadratic form theory. Israel journal of mathematics, vol. 79 , pp. 297–315. - Otmar Spinas. Cardinal invariants and quadratic forms. Set theory of the reals, edited by Haim Judah, Israel mathematical conference proceedings, vol. 6, Gelbart Research Institute for Mathematical Sciences, Bar-Ilan University, Ramat-Gan 1993, distributed by t. [REVIEW]Paul C. Eklof - 2001 - Bulletin of Symbolic Logic 7 (2):285-286.
Products of hurewicz spaces in the Laver model.Dušan Repovš & Lyubomyr Zdomskyy - 2017 - Bulletin of Symbolic Logic 23 (3):324-333.
James E. Baumgartner. Sacks forcing and the total failure of Martin's axiom. Topology and its applications, vol. 19 , pp. 211–225. - James E. Baumgartner and Peter Dordal. Adjoining dominating functions. The journal of symbolic logic, vol. 50 , pp. 94–101. [REVIEW]Alan Dow - 2000 - Bulletin of Symbolic Logic 6 (4):495-497.
Edwin W. Miller. On a property of families of sets. English with Polish summary. Sprawozdania z posiedzeń Towarzystwa Naukowego Warszawskiego , Class III, vol. 30 , pp. 31–38. - Ben Dushnik and Miller E. W.. Partially ordered sets. American journal of mathematics, vol. 63 , pp. 600–610. - P. Erdős. Some set-theoretical properties of graphs. Revista, Universidad Nacional de Tucumán, Serie A, Matemáticas y física teórica, vol. 3 , pp. 363–367. - G. Fodor. Proof of a conjecture of P. Erdős. Acta scientiarum mathematicarum, vol. 14 no. 4 , pp. 219–227. - P. Erdős and Rado R.. A partition calculus in set theory. Bulletin of the American Mathematical Society, vol. 62 , pp. 427–489. - P. Erdős and Rado R.. Intersection theorems for systems of sets. The journal of the London Mathematical Society, vol. 35 , pp. 85–90. - A. Hajnal. Some results and problems on set theory. Acta mathematica Academiae Scientiarum Hungaricae, vol. 11 , pp. 277–298. - P. Erdős and Hajnal A.. On a property of families. [REVIEW]James E. Baumgartner - 1995 - Journal of Symbolic Logic 60 (2):698-701.
Serge Grigorieff. Combinatorics on ideals and forcing. Annals of mathematical logic, vol. 3 no. 4 , pp. 363–394.David Booth - 1973 - Journal of Symbolic Logic 38 (3):528-529.
Richard A. Shore. Determining automorphisms of the recursively enumerable sets. Proceedings of the American Mathematical Society, vol. 65 , pp. 318– 325. - Richard A. Shore. The homogeneity conjecture. Proceedings of the National Academy of Sciences of the United States of America, vol. 76 , pp. 4218– 4219. - Richard A. Shore. On homogeneity and definability in the first-order theory of the Turing degrees. The journal of symbolic logic, vol. 47 , pp. 8– 16. - Richard A. Shore. The arithmetic and Turing degrees are not elementarily equivalent. Archiv für mathematische Logik und Grundlagenforschung, vol. 24 , pp. 137– 139. - Richard A. Shore. The structure of the degrees of unsolvabitity. Recursion theory, edited by Anil Nerode and Richard A. Shore, Proceedings of symposia in pure mathematics, vol. 42, American Mathematical Society, Providence1985, pp. 33– 51. - Theodore A. Slaman and W. Hugh Woodin. Definability in the Turing degrees. Illinois journal of mathematics, vol. 30 , pp. 320–. [REVIEW]Carl Jockusch - 1990 - Journal of Symbolic Logic 55 (1):358-360.

Analytics

Added to PP
2013-11-03

Downloads
40 (#410,818)

6 months
10 (#308,815)

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