{"entities":{"Q1938403":{"pageid":1949145,"ns":120,"title":"Item:Q1938403","lastrevid":57604395,"modified":"2026-03-31T14:20:35Z","type":"item","id":"Q1938403","labels":{"en":{"language":"en","value":"A variant of Mathias forcing that preserves \\(\\mathsf{ACA}_0\\)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6134298"}},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"fd5912e4dab4b881a8eb0eb27e7893fef55176ad","datavalue":{"value":{"entity-type":"item","numeric-id":56887,"id":"Q56887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1938403$A7618A53-C972-4D13-A6BB-5B89BB996FA3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a01f13d1d5a86d2eacfef9cf2429daa33fbf4fa2","datavalue":{"value":{"text":"A variant of Mathias forcing that preserves \\(\\mathsf{ACA}_0\\)","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1938403$2DB6C732-A81A-425A-B28A-5665478321D8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1a9c44349d8b0af1bba56938e433c23ad9662766","datavalue":{"value":"1269.03020","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1938403$0518DE4F-F862-447A-9587-DB538FBCADD2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"59e5184151e3553a752c4f6d8ea9021d0d6ae420","datavalue":{"value":{"entity-type":"item","numeric-id":1762360,"id":"Q1762360"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1938403$8ED3347D-BBF6-4982-9F7A-3C47980E4BB4","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a0a7cd28a9f85b9c6ad57bd5bb1ae477bfe37846","datavalue":{"value":{"entity-type":"item","numeric-id":114337,"id":"Q114337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1938403$3D0A00B7-E267-440E-BFF0-07177BD96C88","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3303370592b590ea2daf77b34dbd2db9a539c4a2","datavalue":{"value":{"time":"+2013-02-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1938403$D1196296-559C-4885-B07C-DDF3E0B8A1E5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9f9e1c7069aee0e2323350c7b7768d81a239eca9","datavalue":{"value":"https://arxiv.org/abs/1110.6559","type":"string"},"datatype":"url"},"type":"statement","id":"Q1938403$25D65598-697E-46B2-97CF-4A0AD691E298","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"0c504cfe292ba2525ae69a03693248459318d8ec","datavalue":{"value":"This paper formulates and applies \\(F_\\sigma\\)-Mathias forcing, an adaptation of set-theoretic Mathias forcing specially devised to preserve properties of models of second-order arithmetic. For example, the author proves that if \\(\\mathcal N\\) is a model of ACA\\(_0\\) and \\(G\\) is generic for \\(F_\\sigma\\)-Mathias forcing, then \\(\\mathcal N [G]\\) is also a model of ACA\\(_0\\). This statement also holds with ACA\\(_0\\) replaced by WKL\\(_0\\) plus induction for \\(\\Sigma^0_2\\) formulas. The final section demonstrates the use of this forcing machinery in obtaining conservation and cone-avoidance theorems.  The article supplies a conceptual bridge from the set-theoretic treatment of Mathias forcing of \\textit{J. E. Baumgartner} [Lond. Math. Soc. Lect. Note Ser. 87, 1--59 (1983; Zbl 0524.03040)] and \\textit{A. Blass} [Ann. Pure Appl. Logic 109, No. 1--2, 77--88 (2001; Zbl 0980.03055)] to the computability-theoretic results of \\textit{P. A. Cholak} et al. [J. Symb. Log. 66, No. 1, 1--55 (2001; Zbl 0977.03033); corrigendum ibid. 74, No. 4, 1438--1439 (2009; Zbl 1182.03107)] and \\textit{D. D. Dzhafarov} and \\textit{C. G. Jockusch jun.} [J. Symb. Log. 74, No. 2, 557--578 (2009; Zbl 1166.03021)].","type":"string"},"datatype":"string"},"type":"statement","id":"Q1938403$7327C61C-FAFD-43E6-8FD9-A90835A0C916","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"13841f0b96793f178ce9a7dcac9f232220625aee","datavalue":{"value":"03B30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1938403$E6EBE4C1-1F28-4BD7-B467-1E9E1BA4CB59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"98885bd1c25b8006ce085f2a50fc8ac0c1b6bdcd","datavalue":{"value":"03E40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1938403$6F24970F-F3A8-4A40-A6E5-CDB11A83B507","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4cb4544bfd0397cd4a315ee326499c372f013de5","datavalue":{"value":"03F35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1938403$79E6DE9A-E854-4D75-9380-81D54CE2C8FD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"354f2851844073083f6e75d80e99b469e688fa0f","datavalue":{"value":"6134298","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1938403$2FACF735-8A5D-44DF-A6A4-6A9801C37D63","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2dd15bda065c5695ecebd1e24a1b8e9c09d91954","datavalue":{"value":"Mathias forcing","type":"string"},"datatype":"string"},"type":"statement","id":"Q1938403$15F3E131-EE52-483A-945D-3357B219F9AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e928ef71c0e7c501fd4e474de74400a15fc3e89d","datavalue":{"value":"second-order arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1938403$7B8D5038-15E4-44C7-9813-4CFCC1ABB232","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"341e132c251f85cf9c2e14ebbeee36aeadcd5d45","datavalue":{"value":"cohesive sets","type":"string"},"datatype":"string"},"type":"statement","id":"Q1938403$7C25F86E-7B3B-4EFA-9848-7A777F5D51EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e6add808c675519f71c0b3765ac9e61e277f7dd5","datavalue":{"value":"\\({F_\\sigma}\\)-ideals","type":"string"},"datatype":"string"},"type":"statement","id":"Q1938403$F89FD0E8-71E5-4783-961C-9EF89167E973","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"03cb9377b5a71508de7c6970d40b7fd6856b796e","datavalue":{"value":"lower semicontinuous","type":"string"},"datatype":"string"},"type":"statement","id":"Q1938403$50EAF58B-CEF6-47C4-A84F-A0265ED6DCEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c4d6a66fbf874def59fd9ef80f43caa61f121b81","datavalue":{"value":"submeasure","type":"string"},"datatype":"string"},"type":"statement","id":"Q1938403$999ED598-6BE9-467A-81C1-232E4467B38C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"041059c8622a4b6036e4fbaf77c817a24f85c72d","datavalue":{"value":"cone avoidance","type":"string"},"datatype":"string"},"type":"statement","id":"Q1938403$6A0A3707-CF6A-4CF6-A826-863B57650847","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"06ca57a004f516cf3c19f289ce9500c08d4e5d3e","datavalue":{"value":"generic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1938403$7A777888-F008-43EA-A8E0-F308BD965885","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e325a72f0e26ab98b1e996e2e86ac8d7891b9a92","datavalue":{"value":"reverse mathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1938403$A3C59684-C2B0-4C0B-BAA0-BE1FFADEE631","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"c2c7a0f70c0b7cc2161585e985e86183cb70d3ef","datavalue":{"value":{"entity-type":"item","numeric-id":335001,"id":"Q335001"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1938403$42194739-9BF0-4D81-9EC5-EB653F8F6CAB","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"57f7fea50d2ce1b39b695c4a1313582eed405e38","datavalue":{"value":{"entity-type":"item","numeric-id":5976449,"id":"Q5976449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1938403$72AA1A3B-F3F4-475C-BBD6-CC2B07295F7B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5352dd3016303174a6146bfa623cf66a9034fd41","datavalue":{"value":"W3106099063","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1938403$A187A872-C55C-4E17-88F2-0725A0A03BFB","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff9638f4c939bdb413ca44a7da053af3690c9c79","datavalue":{"value":{"entity-type":"item","numeric-id":5940146,"id":"Q5940146"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1938403$EB0C798F-21E4-416A-B880-D5D8B0EBF1C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4fe1f8f54ba03c49cff0d68f7b9824a34fdf219b","datavalue":{"value":{"entity-type":"item","numeric-id":2732267,"id":"Q2732267"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1938403$F46914A8-7D96-46BC-BA68-5150AE7A9D7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8f85186927e9336c9a482f6b073e24580eb2fbbc","datavalue":{"value":{"entity-type":"item","numeric-id":3630579,"id":"Q3630579"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1938403$ED6F33CB-A918-4BD1-8FC2-365474973913","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"909c8764e44a88fe42b47cfdea73fd2676bc26b8","datavalue":{"value":{"entity-type":"item","numeric-id":4043087,"id":"Q4043087"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1938403$DAC6E922-7DB5-4FC7-A2A2-CAAF62E5CD48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f73aacf0d9eee94cb147aba63928e7a70459be73","datavalue":{"value":{"entity-type":"item","numeric-id":3426570,"id":"Q3426570"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1938403$D674A8EA-1A40-49F3-8530-0B0B5215FB38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"372ac7410c3602549aaffbccc69cf9a80d4b9494","datavalue":{"value":{"entity-type":"item","numeric-id":5711891,"id":"Q5711891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1938403$05E6E2F0-0D91-4585-836A-C6036ACB25D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3145791be41afb1e842f815f01a740997a825544","datavalue":{"value":{"entity-type":"item","numeric-id":1913632,"id":"Q1913632"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1938403$B3C31C74-C28D-4B4A-BAD4-84081DE449FD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5f741d335863a43e20cfe0200006710fecaa967f","datavalue":{"value":"10.1007/S00153-012-0297-4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1938403$1372F33C-F19E-4AA2-9C88-4CF74AB12DBD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8868a62ec8df3207496bd1c4a4eb27cf563faf1b","datavalue":{"value":{"entity-type":"item","numeric-id":2563983,"id":"Q2563983"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"36f509a5e2d0e3b717fac5e447c453cce2399300","datavalue":{"value":{"amount":"+0.772504985332489","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1938403$33E4BDCF-F37E-4C48-9469-ED3BAEBB4249","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cabb97ca3616a58dcedc88bef6fc2bc7ebc46246","datavalue":{"value":{"entity-type":"item","numeric-id":3691651,"id":"Q3691651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1a5db345591ce7112281e8e47776488b809539a4","datavalue":{"value":{"amount":"+0.7540683150291443","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1938403$9C4492F9-986C-43AC-BB40-BC645190493B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d0b2379970857ddbc97884f9fc0e399f30c11cfa","datavalue":{"value":{"entity-type":"item","numeric-id":2453068,"id":"Q2453068"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"11a27c10fc0b6e844d0720c4473eaa5a87a45ffd","datavalue":{"value":{"amount":"+0.7513017654418945","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1938403$F2447160-F51C-4536-961E-9FC3A904D3C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"226acfb62b79b9f9dff1db06fd97e9dd216a1364","datavalue":{"value":{"entity-type":"item","numeric-id":386153,"id":"Q386153"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5d00dc3202c39750fc8fd03ff90e4a370177274d","datavalue":{"value":{"amount":"+0.7253611087799072","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1938403$0277650A-19B4-4842-8DE4-2F68783EF84A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f014adee919ea98385eb1c45f13b50038525c60d","datavalue":{"value":{"entity-type":"item","numeric-id":503254,"id":"Q503254"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"23c108b55e38b7873171defd8e52738a5b875a7a","datavalue":{"value":{"amount":"+0.7229682803153992","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1938403$620000F4-7DD1-4FC5-8F91-DDB16C321A6A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1938403","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1938403"}}}}}