{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,11]],"date-time":"2026-03-11T17:18:24Z","timestamp":1773249504513,"version":"3.50.1"},"reference-count":37,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[1992,5,1]],"date-time":"1992-05-01T00:00:00Z","timestamp":704678400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Arch Math Logic"],"published-print":{"date-parts":[[1992,5]]},"DOI":"10.1007\/bf01269943","type":"journal-article","created":{"date-parts":[[2005,3,24]],"date-time":"2005-03-24T05:01:19Z","timestamp":1111640479000},"page":"145-161","source":"Crossref","is-referenced-by-count":29,"title":["Sacks forcing, Laver forcing, and Martin's axiom"],"prefix":"10.1007","volume":"31","author":[{"given":"Haim","family":"Judah","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Arnold W.","family":"Miller","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Saharon","family":"Shelah","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"CR1","first-page":"657","volume":"281","author":"U. Abraham","year":"1984","unstructured":"Abraham, U.: A minimal model for ?CH: iteration of Jensen's reals. Trans. Am. Math. Soc.281, 657?674 (1984)","journal-title":"Trans. Am. Math. Soc."},{"key":"CR2","doi-asserted-by":"crossref","first-page":"123","DOI":"10.1016\/0168-0072(84)90024-1","volume":"29","author":"U. Abraham","year":"1985","unstructured":"Abraham, U., Rubin, M., Shelah, S.: On the consistency of some partition theorems for continuous colorings and the structure of ?1 real order types. Ann. Pure and Appl. Logic29, 123?206 (1985)","journal-title":"Ann. Pure and Appl. Logic"},{"key":"CR3","doi-asserted-by":"crossref","unstructured":"Abraham, U., Toodorcevic, S.: Martin's axiom and first-countable S- and L-spaces. In: Handbook of set theoretic topology. Kunen, K., Vaughan, J.E. (eds.) North-Holland 1984, pp. 327?346","DOI":"10.1016\/B978-0-444-86580-9.50011-2"},{"key":"CR4","first-page":"479","volume":"35","author":"B. Aniszczyk","year":"1987","unstructured":"Aniszczyk, B., Frankiewicz, R., Plewik, S.: Remarks on (s) and Ramsey-measurable functions. Bull. Pol. Acad. of Sci. Math.35, 479?485 (1987)","journal-title":"Bull. Pol. Acad. of Sci. Math."},{"key":"CR5","first-page":"561","volume":"35","author":"B. Aniszczyk","year":"1987","unstructured":"Aniszczyk, B.: Remarks on ?-algebra of (s)-measurable sets. Bull. Pol. Acad. Sci. Math.35, 561?563 (1987)","journal-title":"Bull. Pol. Acad. Sci. Math."},{"key":"CR6","series-title":"Lect. Notes Math.","doi-asserted-by":"crossref","first-page":"45","DOI":"10.1007\/BFb0067641","volume-title":"Refining systems on boolean algebras","author":"B. Balcar","year":"1977","unstructured":"Balcar, B., Vojtas, P.: Refining systems on boolean algebras. (Lect. Notes Math., vol. 619, pp. 45?68) Berlin Heidelberg New York: Springer 1977"},{"key":"CR7","series-title":"Lect. Notes Math.","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1017\/CBO9780511758867.002","volume-title":"Surveys in set theory. London Mathematical Society","author":"J. Baumgartner","year":"1983","unstructured":"Baumgartner, J.: Iterated forcing. In: Mathias, A.R.D. (eds.) Surveys in set theory. London Mathematical Society (Lect. Notes Math., vol. 87, pp. 1?59) Cambridge University Press, Cambridge 1983"},{"key":"CR8","doi-asserted-by":"crossref","first-page":"271","DOI":"10.1016\/0003-4843(79)90010-X","volume":"17","author":"J. Baumgartner","year":"1979","unstructured":"Baumgartner, J., Laver, R.: Iterated perfect set forcing. Ann. Math. Logic17, 271?288 (1979)","journal-title":"Ann. Math. Logic"},{"key":"CR9","doi-asserted-by":"crossref","first-page":"530","DOI":"10.1305\/ndjfl\/1093635236","volume":"30","author":"A. Blass","year":"1989","unstructured":"Blass, A., Shelah, S.: Near coherence of filters. III. A simplified consistency proof. Notre Dame J. Formal Logic30, 530?538 (1989)","journal-title":"Notre Dame J. Formal Logic"},{"key":"CR10","series-title":"Lect. Notes Math.","doi-asserted-by":"crossref","first-page":"18","DOI":"10.1007\/BFb0097329","volume-title":"Set theory and its applications. York University 1987","author":"A. Blass","year":"1989","unstructured":"Blass, A.: Applications of superperfect forcing and its relatives. In: Steprans, J., Watson, S. (eds.) Set theory and its applications. York University 1987 (Lect. Notes Math., vol. 1401, pp. 18?40) Berlin Heidelberg New York: Springer 1989"},{"key":"CR11","doi-asserted-by":"crossref","first-page":"78","DOI":"10.2307\/44151692","volume":"10","author":"J.B. Brown","year":"1985","unstructured":"Brown, J.B.: Singular sets and Baire order. Real Anal. Exch.10, 78?84 (1985)","journal-title":"Real Anal. Exch."},{"key":"CR12","doi-asserted-by":"crossref","first-page":"43","DOI":"10.1090\/conm\/094\/1012976","volume":"94","author":"J.B. Brown","year":"1989","unstructured":"Brown, J.B.: Marczewski null sets and intermediate Baire order. Contemp. Math.94, 43?50 (1989)","journal-title":"Contemp. Math."},{"key":"CR13","unstructured":"Brown, J.B.: The Ramsey sets and related sigma algebras and ideals. (Preprint)"},{"key":"CR14","doi-asserted-by":"crossref","first-page":"185","DOI":"10.2307\/44153408","volume":"7","author":"J.B. Brown","year":"1982","unstructured":"Brown, J.B., Cox, G.V.: Classical theory of totally imperfect sets. Real Anal. Exch.7, 185?232 (1982)","journal-title":"Real Anal. Exch."},{"key":"CR15","first-page":"77","volume":"302","author":"J.B. Brown","year":"1987","unstructured":"Brown, J.B., Prikry, K.: Variations on Lusin's theorem. Trans. Am. Math. Soc.302, 77?86 (1987)","journal-title":"Trans. Am. Math. Soc."},{"key":"CR16","doi-asserted-by":"crossref","first-page":"115","DOI":"10.1090\/S0002-9947-1989-0982239-X","volume":"316","author":"P. Corazza","year":"1989","unstructured":"Corazza, P.: The generalized Borel conjecture and strongly proper orders. Trans. Am. Math. Soc.316, 115?140 (1989)","journal-title":"Trans. Am. Math. Soc."},{"key":"CR17","doi-asserted-by":"crossref","first-page":"267","DOI":"10.1016\/S0003-4843(78)80002-3","volume":"13","author":"K. Devlin","year":"1978","unstructured":"Devlin, K.: ?1-trees. Ann. Math. Logic13, 267?330 (1978)","journal-title":"Ann. Math. Logic"},{"key":"CR18","doi-asserted-by":"crossref","first-page":"179","DOI":"10.1016\/0003-4843(82)90004-3","volume":"23","author":"Y. Gurevich","year":"1982","unstructured":"Gurevich, Y., Shelah, S.: Monadic theory of order and topology in ZFC. Ann. Math. Logic23, 179?198 (1982)","journal-title":"Ann. Math. Logic"},{"key":"CR19","doi-asserted-by":"crossref","first-page":"909","DOI":"10.2307\/2274464","volume":"55","author":"H. Judah","year":"1990","unstructured":"Judah, H., Shelah, S.: The Kunen-Miller chart. J. Symb. Logic55, 909?927 (1990)","journal-title":"J. Symb. Logic"},{"key":"CR20","doi-asserted-by":"crossref","first-page":"191","DOI":"10.1090\/S0002-9947-1977-0450070-1","volume":"229","author":"A. Kechris","year":"1977","unstructured":"Kechris, A.: On a notion of smallness for subsets of the Baire space. Trans. Am. Math. Soc.229, 191?207 (1977)","journal-title":"Trans. Am. Math. Soc."},{"key":"CR21","volume-title":"Set theory","author":"K. Kunen","year":"1980","unstructured":"Kunen, K.: Set theory. Amsterdam: North-Holland 1980"},{"key":"CR22","doi-asserted-by":"crossref","first-page":"429","DOI":"10.1017\/S0022481200028371","volume":"53","author":"K. Kunen","year":"1988","unstructured":"Kunen, K.: Where MA first fails. J. Symb. Logic53, 429?433 (1988)","journal-title":"J. Symb. Logic"},{"key":"CR23","doi-asserted-by":"crossref","first-page":"151","DOI":"10.1007\/BF02392416","volume":"137","author":"R. Laver","year":"1976","unstructured":"Laver, R.: On the consistency of Borel's conjecture. Acta Math.137, 151?169 (1976)","journal-title":"Acta Math."},{"key":"CR24","doi-asserted-by":"crossref","first-page":"17","DOI":"10.4064\/fm-24-1-17-34","volume":"24","author":"E. Marczewski","year":"1935","unstructured":"Marczewski, E.: Sur une classe de fonctions de W. Sierpi?ski et la classe correspondante d'ensembles. Fundam. Math.24, 17?34 (1935)","journal-title":"Fundam. Math."},{"key":"CR25","unstructured":"Matet. P.: Personal communication"},{"key":"CR26","doi-asserted-by":"crossref","first-page":"59","DOI":"10.1016\/0003-4843(77)90006-7","volume":"12","author":"A.R.D. Mathias","year":"1977","unstructured":"Mathias, A.R.D.: Happy Families. Ann. Math. Logic12, 59?111 (1977)","journal-title":"Ann. Math. Logic"},{"key":"CR27","doi-asserted-by":"crossref","first-page":"143","DOI":"10.1090\/conm\/031\/763899","volume":"31","author":"A. Miller","year":"1984","unstructured":"Miller, A.: Rational perfect set forcing. Contemp. Math. (American Mathematical Society)31, 143?159 (1984)","journal-title":"Contemp. Math. (American Mathematical Society)"},{"key":"CR28","doi-asserted-by":"crossref","first-page":"201","DOI":"10.1016\/B978-0-444-86580-9.50008-2","volume-title":"Handbook of set theoretic topology","author":"A. Miller","year":"1984","unstructured":"Miller, A.: Special subsets of the real line. In: Kunen, K., Vaughan, J. (eds.) Handbook of set theoretic topology. Amsterdam: North-Holland 1984, pp. 201?234"},{"key":"CR29","doi-asserted-by":"crossref","first-page":"377","DOI":"10.2307\/44151805","volume":"12","author":"J.C. Morgan II","year":"1986","unstructured":"Morgan II, J.C.: On the general theory of point sets. II. Real Anal. Exch.12, 377?386 (1986)","journal-title":"Real Anal. Exch."},{"key":"CR30","doi-asserted-by":"crossref","first-page":"71","DOI":"10.4064\/cm-20-1-71-76","volume":"20","author":"J. Mycielski","year":"1969","unstructured":"Mycielski, J.: Some new ideals of subsets on the real line. Colloq. Math.20, 71?76 (1969)","journal-title":"Colloq. Math."},{"key":"CR31","doi-asserted-by":"crossref","first-page":"65","DOI":"10.1016\/0166-8641(90)90015-T","volume":"37","author":"J. Pawlikowski","year":"1990","unstructured":"Pawlikowski, J.: Parametrized Ellentuck theorem. Topology Appl.37, 65?73 (1990)","journal-title":"Topology Appl."},{"key":"CR32","doi-asserted-by":"crossref","first-page":"331","DOI":"10.1090\/pspum\/013.1\/0276079","volume":"13","author":"G.E. Sacks","year":"1971","unstructured":"Sacks, G.E.: Forcing with perfect closed sets, axiomatic set theory. Proc. Symp. Pure Math.13, 331?355 (1971)","journal-title":"Proc. Symp. Pure Math."},{"key":"CR33","doi-asserted-by":"crossref","first-page":"297","DOI":"10.1007\/BF02761994","volume":"30","author":"S. Shelah","year":"1978","unstructured":"Shelah, S.: A weak generalization of MA to higher cardinals. Isr. J. Math.30, 297?306 (1978)","journal-title":"Isr. J. Math."},{"key":"CR34","doi-asserted-by":"crossref","first-page":"60","DOI":"10.1017\/S0022481200092239","volume":"35","author":"J. Silver","year":"1970","unstructured":"Silver, J.: Every analytic set is Ramsey. J. Symb. Logic.35, 60?64 (1970)","journal-title":"J. Symb. Logic."},{"key":"CR35","unstructured":"Steprans, J.: The covering number of the Mycielski ideal. (Preprint)"},{"key":"CR36","unstructured":"Velickovic, B.: CCC posets of perfect trees. (Preprint)"},{"key":"CR37","doi-asserted-by":"crossref","first-page":"827","DOI":"10.1016\/B978-0-444-86580-9.50022-7","volume-title":"Handbook of set theoretic topology","author":"W. Weiss","year":"1984","unstructured":"Weiss, W.: Versions of Martin's Axiom. In: Kunen, K., Vaughan, J.E. (eds.) Handbook of set theoretic topology. Amsterdam: North-Holland 1984, pp. 827?886"}],"container-title":["Archive for Mathematical Logic"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01269943.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF01269943\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01269943","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,6]],"date-time":"2020-04-06T12:56:45Z","timestamp":1586177805000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF01269943"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1992,5]]},"references-count":37,"journal-issue":{"issue":"3","published-print":{"date-parts":[[1992,5]]}},"alternative-id":["BF01269943"],"URL":"https:\/\/doi.org\/10.1007\/bf01269943","relation":{},"ISSN":["0933-5846","1432-0665"],"issn-type":[{"value":"0933-5846","type":"print"},{"value":"1432-0665","type":"electronic"}],"subject":[],"published":{"date-parts":[[1992,5]]}}}