{"entities":{"Q1944329":{"pageid":1955071,"ns":120,"title":"Item:Q1944329","lastrevid":51684674,"modified":"2026-01-19T11:34:45Z","type":"item","id":"Q1944329","labels":{"en":{"language":"en","value":"Reverse-engineering reverse mathematics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6150717"}},"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":"Q1944329$5C231A54-6A2B-4348-AA61-DE83D8FCEE91","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"cc9917ddd626c8492b1cfa254f35dd5fe6fd9fab","datavalue":{"value":{"text":"Reverse-engineering reverse mathematics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1944329$B0D57877-9343-428F-8F54-42CF5AE20236","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"63a665701972c07df833529f24a5d35d0cd7f94a","datavalue":{"value":"1317.03019","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1944329$A7ABE467-B7A7-4514-9887-92939BC0336F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"dfc20d12185e1fc903399436bb39b62d4644cd56","datavalue":{"value":{"entity-type":"item","numeric-id":636386,"id":"Q636386"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1944329$F49F531E-7A9A-4C88-BEB9-20808960B414","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":"Q1944329$CEBA9282-50D4-48C5-9A68-10447FDBD705","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c7ac0237a4c838e7410fae458f0b3bdcfef1a1db","datavalue":{"value":{"time":"+2013-04-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1944329$CBBEEF44-B466-4F20-AF63-E24FC03644E5","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"d869b1ca5f4c69d3ea1e494f0246897960d9e8b1","datavalue":{"value":"This paper is a continuation of the work of the author [J. Symb. Log. 76, No. 2, 637--664 (2011; Zbl 1231.03059)] on Friedman-style reverse mathematics over the weak theory of nonstandard analysis ERNA introduced by \\textit{R. Sommer} and \\textit{P. Suppes} [``Finite models of elementary recursive nonstandard analysis'', Not. Soc. Mah. Chile 15, 73--95 (1996)]. As in the earlier paper, the author shows that certain mathematical statements equivalent to \\(\\mathrm{WKL}_0\\) in the standard framework of reverse mathematics are equivalent to the \\(\\Pi_1\\)-transfer principle over ERNA after a suitable modification (weakening equality to infinitesimal proximity). Specifically, this is proved for versions of the intermediate value theorem, the mean value theorem, and the integral mean value theorem.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1944329$287F1564-742B-426A-8990-51C3DB7BAE55","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"bf05c748b19f894b0cb445a65a1da1ca24dbc809","datavalue":{"value":{"entity-type":"item","numeric-id":331053,"id":"Q331053"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1944329$EE1E5877-46D1-498E-AA44-628ACF6B4E76","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"13841f0b96793f178ce9a7dcac9f232220625aee","datavalue":{"value":"03B30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1944329$D10DE7B2-28D9-4562-8A7B-F3A54B25E346","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6db4aec5ef7fbf0e828c6d2589c9166d8caea5c3","datavalue":{"value":"03H05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1944329$5A022BA3-75C1-4A8A-8522-3349A5606CBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0282342b24b585fa878a09dabeb8eb52c72be5a3","datavalue":{"value":"03F60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1944329$52CA9211-0C3E-4AFE-A5D0-554421CEF0F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"df8574ca221627a3b631e5712574287946b0b18d","datavalue":{"value":"26E35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1944329$989F062E-4771-41E2-88DE-69B589B0E3F6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5ad9a024248b80a386af0f44c97c9ece8e1477bf","datavalue":{"value":"6150717","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1944329$78F38028-A671-4C94-BB00-FC7BE5916699","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"62c1791b78fd73c2423d5337a69353141f49869f","datavalue":{"value":"ERNA","type":"string"},"datatype":"string"},"type":"statement","id":"Q1944329$2C60DEB2-F284-4D88-A40B-44D1C49E4983","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a11cf132947b7b29693c82a290ecbf2e4989b042","datavalue":{"value":"nonstandard analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q1944329$9F11F8A4-9BE6-445E-BC1B-CE3810BB4B8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e325a72f0e26ab98b1e996e2e86ac8d7891b9a92","datavalue":{"value":"reverse mathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1944329$02D3A233-B895-43BA-994E-4C83C0156372","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":"Q1944329$A5F86990-E699-4157-A371-5D889C939D93","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"cd4c4dfe22258d2e0ef7d4d3e046226b0caf9711","datavalue":{"value":"https://doi.org/10.1016/j.apal.2012.11.006","type":"string"},"datatype":"url"},"type":"statement","id":"Q1944329$49E00D54-F1D0-4C6E-9DAD-1E2ADA7EC950","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4c2b63581fc1d86b0d65bdc07710b319885f9758","datavalue":{"value":"W2074785052","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1944329$76DEE2F5-F73D-4BDB-A498-77313E694882","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8b2f0522555018f16a6359bdc17f83b66469c114","datavalue":{"value":"10.1016/J.APAL.2012.11.006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1944329$0E8652E7-8007-42D6-A1EB-591E7BDD7434","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cbd46ddf49a339080cfc0ab8dd9b929d08a6a496","datavalue":{"value":{"entity-type":"item","numeric-id":3011124,"id":"Q3011124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d0b688cf9434843e2921185453f4f08cf46a334f","datavalue":{"value":{"amount":"+0.924339234828949","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":"Q1944329$1E57754D-C2FE-4AB4-AB07-475A7E4E2AFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6217dc27b4a559c970fb88514067c886088432c6","datavalue":{"value":{"entity-type":"item","numeric-id":3391904,"id":"Q3391904"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2cc2fafeb8d852d5bb1a78de9d53d83cf1179445","datavalue":{"value":{"amount":"+0.8870022296905518","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":"Q1944329$D3ABD97F-5B41-4AE7-A392-10E33CCC258C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a41dbd4c3a5a6ac2d6746365473bba8da2c6b8b7","datavalue":{"value":{"entity-type":"item","numeric-id":661294,"id":"Q661294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7ea60d752365ce0af3ba7ee57a7b2528fc4e62eb","datavalue":{"value":{"amount":"+0.7991017699241638","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":"Q1944329$FD017E52-1995-468C-BADD-B64080A6697A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c1de4b72f22656d7c0af442af511a206ba7dbe4b","datavalue":{"value":{"entity-type":"item","numeric-id":1670765,"id":"Q1670765"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"211465a5e48de3403763812bf01c67744b4f193b","datavalue":{"value":{"amount":"+0.7969254851341248","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":"Q1944329$2279F8FB-355F-4598-82DA-3A476D81C88D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3eb6ea11e0439394de252de26b0a010826e3f53e","datavalue":{"value":{"entity-type":"item","numeric-id":1312709,"id":"Q1312709"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1008cfb63fa3e6f7ee3bf88aa20496d959173312","datavalue":{"value":{"amount":"+0.7962126135826111","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":"Q1944329$2D2EFB7F-9F37-4A91-BD4A-1207C62D7640","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1944329","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1944329"}}}}}