{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,4,25]],"date-time":"2025-04-25T04:24:23Z","timestamp":1745555063796,"version":"3.40.4"},"reference-count":9,"publisher":"Springer Science and Business Media LLC","issue":"3-4","license":[{"start":{"date-parts":[[2024,10,22]],"date-time":"2024-10-22T00:00:00Z","timestamp":1729555200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"},{"start":{"date-parts":[[2024,10,22]],"date-time":"2024-10-22T00:00:00Z","timestamp":1729555200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"}],"funder":[{"DOI":"10.13039\/501100000266","name":"Engineering and Physical Sciences Research Council","doi-asserted-by":"publisher","award":["EP\/V009001\/1"],"award-info":[{"award-number":["EP\/V009001\/1"]}],"id":[{"id":"10.13039\/501100000266","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Arch. Math. Logic"],"published-print":{"date-parts":[[2025,5]]},"abstract":"<jats:title>Abstract<\/jats:title>\n          <jats:p>We consider a question of Pereira as to whether the characteristic function of an internally approachable model can lead to free subsets for functions of the model. Pereira isolated the pertinent <jats:italic>Approachable Free Subsets Property<\/jats:italic> (AFSP) in his work on the <jats:inline-formula>\n              <jats:alternatives>\n                <jats:tex-math>$${\\text {pcf}}$$<\/jats:tex-math>\n                <mml:math xmlns:mml=\"http:\/\/www.w3.org\/1998\/Math\/MathML\">\n                  <mml:mtext>pcf<\/mml:mtext>\n                <\/mml:math>\n              <\/jats:alternatives>\n            <\/jats:inline-formula>-conjecture. A recent related property is the <jats:italic>Approachable Bounded Subset Property<\/jats:italic> (ABSP) of Ben-Neria and Adolf, and we here directly show it requires modest large cardinals to establish:<\/jats:p>\n          <jats:p>\n            <jats:bold>Theorem<\/jats:bold>\n            <jats:italic>If ABSP<\/jats:italic> holds for an ascending sequence <jats:inline-formula>\n              <jats:alternatives>\n                <jats:tex-math>$$ \\langle \\aleph _{n_{m}} \\rangle _{m}$$<\/jats:tex-math>\n                <mml:math xmlns:mml=\"http:\/\/www.w3.org\/1998\/Math\/MathML\">\n                  <mml:msub>\n                    <mml:mrow>\n                      <mml:mo>\u27e8<\/mml:mo>\n                      <mml:msub>\n                        <mml:mi>\u2135<\/mml:mi>\n                        <mml:msub>\n                          <mml:mi>n<\/mml:mi>\n                          <mml:mi>m<\/mml:mi>\n                        <\/mml:msub>\n                      <\/mml:msub>\n                      <mml:mo>\u27e9<\/mml:mo>\n                    <\/mml:mrow>\n                    <mml:mi>m<\/mml:mi>\n                  <\/mml:msub>\n                <\/mml:math>\n              <\/jats:alternatives>\n            <\/jats:inline-formula>\n            <jats:inline-formula>\n              <jats:alternatives>\n                <jats:tex-math>$$( n_{m} \\in \\omega )$$<\/jats:tex-math>\n                <mml:math xmlns:mml=\"http:\/\/www.w3.org\/1998\/Math\/MathML\">\n                  <mml:mrow>\n                    <mml:mo>(<\/mml:mo>\n                    <mml:msub>\n                      <mml:mi>n<\/mml:mi>\n                      <mml:mi>m<\/mml:mi>\n                    <\/mml:msub>\n                    <mml:mo>\u2208<\/mml:mo>\n                    <mml:mi>\u03c9<\/mml:mi>\n                    <mml:mo>)<\/mml:mo>\n                  <\/mml:mrow>\n                <\/mml:math>\n              <\/jats:alternatives>\n            <\/jats:inline-formula> then there is an inner model with measurables <jats:inline-formula>\n              <jats:alternatives>\n                <jats:tex-math>$$\\kappa &lt; \\aleph _{\\omega }$$<\/jats:tex-math>\n                <mml:math xmlns:mml=\"http:\/\/www.w3.org\/1998\/Math\/MathML\">\n                  <mml:mrow>\n                    <mml:mi>\u03ba<\/mml:mi>\n                    <mml:mo>&lt;<\/mml:mo>\n                    <mml:msub>\n                      <mml:mi>\u2135<\/mml:mi>\n                      <mml:mi>\u03c9<\/mml:mi>\n                    <\/mml:msub>\n                  <\/mml:mrow>\n                <\/mml:math>\n              <\/jats:alternatives>\n            <\/jats:inline-formula> of arbitrarily large Mitchell order below <jats:inline-formula>\n              <jats:alternatives>\n                <jats:tex-math>$$\\aleph _{\\omega }$$<\/jats:tex-math>\n                <mml:math xmlns:mml=\"http:\/\/www.w3.org\/1998\/Math\/MathML\">\n                  <mml:msub>\n                    <mml:mi>\u2135<\/mml:mi>\n                    <mml:mi>\u03c9<\/mml:mi>\n                  <\/mml:msub>\n                <\/mml:math>\n              <\/jats:alternatives>\n            <\/jats:inline-formula>, that is: <jats:inline-formula>\n              <jats:alternatives>\n                <jats:tex-math>$$\\sup \\left\\{ \\alpha \\mid {\\exists }\\kappa &lt; \\aleph _{\\omega } o ( \\kappa ) \\ge \\alpha \\right\\} = \\aleph _{\\omega }$$<\/jats:tex-math>\n                <mml:math xmlns:mml=\"http:\/\/www.w3.org\/1998\/Math\/MathML\">\n                  <mml:mrow>\n                    <mml:mo>sup<\/mml:mo>\n                    <mml:mfenced>\n                      <mml:mi>\u03b1<\/mml:mi>\n                      <mml:mo>\u2223<\/mml:mo>\n                      <mml:mo>\u2203<\/mml:mo>\n                      <mml:mi>\u03ba<\/mml:mi>\n                      <mml:mo>&lt;<\/mml:mo>\n                      <mml:msub>\n                        <mml:mi>\u2135<\/mml:mi>\n                        <mml:mi>\u03c9<\/mml:mi>\n                      <\/mml:msub>\n                      <mml:mi>o<\/mml:mi>\n                      <mml:mrow>\n                        <mml:mo>(<\/mml:mo>\n                        <mml:mi>\u03ba<\/mml:mi>\n                        <mml:mo>)<\/mml:mo>\n                      <\/mml:mrow>\n                      <mml:mo>\u2265<\/mml:mo>\n                      <mml:mi>\u03b1<\/mml:mi>\n                    <\/mml:mfenced>\n                    <mml:mo>=<\/mml:mo>\n                    <mml:msub>\n                      <mml:mi>\u2135<\/mml:mi>\n                      <mml:mi>\u03c9<\/mml:mi>\n                    <\/mml:msub>\n                  <\/mml:mrow>\n                <\/mml:math>\n              <\/jats:alternatives>\n            <\/jats:inline-formula>. A result of Adolf and Ben Neria then shows that this conclusion is in fact the exact consistency strength of ABSP for such an ascending sequence. Their result went via the consistency of the non-existence of continuous tree-like scales; the result of this paper is direct and avoids the use of PCF scales.<\/jats:p>","DOI":"10.1007\/s00153-024-00947-0","type":"journal-article","created":{"date-parts":[[2024,10,22]],"date-time":"2024-10-22T21:01:54Z","timestamp":1729630914000},"page":"435-443","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Free subsets in internally approachable models"],"prefix":"10.1007","volume":"64","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-8350-1430","authenticated-orcid":false,"given":"P. D.","family":"Welch","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2024,10,22]]},"reference":[{"key":"947_CR1","unstructured":"Ben-Neria, O., Adolf, D.: Approachable free subsets and fine structure derived scales. arxiv:2101.12245, :44, January (2021)"},{"key":"947_CR2","doi-asserted-by":"publisher","first-page":"66","DOI":"10.1016\/j.apal.2009.06.001","volume":"161","author":"S Cox","year":"2009","unstructured":"Cox, S.: Covering theorems for the core model, and an application to stationary set reflection. Ann. Pure Appl. Logic 161, 66\u201393 (2009)","journal-title":"Ann. Pure Appl. Logic"},{"issue":"4","key":"947_CR3","doi-asserted-by":"publisher","first-page":"1198","DOI":"10.2307\/2274272","volume":"49","author":"P Koepke","year":"1984","unstructured":"Koepke, P.: The consistency strength of the free subset problem for $$\\omega _{\\omega }$$. J. Symb. Log. 49(4), 1198\u20131204 (1984)","journal-title":"J. Symb. Log."},{"issue":"2","key":"947_CR4","doi-asserted-by":"publisher","first-page":"229","DOI":"10.1017\/S030500410006151X","volume":"95","author":"WJ Mitchell","year":"1984","unstructured":"Mitchell, W.J.: The core model for sequences of measures. i. Math. Proc. Cambridge Philos. Soc. 95(2), 229\u2013260 (1984)","journal-title":"Math. Proc. Cambridge Philos. Soc."},{"key":"947_CR5","doi-asserted-by":"crossref","unstructured":"Mitchell, W.J.: The covering lemma. In M. Magidor\u00a0M. Foreman, A. Kanamori, editor, Handbook of Set Theory, pp 1497\u20131594. Spinger (2010)","DOI":"10.1007\/978-1-4020-5764-9_19"},{"key":"947_CR6","unstructured":"Pereira, L.: Combinatoire des cardinaux singuliers et structures PCF. PhD thesis, Universit\u00e9 Paris 7 - Denis Diderot, Sep (2007)"},{"issue":"2","key":"947_CR7","doi-asserted-by":"publisher","first-page":"674","DOI":"10.2178\/jsl\/1208359066","volume":"73","author":"L Pereira","year":"2008","unstructured":"Pereira, L.: The pcf conjecture and large cardinals. J. Symb. Log. 73(2), 674\u2013688 (2008)","journal-title":"J. Symb. Log."},{"key":"947_CR8","doi-asserted-by":"publisher","first-page":"505","DOI":"10.2307\/2273418","volume":"45","author":"S Shelah","year":"1980","unstructured":"Shelah, S.: Independence of strong partition relation for small cardinals, and the free subset problem. J. Symb. Log. 45, 505\u2013509 (1980)","journal-title":"J. Symb. Log."},{"key":"947_CR9","doi-asserted-by":"publisher","DOI":"10.1515\/9783110857818","volume-title":"Inner Models and Large Cardinals","author":"M Zeman","year":"2002","unstructured":"Zeman, M.: Inner Models and Large Cardinals, vol. 5. Series in Logic and its Applications, De Gruyter, Berlin, New York (2002)"}],"container-title":["Archive for Mathematical Logic"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s00153-024-00947-0.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s00153-024-00947-0\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s00153-024-00947-0.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,4,25]],"date-time":"2025-04-25T02:58:17Z","timestamp":1745549897000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s00153-024-00947-0"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,10,22]]},"references-count":9,"journal-issue":{"issue":"3-4","published-print":{"date-parts":[[2025,5]]}},"alternative-id":["947"],"URL":"https:\/\/doi.org\/10.1007\/s00153-024-00947-0","relation":{},"ISSN":["0933-5846","1432-0665"],"issn-type":[{"type":"print","value":"0933-5846"},{"type":"electronic","value":"1432-0665"}],"subject":[],"published":{"date-parts":[[2024,10,22]]},"assertion":[{"value":"6 May 2022","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"8 October 2024","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"22 October 2024","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}