{"entities":{"Q2563983":{"pageid":2574726,"ns":120,"title":"Item:Q2563983","lastrevid":73797375,"modified":"2026-04-14T17:17:28Z","type":"item","id":"Q2563983","labels":{"en":{"language":"en","value":"Formalizing forcing arguments in subsystems of second-order arithmetic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 961101"}},"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":"Q2563983$CFB8AF83-492C-43B4-8196-560099EA8393","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"942213ae73fb222223de82933f154ba7e5b48dc2","datavalue":{"value":{"text":"Formalizing forcing arguments in subsystems of second-order arithmetic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2563983$DC452D02-550A-4640-B810-64FE5139E1FB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f2dcc931fa07430c55ec08b58a1a81517c597161","datavalue":{"value":"0860.03040","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2563983$8EEDEBAC-9D14-4EE2-918A-0C4C58743DB4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0ecbf5571a2b4722820cf323afde1d9a0ebe60e8","datavalue":{"value":"10.1016/0168-0072(96)00003-6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2563983$B91BB0E0-95F3-4AC4-8C49-358D89704AAE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"834b9908deaa5f43ae5b55e2029a1dd9a50ccc06","datavalue":{"value":{"entity-type":"item","numeric-id":287376,"id":"Q287376"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2563983$EB1E5657-A3D4-40BD-85FD-892412F8A99F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f91a4bcbc93435aed71775d25a4c5cd09e26f12d","datavalue":{"value":{"entity-type":"item","numeric-id":122505,"id":"Q122505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2563983$CF6249E2-6A05-4E25-995F-A5B92DF0DF3D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"10e532ff1bc6d13eb9c7e7cf3ee728d0229037bd","datavalue":{"value":{"time":"+1997-01-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2563983$9AC6930E-4F7F-46F3-A0E4-7883E1A84AD9","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"4158fc3a3ddd0522e8103b2352df1d0d4b95aae6","datavalue":{"value":"The main theorem of the paper is a sharpening of the conservation theorem of Harrington and Brown-Simpson. It is proved that \\(\\text{WKL}^+_0\\) is conservative over \\(\\text{RCA}_0\\), i.e., that one can translate \\(\\text{WKL}^+_0\\) proofs to \\(\\text{RCA}_0\\) proofs without a significant increase in size. This is done by showing that certain model-theoretic forcing argument can be formalized in the base theory.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2563983$F2D4FB92-5E20-4AF4-85A8-58FCAF2DE4CE","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"c45938d3b1c1a5c68183caabb02f42934d9ff682","datavalue":{"value":{"entity-type":"item","numeric-id":588140,"id":"Q588140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2563983$4BA77440-667A-4373-8FA1-294C6A5570AE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"4cb4544bfd0397cd4a315ee326499c372f013de5","datavalue":{"value":"03F35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2563983$70A54AEB-FA28-432A-AA21-B32E2312B9E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7ac70285252cd92545adbf950f35d5f38d449784","datavalue":{"value":"03C25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2563983$425B68CF-FD74-4D28-88A1-DC07D25661FB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b38c32a5bcbd4de003d5ed1764d92d253742e8c3","datavalue":{"value":"961101","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2563983$21CA174F-6C4F-4AD5-84AA-039C99E1F546","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b580a67b09596f41af3e3cc81ec4178f90563b13","datavalue":{"value":"conservation theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q2563983$E076F562-4363-4DBB-91ED-A74AE4349F7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c096e0ca5e23598447bb1f23bcd030403eb8b17b","datavalue":{"value":"model-theoretic forcing","type":"string"},"datatype":"string"},"type":"statement","id":"Q2563983$414DA6D3-4EE6-4CF1-8145-6BBBB3A9CA1A","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":"Q2563983$AEE3EE75-6C17-4AFA-AF60-E11C8ED2C384","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"abb964a8fbd13624d84a7e4a5015df243a73d114","datavalue":{"value":"https://doi.org/10.1016/0168-0072(96)00003-6","type":"string"},"datatype":"url"},"type":"statement","id":"Q2563983$D7068864-F73C-4C30-8045-B3F588A48A76","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"05d927aa68cf3120ab05a2d9f83b7dfac8326fdf","datavalue":{"value":"W2085905338","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2563983$AD506590-E015-4AED-8ACF-4BE638F48A2E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b2e1ab8d6c4a6ea4362f203e5137d4541ef80eb","datavalue":{"value":{"entity-type":"item","numeric-id":3679172,"id":"Q3679172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2563983$29D36703-50C2-42F1-8625-4C46AA0808C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e9a4a9c098f73670148a6fc6fae88695881c530d","datavalue":{"value":{"entity-type":"item","numeric-id":3138013,"id":"Q3138013"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2563983$D7046120-D17E-4B11-BF38-859CC6942DBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d276bf930ce7be64a132b97986d74f6c4683019d","datavalue":{"value":{"entity-type":"item","numeric-id":3140636,"id":"Q3140636"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2563983$7035879B-B55D-4850-9C2D-8D5FA427B1AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"86108cb677c98bb6850d4621a5c75e6c35903675","datavalue":{"value":{"entity-type":"item","numeric-id":5677474,"id":"Q5677474"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2563983$DAC70A91-2668-4D1E-B2F5-AD8204185748","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"16379452a4949bf4e97a3cd79c6104d4a7ee9465","datavalue":{"value":{"entity-type":"item","numeric-id":3755452,"id":"Q3755452"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2563983$DD67463A-006F-4F11-AE6E-4677C102E134","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f82318748b8514096d13bc80763ff6e3cbefb3d9","datavalue":{"value":{"entity-type":"item","numeric-id":762484,"id":"Q762484"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2563983$C158E7D6-810A-49F8-B87F-7529D01162A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bacb5aa102ce6c71274c34a5360472cea903ae3a","datavalue":{"value":{"entity-type":"item","numeric-id":2641297,"id":"Q2641297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2563983$FC5E8DE3-AF15-40F5-902A-3BD944EA23DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0430e4a9fe16a78c945c278746cad2959afea463","datavalue":{"value":{"entity-type":"item","numeric-id":3395521,"id":"Q3395521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2563983$F71AC762-5974-46FF-9AEA-6F099E2EE7B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4d209d940a77a138aef5d545c237e80cee14d7f2","datavalue":{"value":{"entity-type":"item","numeric-id":4292597,"id":"Q4292597"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2563983$B3AE0E8F-D8D8-4EEA-A8B7-C5A81949DA1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba17c610b66d156b76e62a37325c965ffedff718","datavalue":{"value":{"entity-type":"item","numeric-id":4184825,"id":"Q4184825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2563983$96705B48-16FD-458F-8DA5-D60B8F550933","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b5596f4e7aa5c184f3689eee3edc81fa0596227e","datavalue":{"value":{"entity-type":"item","numeric-id":948908,"id":"Q948908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1d498df8a7cafb6756662ffde6b7fa6109e061ea","datavalue":{"value":{"amount":"+0.8177263140678406","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":"Q2563983$93176FC8-700D-423A-B9AD-3D6597713495","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e54a652b2323e2cff6f170f7d0c9b223d4a5fe0b","datavalue":{"value":{"entity-type":"item","numeric-id":1938403,"id":"Q1938403"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a8af4284a9708d34794abc0be2cca03906126477","datavalue":{"value":{"amount":"+0.8009572625160217","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":"Q2563983$34547756-7A7A-46EB-884B-2414B9ABB542","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fbabb7a7a9a1271342ff4a7b9ae5f4ee66bb3337","datavalue":{"value":{"entity-type":"item","numeric-id":1849864,"id":"Q1849864"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cb050571420c2e2d4657fafd1d25ac02f8b0c62e","datavalue":{"value":{"amount":"+0.7982344031333923","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":"Q2563983$74A11E6C-0A0B-4AE2-9033-99ECF7294BDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"be241b03bc484f9d877814ee74d1945dcc501880","datavalue":{"value":{"entity-type":"item","numeric-id":1264147,"id":"Q1264147"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1819a527303b077fd663b0197644a0b3361bcd75","datavalue":{"value":{"amount":"+0.7844682931900024","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":"Q2563983$B26C6A29-8291-4630-AA78-F1DAE871D414","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Formalizing forcing arguments in subsystems of second-order arithmetic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Formalizing_forcing_arguments_in_subsystems_of_second-order_arithmetic"}}}}}