{"entities":{"Q1176006":{"pageid":1186755,"ns":120,"title":"Item:Q1176006","lastrevid":66760461,"modified":"2026-04-12T12:41:03Z","type":"item","id":"Q1176006","labels":{"en":{"language":"en","value":"Decidability of finite forcing companion"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 13115"}},"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":"Q1176006$B714C6BA-C7ED-4AB8-9BE7-092B5C91A1DD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fd17c5bdc639a2713ab47dcf80166b30ba27119d","datavalue":{"value":{"text":"Decidability of finite forcing companion","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1176006$134C2A19-7E63-4734-A0BA-2C22C2C1A4F2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d9f11a6efd9502ca04cd7f04ad36797d1d6cf41d","datavalue":{"value":"0735.03015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1176006$E8DC30F0-3B9B-4C16-A6F9-56824480E2C7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"70b0d9ef6da62019577cf62779632daab2df0247","datavalue":{"value":{"entity-type":"item","numeric-id":671642,"id":"Q671642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1176006$F869AE9E-4779-477C-8BDF-57E54DB6F9CB","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"45e1edb64efeee080173451c87c3f0c1d8534742","datavalue":{"value":{"entity-type":"item","numeric-id":174829,"id":"Q174829"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1176006$41F485C5-E1B3-4D87-A17F-C741538B5E7E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d3f790682a6be4cc1f3210e15eebe1d6cc5ffbc2","datavalue":{"value":{"time":"+1992-06-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1176006$7D4ADBFF-2111-4541-967C-7AB94C3C5CDF","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"5ef07455e3e67ce16f7cf78ac0b8e79e4e4c668f","datavalue":{"value":"It is well known that the finite forcing companion \\(T^ f\\) is, in general, hyperarithmetic over \\(T_ \\forall\\). We obtain that \\(T^ f\\) is \\(T_ \\forall\\)-decidable if it is \\(\\Sigma_ 1^{T_ \\forall}\\). A way of computing was found, by which for each positive primitive formula \\(\\phi\\), a single quantifier-free (\\(Q\\)-free) formula \\(\\phi^*\\) is equivalent to \\(\\text{Res}_ \\varphi\\bmod T\\), where \\(T\\) is the theory of fields. A. Robinson developed a model-theoretic approach, showing the existence of such resultants. We go further: the existence of an algorithm for computing the required resultants can also be proved by model-theoretic forcing.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1176006$8EDC75B1-1303-4D30-9374-76966039CC5D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7ac70285252cd92545adbf950f35d5f38d449784","datavalue":{"value":"03C25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1176006$3013A97B-F4CA-45E8-BF92-09A5EC0C8146","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"51c3dc27e13e59ca92a9af5f9c02c332a8b9421a","datavalue":{"value":"03C57","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1176006$42D51420-A926-43FC-BC10-806A72182567","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1176006$0BA7C473-9F74-406E-8214-401B225278D6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9de110e5900cf537bc031d9c9473b928b2e689dc","datavalue":{"value":"13115","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1176006$B48FA5CA-10E6-4563-805F-4BD5A708A7C4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e1f6c073da9ae5cec4d9bf45be47ea6eb1314380","datavalue":{"value":"finite forcing companion","type":"string"},"datatype":"string"},"type":"statement","id":"Q1176006$C6D8CEF4-DA94-4EFB-84F3-9950E5EB6CE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"16fe8fb0b14373e69061ed9baa593ce7bce08b15","datavalue":{"value":"resultants","type":"string"},"datatype":"string"},"type":"statement","id":"Q1176006$79C35304-A0D0-40C7-AB33-844247196042","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48ddf43eca498c7e7087cd696beb82ea63925320","datavalue":{"value":"algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q1176006$FCD93B38-13A5-4227-BA0F-548DC715057F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c096e0ca5e23598447bb1f23bcd030403eb8b17b","datavalue":{"value":"model-theoretic forcing","type":"string"},"datatype":"string"},"type":"statement","id":"Q1176006$D18735BE-2164-4C55-9667-4A8942A645C2","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":"Q1176006$9B80FA0A-5484-4F94-BC12-E96E11B799F1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"48908c2434f9c854d3df68e520b8ff6777a5d4d0","datavalue":{"value":{"entity-type":"item","numeric-id":3701404,"id":"Q3701404"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bf489fd59496dd128aba771a0ebe009a3104f097","datavalue":{"value":{"amount":"+0.7836428284645081","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":"Q1176006$3CEF9275-AFC0-48ED-8AA0-32C30823DE2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bd8e956a74e8a4f64aa328659f3bee91e84b0415","datavalue":{"value":{"entity-type":"item","numeric-id":5692241,"id":"Q5692241"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b3bbd93153eaed12b0a9e0d2dd971c37936cf17a","datavalue":{"value":{"amount":"+0.697670042514801","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":"Q1176006$7CF7AA84-2A32-4197-AE31-48F9996B6FA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"850bd61f63e036f647d8a7802d5b200422c24688","datavalue":{"value":{"entity-type":"item","numeric-id":4262575,"id":"Q4262575"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"975d09304a789722447d4d0360f4340f13975e21","datavalue":{"value":{"amount":"+0.6969935297966003","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":"Q1176006$3D55A8F2-3BB0-496D-B552-8719A9A2DDA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"234b9877186b790628ad67724609a4556f7d41e0","datavalue":{"value":{"entity-type":"item","numeric-id":3777994,"id":"Q3777994"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6b74d53a2098b0c427030a0a9aecf9eed860bf8b","datavalue":{"value":{"amount":"+0.6834346652030945","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":"Q1176006$C64924E6-A33B-4FA0-8F1D-B9778147138F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e35adb5f36f07aaa624ec2af70739cd334a9b1a8","datavalue":{"value":{"entity-type":"item","numeric-id":3510445,"id":"Q3510445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2381e281870ba5bcb64e83abc0cdcce386e1e66d","datavalue":{"value":{"amount":"+0.681804358959198","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":"Q1176006$C33DB60D-CBF6-4085-8EE7-A046397F5A42","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Decidability of finite forcing companion","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Decidability_of_finite_forcing_companion"}}}}}