{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T08:20:25Z","timestamp":1725524425892},"publisher-location":"Berlin, Heidelberg","reference-count":35,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642360381"},{"type":"electronic","value":"9783642360398"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-36039-8_3","type":"book-chapter","created":{"date-parts":[[2012,12,21]],"date-time":"2012-12-21T08:54:23Z","timestamp":1356080063000},"page":"17-26","source":"Crossref","is-referenced-by-count":1,"title":["Forcing Axioms, Finite Conditions and Some More"],"prefix":"10.1007","author":[{"given":"Mirna","family":"D\u017eamonja","sequence":"first","affiliation":[]}],"member":"297","reference":[{"issue":"2","key":"3_CR1","doi-asserted-by":"publisher","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 $\\aleph_1$ -dense ordered sets. Ann. Pure and Applied Logic\u00a029(2), 123\u2013206 (1985)","journal-title":"Ann. Pure and Applied Logic"},{"key":"3_CR2","doi-asserted-by":"crossref","first-page":"165","DOI":"10.4064\/fm-152-2-165-181","volume":"152","author":"U. Abraham","year":"1997","unstructured":"Abraham, U., Todor\u010devi\u0107, S.: Partition properties of \u03c9 1 compatible with CH. Fund. Math.\u00a0152, 165\u2013181 (1997)","journal-title":"Fund. Math."},{"issue":"1-2","key":"3_CR3","doi-asserted-by":"publisher","first-page":"161","DOI":"10.1007\/BF02761858","volume":"38","author":"U. Avraham","year":"1981","unstructured":"Avraham, U., Shelah, S.: Martin\u2019s Axiom does not imply that every two $\\aleph_1$ -dense sets of reals are isomorphic. Israel J. Math.\u00a038(1-2), 161\u2013176 (1981)","journal-title":"Israel J. Math."},{"issue":"2","key":"3_CR4","doi-asserted-by":"crossref","first-page":"101","DOI":"10.4064\/fm-79-2-101-106","volume":"79","author":"J.E. Baumgartner","year":"1973","unstructured":"Baumgartner, J.E.: All $\\aleph_1$ -dense sets of reals can be isomorphic. Fund. Math.\u00a079(2), 101\u2013106 (1973)","journal-title":"Fund. Math."},{"key":"3_CR5","series-title":"London Math. Soc. Lecture Note Ser.","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1017\/CBO9780511758867.002","volume-title":"Surveys in Set Theory","author":"J.E. Baumgartner","year":"1983","unstructured":"Baumgartner, J.E.: Iterated forcing. In: Mathias, A.R.D. (ed.) Surveys in Set Theory. London Math. Soc. Lecture Note Ser., vol.\u00a087, pp. 1\u201359. Cambridge Univ. Press, Cambridge (1983)"},{"key":"3_CR6","doi-asserted-by":"crossref","first-page":"913","DOI":"10.1016\/B978-0-444-86580-9.50024-0","volume-title":"Handbook of Set-theoretic Topology","author":"J.E. Baumgartner","year":"1984","unstructured":"Baumgartner, J.E.: Applications of the proper forcing axiom. In: Kunen, K., Vaughan, J.E. (eds.) Handbook of Set-theoretic Topology, pp. 913\u2013959. North-Holland, Amsterdam (1984)"},{"key":"3_CR7","doi-asserted-by":"crossref","DOI":"10.1007\/BFb0098398","volume-title":"Topics in Set Theory","author":"M. Bekkali","year":"1991","unstructured":"Bekkali, M.: Topics in Set Theory. Springer, Heidelberg (1991)"},{"key":"3_CR8","doi-asserted-by":"publisher","first-page":"242","DOI":"10.1515\/crll.1878.84.242","volume":"187","author":"G. Cantor","year":"1878","unstructured":"Cantor, G.: Ein Beitrag zur Mannigfaltigkeitslehre. Journal f\u00fcr die reine und angewandte Mathematik\u00a0187, 242\u2013258 (1878)","journal-title":"Journal f\u00fcr die reine und angewandte Mathematik"},{"issue":"6","key":"3_CR9","doi-asserted-by":"publisher","first-page":"1143","DOI":"10.1073\/pnas.50.6.1143","volume":"50","author":"P. Cohen","year":"1963","unstructured":"Cohen, P.: The independence of the continuum hypothesis. Proc. Nat. Acad. Sci. USA\u00a050(6), 1143\u20131148 (1963)","journal-title":"Proc. Nat. Acad. Sci. USA"},{"key":"3_CR10","doi-asserted-by":"publisher","first-page":"49","DOI":"10.1016\/j.apal.2012.09.002","volume":"164","author":"G. Dolinar","year":"2013","unstructured":"Dolinar, G., D\u017eamonja, M.: Forcing $\\mbox{Square}_{\\omega_1}$ with finite conditions. Ann. of Pure and Appl. Logic\u00a0164, 49\u201364 (2013)","journal-title":"Ann. of Pure and Appl. Logic"},{"key":"3_CR11","doi-asserted-by":"publisher","first-page":"366","DOI":"10.2178\/jsl\/1052669056","volume":"68","author":"M. D\u017eamonja","year":"2003","unstructured":"D\u017eamonja, M., Shelah, S.: Universal graphs at the successor of a singular cardinal. J. Symbol. Logic\u00a068, 366\u2013387 (2003)","journal-title":"J. Symbol. Logic"},{"issue":"1","key":"3_CR12","doi-asserted-by":"publisher","first-page":"1","DOI":"10.2307\/1971415","volume":"127","author":"M. Foreman","year":"1988","unstructured":"Foreman, M., Magidor, M., Shelah, S.: Martin\u2019s Maximum, saturated ideals, and nonregular ultrafilters. I. Ann. of Math. (2)\u00a0127(1), 1\u201347 (1988)","journal-title":"Ann. of Math. (2)"},{"key":"3_CR13","volume-title":"Foundations of Set Theory","author":"A.A. Fraenkel","year":"1973","unstructured":"Fraenkel, A.A., Bar-Hillel, Y., L\u00e9vy, A.: Foundations of Set Theory, 2nd revised edn. North-Holland, Amsterdam (1973)","edition":"2"},{"key":"3_CR14","series-title":"Trends in Mathematics","doi-asserted-by":"crossref","first-page":"285","DOI":"10.1007\/3-7643-7692-9_10","volume-title":"Set Theory: Centre de Recerca Matem\u00e0tica, Barcelona 2003\u201304","author":"S.D. Friedman","year":"2006","unstructured":"Friedman, S.D.: Forcing with finite conditions. In: Bagaria, J., Todor\u010devi\u0107, S. (eds.) Set Theory: Centre de Recerca Matem\u00e0tica, Barcelona 2003\u201304. Trends in Mathematics, pp. 285\u2013296. Birkh\u00e4user Verlag, Basel (2006)"},{"key":"3_CR15","unstructured":"Gitik, M., Magidor, M.: SPFA by finite conditions (preprint, 2012)"},{"key":"3_CR16","doi-asserted-by":"publisher","first-page":"173","DOI":"10.1007\/BF01700692","volume":"38","author":"K. G\u00f6del","year":"1931","unstructured":"G\u00f6del, K.: \u00dcber formal unentscheidbare S\u00e4ztze der Principia Mathematica und verwandter Systeme, I. Monatshefte f\u00fcr Mathematik und Physik\u00a038, 173\u2013198 (1931)","journal-title":"Monatshefte f\u00fcr Mathematik und Physik"},{"key":"3_CR17","doi-asserted-by":"publisher","first-page":"556","DOI":"10.1073\/pnas.24.12.556","volume":"24","author":"K. G\u00f6del","year":"1938","unstructured":"G\u00f6del, K.: The consistency of the axiom of choice and of the generalized continuum hypothesis. Proc. Nat. Acad. Sci.\u00a024, 556\u2013557 (1938)","journal-title":"Proc. Nat. Acad. Sci."},{"key":"3_CR18","doi-asserted-by":"crossref","first-page":"50","DOI":"10.2307\/2275509","volume":"60","author":"M. Goldstern","year":"1995","unstructured":"Goldstern, M., Shelah, S.: The bounded proper forcing axiom. J. Symbol. Logic\u00a060, 50\u201373 (1995)","journal-title":"J. Symbol. Logic"},{"key":"3_CR19","series-title":"Cambridge tracts in Mathematics","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511896972","volume-title":"Consequences of Martin\u2019s Axiom","author":"D.H. Fremlin","year":"1984","unstructured":"Fremlin, D.H.: Consequences of Martin\u2019s Axiom. Cambridge tracts in Mathematics. Cambridge University Press, Cambridge (1984)"},{"issue":"3","key":"3_CR20","doi-asserted-by":"publisher","first-page":"1055","DOI":"10.2307\/2586726","volume":"63","author":"P. Koszmider","year":"1998","unstructured":"Koszmider, P.: On the existence of strong chains in ${\\mathcal P}(\\omega_1)\/{\\rm Fin}$ . J. Symbol. Logic\u00a063(3), 1055\u20131062 (1998)","journal-title":"J. Symbol. Logic"},{"key":"3_CR21","doi-asserted-by":"publisher","first-page":"151","DOI":"10.1007\/BF02392416","volume":"137","author":"R. Laver","year":"1976","unstructured":"Laver, R.: On the consistency of Borel\u2019s conjecture. Acta Math.\u00a0137, 151\u2013169 (1976)","journal-title":"Acta Math."},{"key":"3_CR22","doi-asserted-by":"publisher","first-page":"143","DOI":"10.1016\/0003-4843(70)90009-4","volume":"2","author":"D. Martin","year":"1970","unstructured":"Martin, D., Solovay, R.M.: Internal Cohen extensions. Ann. Math. Logic\u00a02, 143\u2013178 (1970)","journal-title":"Ann. Math. Logic"},{"issue":"3","key":"3_CR23","doi-asserted-by":"publisher","first-page":"357","DOI":"10.1305\/ndjfl\/1125409334","volume":"46","author":"W.J. Mitchell","year":"2005","unstructured":"Mitchell, W.J.: Adding closed unbounded subsets of \u03c9 2 with finite forcing. Notre Dame J. Formal Logic\u00a046(3), 357\u2013371 (2005)","journal-title":"Notre Dame J. Formal Logic"},{"key":"3_CR24","doi-asserted-by":"publisher","first-page":"87","DOI":"10.1142\/S0219061305000407","volume":"5","author":"J.T. Moore","year":"2005","unstructured":"Moore, J.T.: Set mapping reflection. J. Math. Logic\u00a05, 87\u201397 (2005)","journal-title":"J. Math. Logic"},{"key":"3_CR25","unstructured":"Neeman, I.: Forcing with sequences of models of two types (2011) (preprint), http:\/\/www.math.ucla.edu\/~ineeman"},{"key":"3_CR26","doi-asserted-by":"publisher","first-page":"63","DOI":"10.1155\/S016117120102018X","volume":"28","author":"A. Ros\u0142anowski","year":"2001","unstructured":"Ros\u0142anowski, A., Shelah, S.: Iteration of \u03bb-complete forcing notions not collapsing \u03bb \u2009+\u2009. Int. J. Math. Math. Sci.\u00a028, 63\u201382 (2001)","journal-title":"Int. J. Math. Math. Sci."},{"key":"3_CR27","series-title":"Symposia in Pure Mathematics","doi-asserted-by":"crossref","first-page":"331","DOI":"10.1090\/pspum\/013.1\/0276079","volume-title":"Axiomatic Set Theory","author":"G.E. Sacks","year":"1971","unstructured":"Sacks, G.E.: Forcing with perfect closed sets. In: Scott, D. (ed.) Axiomatic Set Theory. Symposia in Pure Mathematics, vol.\u00a013, pp. 331\u2013355. American Mathematical Society, Providence (1971)"},{"issue":"4","key":"3_CR28","doi-asserted-by":"publisher","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. Israel J. Math.\u00a030(4), 297\u2013306 (1978)","journal-title":"Israel J. Math."},{"issue":"2","key":"3_CR29","doi-asserted-by":"publisher","first-page":"360","DOI":"10.2307\/2274385","volume":"52","author":"S. Shelah","year":"1987","unstructured":"Shelah, S.: Semiproper forcing axiom implies Martin Maximum but not PFA\u2009+\u2009. J. Symbol. Logic\u00a052(2), 360\u2013367 (1987)","journal-title":"J. Symbol. Logic"},{"key":"3_CR30","series-title":"Perspectives in Mathematical Logic","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-662-12831-2","volume-title":"Proper and improper forcing","author":"S. Shelah","year":"1998","unstructured":"Shelah, S.: Proper and improper forcing, 2nd edn. Perspectives in Mathematical Logic. Springer, Berlin (1998)","edition":"2"},{"issue":"2","key":"3_CR31","doi-asserted-by":"publisher","first-page":"201","DOI":"10.2307\/1970860","volume":"94","author":"R.M. Solovay","year":"1971","unstructured":"Solovay, R.M., Tennenbaum, S.: Iterated Cohen extensions and Souslin\u2019s problem. Ann. of Math.\u00a094(2), 201\u2013245 (1971)","journal-title":"Ann. of Math."},{"key":"3_CR32","series-title":"Contemporary Mathematics","doi-asserted-by":"crossref","first-page":"209","DOI":"10.1090\/conm\/031\/763902","volume-title":"Axiomatic Set Theory (Boulder, Colorado 1983)","author":"S. Todor\u010devi\u0107","year":"1984","unstructured":"Todor\u010devi\u0107, S.: A note on the proper forcing axiom. In: Axiomatic Set Theory (Boulder, Colorado 1983). Contemporary Mathematics, vol.\u00a031, pp. 209\u2013218. Amer. Math. Soc., Providence (1984)"},{"key":"3_CR33","doi-asserted-by":"crossref","DOI":"10.1090\/conm\/084","volume-title":"Partition problems in topology","author":"S. Todor\u010devi\u0107","year":"1989","unstructured":"Todor\u010devi\u0107, S.: Partition problems in topology. American Mathematical Society, Rhode (1989)"},{"issue":"2","key":"3_CR34","doi-asserted-by":"publisher","first-page":"256","DOI":"10.1016\/0001-8708(92)90038-M","volume":"94","author":"B. Veli\u010dkovi\u0107","year":"1992","unstructured":"Veli\u010dkovi\u0107, B.: Forcing axioms and stationary sets. Adv. Math.\u00a094(2), 256\u2013284 (1992)","journal-title":"Adv. Math."},{"key":"3_CR35","unstructured":"Veli\u010dkovi\u0107, B., Venturi, G.: Proper forcing remastered (2011) (preprint), http:\/\/arxiv.org\/pdf\/1110.0610.pdf"}],"container-title":["Lecture Notes in Computer Science","Logic and Its Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-36039-8_3.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,4]],"date-time":"2021-05-04T13:34:41Z","timestamp":1620135281000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-36039-8_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642360381","9783642360398"],"references-count":35,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-36039-8_3","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2013]]}}}