{"entities":{"Q1823233":{"pageid":1833975,"ns":120,"title":"Item:Q1823233","lastrevid":69039354,"modified":"2026-04-13T03:57:27Z","type":"item","id":"Q1823233","labels":{"en":{"language":"en","value":"Decidability in elementary analysis. I"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4114589"}},"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":"Q1823233$0000299E-A249-463C-940A-C28DBA74042E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"518689aaa45e2def3aae5f29ef109427045d5335","datavalue":{"value":{"text":"Decidability in elementary analysis. I","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1823233$140D842F-D427-450E-AB23-DB9557C5EE27","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8f10b83848ce1e7497cb5e5b88b5cdeeaf1ba285","datavalue":{"value":"0681.03005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1823233$ECCCE3B0-3554-4D7B-922C-6EAD04D46089","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"99e3f04f28cee3879e1066b41a907029413ac331","datavalue":{"value":"10.1016/0001-8708(89)90044-3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1823233$E92CF52E-3DBC-48B7-8795-7C8A213AD1D2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4db7d460ffc6b3e0069ff40b20b2755df97aa354","datavalue":{"value":{"entity-type":"item","numeric-id":196044,"id":"Q196044"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1823233$52CA96B6-55EA-4C8C-852C-4E6BEF0D6846","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"306d9099ef8452dabdd265171a602e1aa51bd912","datavalue":{"value":{"entity-type":"item","numeric-id":162994,"id":"Q162994"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1823233$65EC20AD-EAEA-4EA0-861A-54528B6F52EF","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"87fedd43d9515b94c7651de65777aba7be17422f","datavalue":{"value":{"entity-type":"item","numeric-id":165833,"id":"Q165833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1823233$04AC927E-02AC-4495-8F83-16B8631192FC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7211ad5ca16eb0d22cd0051fff3d0f3af254ceb6","datavalue":{"value":{"time":"+1989-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1823233$A3AA031A-1D7E-435A-B2B4-0412D0EF1A5B","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"043ec3ef3160180757c4a2fa266716e57ac65b3f","datavalue":{"value":"The authors consider sentences of the form (\\(\\forall f\\in {\\mathcal F})\\phi\\), where \\({\\mathcal F}\\) is a family of functions from R into R or from \\(I=[0,1]\\) into I, and \\(\\phi\\) is a sentence in the first order language with predicates \\(<\\), \\(>\\), \\(=\\), and with unary function symbol f. If \\(\\phi\\) is \\(\\Sigma_ 1\\) or \\(\\Pi_ 1\\) and \\({\\mathcal F}\\) is either the family of continuous, differentiable, infinitely differentiable, or real analytic functions, then the truth of (\\(\\forall f\\in {\\mathcal F})\\phi\\) is decidable (in fact by PSPACE procedures). These results are extended to a class of \\(\\phi\\) 's called \\(\\Pi_ 2\\) separated. The set of all first order \\(\\phi\\) true in \\((R,<,F)\\), where F is continuous and strictly monotone, is shown to be decidable. Finally, it is shown that the set of true sentences (\\(\\forall f\\in {\\mathcal F})\\phi\\), where \\(\\phi\\) is a \\(\\Sigma_ 4\\) separated sentence and \\({\\mathcal F}\\) is the set of continuous functions from R into R (or I into I) is undecidable.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1823233$73F2683B-B249-4377-AE89-644712007708","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1823233$C9541D08-74E0-48A3-9B0A-947E615EE014","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a27f9f06d965be24ec50f61065e06d2029a566a7","datavalue":{"value":"03D35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1823233$4E4DA7AE-50A2-42DA-85ED-23CF3B49DC18","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a027841db9084be5d49260e3cb9c2e7138a74add","datavalue":{"value":"4114589","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1823233$C31B1FFF-43BD-404C-A528-7BA24B4F8662","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"37501f5532162eda15daa16af5b752bae5e8ccde","datavalue":{"value":"PSPACE procedures","type":"string"},"datatype":"string"},"type":"statement","id":"Q1823233$644F6C8A-34E9-4BD7-BC67-EFF81D4F2E8B","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"49ac28ac151a8a9103bbae52e8a00e91b3069fd7","datavalue":{"value":{"entity-type":"item","numeric-id":590477,"id":"Q590477"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1823233$AF781D99-17A9-48CA-9DD3-6F44FACF8E6E","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":"Q1823233$A0A16E11-EC7A-49A7-A89B-D1196435B2AE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8fd9c9ca94900e4564c41dd9a86a4dad065c78b3","datavalue":{"value":"https://doi.org/10.1016/0001-8708(89)90044-3","type":"string"},"datatype":"url"},"type":"statement","id":"Q1823233$3484EFC0-7DAE-47CF-9FCE-9D50443CFCDE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6a0b91e1c1bae2ec608b8d7f5011997d070ab5c9","datavalue":{"value":"W4210674105","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1823233$0422DFC4-B121-47B2-A76F-6FC3A7B24A1C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"156138aef606bd7a7128a417f2c9b76b54fcbdfd","datavalue":{"value":{"entity-type":"item","numeric-id":1062669,"id":"Q1062669"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1823233$C23C8B82-2C3A-4162-82BB-273C511B088D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f09202554bd4c1a556b731d23306f14dee1bca88","datavalue":{"value":{"entity-type":"item","numeric-id":3955341,"id":"Q3955341"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1823233$1181FAF1-D60A-4CF7-B9CC-E0C88E663907","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f40bcaa8d311e4db512eab174f3dec9cd00f54c","datavalue":{"value":{"entity-type":"item","numeric-id":5537599,"id":"Q5537599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1823233$A57B2A72-EE73-4D39-B4E0-4095B802F77B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ee86b4f38954608aa0625b1b6b850baf88c360af","datavalue":{"value":{"entity-type":"item","numeric-id":912081,"id":"Q912081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"afd7525603ce6704ca546ce2d729505e8ae73537","datavalue":{"value":{"amount":"+0.9750085","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1823233$A74C4944-3743-4C73-AE3F-0C9B5D577957","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5c7b12d0aab5ffac7357795141166d257a753459","datavalue":{"value":{"entity-type":"item","numeric-id":2572942,"id":"Q2572942"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0599a6d63cc99cd09a9c02ebb7ce293e8554bcbf","datavalue":{"value":{"amount":"+0.9234512","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1823233$C47B5AF6-D6B4-495C-8777-B99E3A92310B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c0ba3c6e93294bdc004f3d4266d37a1d809ce698","datavalue":{"value":{"entity-type":"item","numeric-id":1803020,"id":"Q1803020"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1fcee1ac0acdeb729ba253b1644a6775c023c981","datavalue":{"value":{"amount":"+0.9001801","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1823233$BE9F4324-1128-421B-857C-98605AD31A17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"281038142df7707b4580fcc6089cf69c910a9a18","datavalue":{"value":{"entity-type":"item","numeric-id":3982257,"id":"Q3982257"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"26265d74584e3a84030f05085b426a4662e13ecd","datavalue":{"value":{"amount":"+0.8995539","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1823233$CA307EF2-5794-4C35-BCF7-5782AE1E1344","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c4019ea18d06d4c9f5c5ff64799acd0cfd3f0acb","datavalue":{"value":{"entity-type":"item","numeric-id":4847769,"id":"Q4847769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"96ab728d08d9b784f9fabb437b888bf3ded010c7","datavalue":{"value":{"amount":"+0.8902935","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1823233$B1553CE4-9A1D-44C2-833C-90DE4697D4DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"646f548888f90859dd4ed0309d5239e6d41bff4b","datavalue":{"value":{"entity-type":"item","numeric-id":2773366,"id":"Q2773366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c73d973eaec25ab298a2c3c7d7654a0d32313dac","datavalue":{"value":{"amount":"+0.8901608","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1823233$AB037FE1-BDD6-4080-BAB5-4C04175F357A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f4b9c51466f86d8072c90f3f2dd86db0dca6db2f","datavalue":{"value":{"entity-type":"item","numeric-id":5407040,"id":"Q5407040"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b1b8d2d6e2a416d5a1b6b19d3481bfb9fd9412a3","datavalue":{"value":{"amount":"+0.8872255","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1823233$FA0F7706-4CEC-4DB8-BEBC-C63C77272A79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"74c1078c68c84e348161cb2d7c271d0d51dfd850","datavalue":{"value":{"entity-type":"item","numeric-id":580393,"id":"Q580393"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bc6e2443635b24f661a155e9855089027c7385ab","datavalue":{"value":{"amount":"+0.88491154","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1823233$FEE0360C-1040-4DA6-B46A-4181FC3FE730","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ac65a463809cfc1d968dd545ff40e1bfeed072f0","datavalue":{"value":{"entity-type":"item","numeric-id":714712,"id":"Q714712"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"03c8a3deb6f91190180baa36ab09b3aec8bf875b","datavalue":{"value":{"amount":"+0.8831871","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1823233$AF5B5C4E-FB60-4466-BF9C-89F227F00D4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"09a2fd3f79023f6659ae94a662c81407b52a991a","datavalue":{"value":{"entity-type":"item","numeric-id":4539635,"id":"Q4539635"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"79e8dbeda319b9e976ee2463695be62c1ecc6af7","datavalue":{"value":{"amount":"+0.8790903","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1823233$40A2C160-0852-4F51-86E4-4C9FFCC9BECC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Decidability in elementary analysis. I","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Decidability_in_elementary_analysis._I"}}}}}