{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,28]],"date-time":"2025-11-28T12:21:51Z","timestamp":1764332511087},"reference-count":27,"publisher":"Springer Science and Business Media LLC","issue":"7-8","license":[{"start":{"date-parts":[[2017,5,27]],"date-time":"2017-05-27T00:00:00Z","timestamp":1495843200000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Arch. Math. Logic"],"published-print":{"date-parts":[[2017,11]]},"DOI":"10.1007\/s00153-017-0550-y","type":"journal-article","created":{"date-parts":[[2017,5,27]],"date-time":"2017-05-27T00:03:55Z","timestamp":1495843435000},"page":"983-1036","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":6,"title":["Two applications of finite side conditions at $$\\omega _2$$ \u03c9 2"],"prefix":"10.1007","volume":"56","author":[{"given":"Itay","family":"Neeman","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2017,5,27]]},"reference":[{"key":"550_CR1","doi-asserted-by":"publisher","first-page":"193","DOI":"10.1007\/s11856-015-1250-0","volume":"210","author":"D Asper\u00f3","year":"2015","unstructured":"Asper\u00f3, D., Mota, M.A.: A generalization of Martin\u2019s axiom. Isr. J. Math. 210, 193\u2013231 (2015). doi: 10.1007\/s11856-015-1250-0","journal-title":"Isr. J. Math."},{"issue":"9","key":"550_CR2","doi-asserted-by":"crossref","first-page":"6103","DOI":"10.1090\/S0002-9947-2015-06205-9","volume":"367","author":"D Asper\u00f3","year":"2015","unstructured":"Asper\u00f3, D., Mota, M.A.: Forcing consequences of $$PFA$$ P F A together with the continuum large. Trans. Am. Math. Soc. 367(9), 6103\u20136129 (2015)","journal-title":"Trans. Am. Math. Soc."},{"key":"550_CR3","doi-asserted-by":"crossref","unstructured":"Baumgartner, J.E.: Applications of the proper forcing axiom. In: Kunen, K., Vaughan, J. (eds.) Handbook of Set-Theoretic Topology, pp. 913\u2013959. North-Holland, Amsterdam (1984)","DOI":"10.1016\/B978-0-444-86580-9.50024-0"},{"issue":"2","key":"550_CR4","doi-asserted-by":"crossref","first-page":"109","DOI":"10.1016\/0168-0072(87)90077-7","volume":"33","author":"JE Baumgartner","year":"1987","unstructured":"Baumgartner, J.E., Shelah, S.: Remarks on superatomic Boolean algebras. Ann. Pure Appl. Logic 33(2), 109\u2013129 (1987)","journal-title":"Ann. Pure Appl. Logic"},{"issue":"8","key":"550_CR5","doi-asserted-by":"crossref","first-page":"2435","DOI":"10.1090\/S0002-9939-97-03796-9","volume":"125","author":"J Cummings","year":"1997","unstructured":"Cummings, J.: Souslin trees which are hard to specialise. Proc. Am. Math. Soc. 125(8), 2435\u20132441 (1997)","journal-title":"Proc. Am. Math. Soc."},{"issue":"1","key":"550_CR6","doi-asserted-by":"crossref","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 $$\\square _{\\omega _1}$$ \u25a1 \u03c9 1 with finite conditions. Ann. Pure Appl. Logic 164(1), 49\u201364 (2013)","journal-title":"Ann. Pure Appl. Logic"},{"key":"550_CR7","doi-asserted-by":"crossref","unstructured":"Friedman, S.-D.: Forcing with finite conditions. In: Set Theory, Trends Mathematics, pp. 285\u2013295. Birkh\u00e4user, Basel (2006)","DOI":"10.1007\/3-7643-7692-9_10"},{"key":"550_CR8","first-page":"29","volume":"19","author":"S-D Friedman","year":"2011","unstructured":"Friedman, S.-D.: BPFA and inner models. Ann. Jpn. Assoc. Philos. Sci. 19, 29\u201336 (2011)","journal-title":"Ann. Jpn. Assoc. Philos. Sci."},{"issue":"5","key":"550_CR9","doi-asserted-by":"crossref","first-page":"2407","DOI":"10.1090\/S0002-9947-06-04163-8","volume":"359","author":"S-D Friedman","year":"2007","unstructured":"Friedman, S.-D., Krueger, J.: Thin stationary sets and disjoint club sequences. Trans. Am. Math. Soc. 359(5), 2407\u20132420 (2007)","journal-title":"Trans. Am. Math. Soc."},{"key":"550_CR10","doi-asserted-by":"crossref","first-page":"289","DOI":"10.1007\/BF02803525","volume":"118","author":"P Koszmider","year":"2000","unstructured":"Koszmider, P.: On strong chains of uncountable functions. Isr. J. Math. 118, 289\u2013315 (2000)","journal-title":"Isr. J. Math."},{"issue":"3","key":"550_CR11","doi-asserted-by":"crossref","first-page":"279","DOI":"10.4064\/fm224-3-5","volume":"224","author":"J Krueger","year":"2014","unstructured":"Krueger, J.: Coherent adequate sets and forcing square. Fund. Math. 224(3), 279\u2013300 (2014)","journal-title":"Fund. Math."},{"issue":"2","key":"550_CR12","doi-asserted-by":"publisher","first-page":"1550005","DOI":"10.1142\/S0219061315500051","volume":"15","author":"J Krueger","year":"2015","unstructured":"Krueger, J., Mota, M.A.: Coherent adequate forcing and preserving CH. J. Math. Logic 15(2), 1550005 (2015). doi: 10.1142\/S0219061315500051","journal-title":"J. Math. Logic"},{"issue":"3","key":"550_CR13","doi-asserted-by":"crossref","first-page":"357","DOI":"10.1305\/ndjfl\/1125409334","volume":"46","author":"WJ Mitchell","year":"2005","unstructured":"Mitchell, W.J.: Adding closed unbounded subsets of $$\\omega _2$$ \u03c9 2 with finite forcing. Notre Dame J. Formal Logic 46(3), 357\u2013371 (2005)","journal-title":"Notre Dame J. Formal Logic"},{"issue":"2","key":"550_CR14","doi-asserted-by":"crossref","first-page":"561","DOI":"10.1090\/S0002-9947-08-04664-3","volume":"361","author":"WJ Mitchell","year":"2009","unstructured":"Mitchell, W.J.: $$I[\\omega _2]$$ I [ \u03c9 2 ] can be the nonstationary ideal on $${\\rm Cof}(\\omega _1)$$ Cof ( \u03c9 1 ) . Trans. Am. Math. Soc. 361(2), 561\u2013601 (2009)","journal-title":"Trans. Am. Math. Soc."},{"key":"550_CR15","unstructured":"Neeman, I.: Higher analogues of the proper forcing axiom (in preparation)"},{"issue":"2","key":"550_CR16","doi-asserted-by":"crossref","first-page":"265","DOI":"10.1215\/00294527-2420666","volume":"55","author":"I Neeman","year":"2014","unstructured":"Neeman, I.: Forcing with sequences of models of two types. Notre Dame J. Form. Log. 55(2), 265\u2013298 (2014)","journal-title":"Notre Dame J. Form. Log."},{"issue":"1","key":"550_CR17","doi-asserted-by":"crossref","first-page":"43","DOI":"10.1016\/0168-0072(87)90075-3","volume":"33","author":"M Rubin","year":"1987","unstructured":"Rubin, M., Shelah, S.: Combinatorial problems on trees: partitions, $$\\Delta $$ \u0394 -systems and large free subtrees. Ann. Pure Appl. Logic 33(1), 43\u201381 (1987)","journal-title":"Ann. Pure Appl. Logic"},{"issue":"1\u20132","key":"550_CR18","doi-asserted-by":"crossref","first-page":"29","DOI":"10.1007\/s00153-012-0305-8","volume":"52","author":"H Sakai","year":"2013","unstructured":"Sakai, H.: Chang\u2019s conjecture and weak square. Arch. Math. Logic 52(1\u20132), 29\u201345 (2013)","journal-title":"Arch. Math. Logic"},{"key":"550_CR19","doi-asserted-by":"crossref","unstructured":"Shelah, S.: Proper Forcing. Lecture Notes in Mathematics, vol. 940. Springer, Berlin (1982)","DOI":"10.1007\/978-3-662-21543-2"},{"issue":"3","key":"550_CR20","doi-asserted-by":"crossref","first-page":"887","DOI":"10.1090\/S0002-9939-1988-0964870-5","volume":"104","author":"S Shelah","year":"1988","unstructured":"Shelah, S., Stanley, L.: Weakly compact cardinals and nonspecial Aronszajn trees. Proc. Am. Math. Soc. 104(3), 887\u2013897 (1988)","journal-title":"Proc. Am. Math. Soc."},{"issue":"43","key":"550_CR21","first-page":"249","volume":"29","author":"S Todor\u010devi\u0107","year":"1981","unstructured":"Todor\u010devi\u0107, S.: Stationary sets, trees and continuums. Publ. Inst. Math. (Beograd) (N.S.) 29(43), 249\u2013262 (1981)","journal-title":"Publ. Inst. Math. (Beograd) (N.S.)"},{"key":"550_CR22","doi-asserted-by":"crossref","unstructured":"Stevo, T.: A note on the proper forcing axiom. In: Axiomatic set theory (Boulder, CO, 1983), volume\u00a031 of Contemporary Mathematics, pp. 209\u2013218. American Mathematical Society, Providence, RI (1984)","DOI":"10.1090\/conm\/031\/763902"},{"issue":"2","key":"550_CR23","doi-asserted-by":"crossref","first-page":"711","DOI":"10.2307\/2000309","volume":"290","author":"S Todor\u010devi\u0107","year":"1985","unstructured":"Todor\u010devi\u0107, S.: Directed sets and cofinal types. Trans. Am. Math. Soc. 290(2), 711\u2013723 (1985)","journal-title":"Trans. Am. Math. Soc."},{"issue":"1\u20132","key":"550_CR24","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/BF02392535","volume":"155","author":"S Todor\u010devi\u0107","year":"1985","unstructured":"Todor\u010devi\u0107, S.: Partition relations for partially ordered sets. Acta Math. 155(1\u20132), 1\u201325 (1985)","journal-title":"Acta Math."},{"issue":"1","key":"550_CR25","doi-asserted-by":"crossref","first-page":"199","DOI":"10.2307\/2046756","volume":"105","author":"S Todor\u010devi\u0107","year":"1989","unstructured":"Todor\u010devi\u0107, S.: Special square sequences. Proc. Am. Math. Soc. 105(1), 199\u2013205 (1989)","journal-title":"Proc. Am. Math. Soc."},{"key":"550_CR26","doi-asserted-by":"crossref","unstructured":"Stevo, T.: Conjectures of Rado and Chang and cardinal arithmetic. In: Finite and Infinite Combinatorics in Sets and Logic (Banff, AB, 1991), volume 411 of NATO Adv. Sci. Inst. Ser. C Math. Phys. Sci., pp. 385\u2013398. Kluwer Academic Publications, Dordrecht (1993)","DOI":"10.1007\/978-94-011-2080-7_26"},{"key":"550_CR27","unstructured":"Velickovic, B., Venturi, G.: Proper forcing remastered. In: Cummings, J., Schimmerling, E. (eds.) Appalachian Set Theory: 2006\u20132012, London Mathematical Society Lecture Note Series. Cambridge University Press, Cambridge (2013)"}],"container-title":["Archive for Mathematical Logic"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s00153-017-0550-y\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00153-017-0550-y.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00153-017-0550-y.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,9,25]],"date-time":"2019-09-25T01:22:42Z","timestamp":1569374562000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s00153-017-0550-y"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,5,27]]},"references-count":27,"journal-issue":{"issue":"7-8","published-print":{"date-parts":[[2017,11]]}},"alternative-id":["550"],"URL":"https:\/\/doi.org\/10.1007\/s00153-017-0550-y","relation":{},"ISSN":["0933-5846","1432-0665"],"issn-type":[{"value":"0933-5846","type":"print"},{"value":"1432-0665","type":"electronic"}],"subject":[],"published":{"date-parts":[[2017,5,27]]}}}