{"entities":{"Q701727":{"pageid":703576,"ns":120,"title":"Item:Q701727","lastrevid":63639531,"modified":"2026-04-11T14:32:49Z","type":"item","id":"Q701727","labels":{"en":{"language":"en","value":"The strong soundness theorem for real closed fields and Hilbert's Nullstellensatz in second order arithmetic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2123152"}},"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":"Q701727$7D9619C4-5B24-4E70-93B5-45223C975C0D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2cdc7b22e76f8d256e38d4598f591262634d8fa4","datavalue":{"value":{"text":"The strong soundness theorem for real closed fields and Hilbert's Nullstellensatz in second order arithmetic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q701727$20E0A322-F9F5-46D9-B470-6FDE1DF702AD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"26b0571529475236772ffd7870efdc96ba56412b","datavalue":{"value":"1059.03069","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q701727$66B230E1-90BF-4070-A133-F8ABA4F729AB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"55d11e348a8c7148f2ba7d4e9dd84a3d60a2e0eb","datavalue":{"value":{"entity-type":"item","numeric-id":701726,"id":"Q701726"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q701727$F65C838C-AC57-47B9-B1D9-484E593935E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"eea4f97108b5d4f7a0bd80664332764ce166d4ee","datavalue":{"value":{"entity-type":"item","numeric-id":676309,"id":"Q676309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q701727$0F1D2E19-5576-427A-B61C-E1049A3BF58D","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":"Q701727$4A332FCD-B314-4907-8093-4DFBBCCC16D9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"df1e508a21ee9936a7a8f9defc1512d58443c3e3","datavalue":{"value":{"time":"+2004-12-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q701727$808CB037-7AD5-48F4-BBF4-F5912D0F6D38","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"3bd7f71186e99e81627585b77ba3a48b2722b725","datavalue":{"value":"The authors extend previous work by \\textit{S. G. Simpson} and \\textit{K. Tanaka} [Proceedings of the fourth Asian logic conference, Tokyo, 1990] and \\textit{K. Tanaka} and \\textit{T. Yamizaki} [in: S. G. Simpson (ed.), Reverse mathematics 2001 (to appear)], proving strong soundness theorems for satisfaction predicates for the reals and the complex numbers. Applying their results, they prove a version of Hilbert's Nullstellensatz for complex polynomials in RCA\\(_0\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q701727$6C9EA305-C097-4EE9-AAF4-7A4CE071C6FA","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":"Q701727$588D3BA1-A424-4735-8067-93EB6E3CCEF8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"4cb4544bfd0397cd4a315ee326499c372f013de5","datavalue":{"value":"03F35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q701727$8C481E65-37A5-477F-8B74-CAF64E86C08D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c9cf30409c08d8794814df406302eff616099c6f","datavalue":{"value":"12D10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q701727$C0924CB0-B11A-4553-830D-8B738857CC8F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3c962667df1576a06a56569a5e368b14dda5edc4","datavalue":{"value":"2123152","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q701727$ECF09D9A-CF2D-4472-B022-C7764D23D7FB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e928ef71c0e7c501fd4e474de74400a15fc3e89d","datavalue":{"value":"second-order arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q701727$159F4BFB-857B-43BF-8C75-736673301F05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e325a72f0e26ab98b1e996e2e86ac8d7891b9a92","datavalue":{"value":"reverse mathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q701727$B40EB913-789B-4185-8733-773CEA253765","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5524815adf2cef52b143c0e7bf8f14718b821c16","datavalue":{"value":"real-closed fields","type":"string"},"datatype":"string"},"type":"statement","id":"Q701727$D5882122-29D5-45DD-8A7F-7062474F2A8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fbadda8b70b40c9f48d602089372cf2bdbde2868","datavalue":{"value":"algebraically closed fields","type":"string"},"datatype":"string"},"type":"statement","id":"Q701727$65380766-E79E-4740-8326-3DDB590F8287","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7b169938171a0c3b5075ca9ec0e580054a3b8723","datavalue":{"value":"Hilbert's Nullstellensatz","type":"string"},"datatype":"string"},"type":"statement","id":"Q701727$59424114-0499-4C29-B1C4-A038DDC5652B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7ce94254d44045733e962d2861c33d94e3725cca","datavalue":{"value":"quantifier elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q701727$42F5665E-05BD-43BB-8F64-383EA5918376","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":"Q701727$E170E540-B1D0-416B-867F-5274862D1045","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"96d9c2b49e9faac0d9b495ede24823bed618ab41","datavalue":{"value":"https://doi.org/10.1007/s00153-003-0206-y","type":"string"},"datatype":"url"},"type":"statement","id":"Q701727$56403A7B-BFA4-4A45-8A9E-B66E411829E5","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"22f3402d49dea8245c67df0e50b1583fb7366214","datavalue":{"value":"W2040234029","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q701727$9AF32659-B27A-4FFC-A95E-0525FAE65917","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"fd82c8204c0b5ba6cdc1619170b307a5bfc77dfc","datavalue":{"value":"10.1007/S00153-003-0206-Y","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q701727$3DE1210E-CEF5-4658-8EA2-F89B4660E16B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e2d9f69fb3f23e5fd6a77421be09ef6fdfd608aa","datavalue":{"value":{"entity-type":"item","numeric-id":5201110,"id":"Q5201110"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0cac9254c682661e8e7ef83791bf13ecf9819a6a","datavalue":{"value":{"amount":"+0.7682714462280273","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":"Q701727$1D6B1CDB-C056-4EAB-AB5C-0F3530F0C439","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9228ceb9c6118ce72d962938bbc4d5311220ac64","datavalue":{"value":{"entity-type":"item","numeric-id":5751006,"id":"Q5751006"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fcd37c2bdc1b7ea2e075bb41ca01f21d4c8678a3","datavalue":{"value":{"amount":"+0.7435320615768433","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":"Q701727$E8C753FF-88B7-471C-89D0-62944EB5B1BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"df12548649bf4c606187da5d42af8463876c025a","datavalue":{"value":{"entity-type":"item","numeric-id":5711897,"id":"Q5711897"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f0e498d4d39479b6e6a2edf9d3d42789dd7c0ec8","datavalue":{"value":{"amount":"+0.7408028244972229","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":"Q701727$3E3768A7-7166-4B25-A9B0-AE1715B42DA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2e9e397705e8a0997e6cc74c4d803936298e34fa","datavalue":{"value":{"entity-type":"item","numeric-id":1380044,"id":"Q1380044"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9f064243e32e01f698f1fa1c46b91da7efca0de3","datavalue":{"value":{"amount":"+0.7356111407279968","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":"Q701727$0375C1BA-07A4-463F-83FF-43271F617F61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fa0ed6dd439cebafe6d1588f11efdf17866997a0","datavalue":{"value":{"entity-type":"item","numeric-id":4712921,"id":"Q4712921"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f987e210e6c25924a8925f833412f8f1c586a2e4","datavalue":{"value":{"amount":"+0.7345763444900513","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":"Q701727$5C887B0F-1423-4711-8B53-1640C62E9533","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The strong soundness theorem for real closed fields and Hilbert's Nullstellensatz in second order arithmetic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_strong_soundness_theorem_for_real_closed_fields_and_Hilbert%27s_Nullstellensatz_in_second_order_arithmetic"}}}}}