{"entities":{"Q2391094":{"pageid":2401837,"ns":120,"title":"Item:Q2391094","lastrevid":50725421,"modified":"2026-01-14T22:56:45Z","type":"item","id":"Q2391094","labels":{"en":{"language":"en","value":"Constructive notions of equicontinuity"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5586450"}},"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":"Q2391094$19E02070-E323-430E-A278-8251D650787E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"137c1b7c1a0cca500794e5f5bc8546fa7585a562","datavalue":{"value":{"text":"Constructive notions of equicontinuity","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2391094$4CB37EF8-AF92-437C-94EA-630F4D1F7B3C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a3947e6bcc03056abb66c709bb8b9403c20e8dec","datavalue":{"value":"1173.03047","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2391094$5CC77F4B-6D19-44D2-8F53-D5153E898258","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6d6cdfad59386b4fdf0e04c7f9812453107706ac","datavalue":{"value":{"entity-type":"item","numeric-id":185794,"id":"Q185794"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2391094$3F9C7580-AC53-4F9E-9FC6-47B10364B938","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":"Q2391094$16B4C8C4-72C5-47AC-87A7-469E5AF4EE9D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"209778d88e026ced2a70bb47574dddab785b4835","datavalue":{"value":{"time":"+2009-07-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2391094$446AABD1-A7DC-43B9-A110-77C45462C377","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"98db39348bc4ee5d043bfcec7c518bc8850f7363","datavalue":{"value":"This paper discusses the relation between various kinds of continuity (mainly pointwise continuity, (uniform) equicontinuity and (uniform) sequential equicontinuity) within the programme of informal Constructive Reverse Mathematics.  In the first part it is shown how the statement that every pointwise equicontinuous sequence is uniformly sequentially equicontinuous relates to the anti-Specker property. In the second part it is shown that the statement that every uniformly sequentially equicontinuous sequence is uniformly equicontinuous is equivalent to Ishihara's principle BD-N over Bishop's constructive mathematics. The author also relates the results to the Ascoli-Arzela theorem.  It should be noted that \\textit{H. Diener} and \\textit{I. Loeb} [Ann. Pure Appl. Logic 157, No. 1, 50--61 (2009; Zbl 1156.03056)] also study (uniform) equicontinuity within the programme of Constructive Reverse Mathematics. Also the Ascoli-Arzela theorem is discussed in this paper, albeit in a different way.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2391094$E3AFE231-10BB-44B8-B6B0-440071CEBE1A","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"365779c78dd54b3e4c89ec6c9dc2c3adf0a8dfd5","datavalue":{"value":{"entity-type":"item","numeric-id":488355,"id":"Q488355"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2391094$1F82AE3A-BF74-4F8E-BC88-FDFB7A587EFF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0282342b24b585fa878a09dabeb8eb52c72be5a3","datavalue":{"value":"03F60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2391094$09931554-7E98-480C-B5C8-C8AE33B6C0D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"13841f0b96793f178ce9a7dcac9f232220625aee","datavalue":{"value":"03B30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2391094$0D8D9B9B-B918-4CA1-A813-F34A7D48B350","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5a88f8d1734c3f88fe3de59f1d4ec1598a958a52","datavalue":{"value":"5586450","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2391094$1D686CCB-B55C-487A-A5CC-EFB645C8699B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5830bc9df856ae2559fe681dc92cebe9ada5b3da","datavalue":{"value":"constructive mathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2391094$863DE927-4D23-40D9-AF2B-A00B9D96CAD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e325a72f0e26ab98b1e996e2e86ac8d7891b9a92","datavalue":{"value":"reverse mathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2391094$1A16A3CC-9C0A-464D-AB68-DEA86E5C773B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d2dc6501c76fc989367dace5f04b6990169316da","datavalue":{"value":"anti-Specker property","type":"string"},"datatype":"string"},"type":"statement","id":"Q2391094$0BE0AEC2-E51E-427A-B236-E809E2F0D794","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9274b36348d71b7470eba0c7a5a9838354283aa8","datavalue":{"value":"pseudoboundedness","type":"string"},"datatype":"string"},"type":"statement","id":"Q2391094$2E238C6E-9D57-4A31-89BD-7DE77EDE7F87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0051fa7bc7f16a45c398b2aa7da1d79c7c51e142","datavalue":{"value":"fan theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q2391094$1CF3F9CA-036B-4183-85C2-06D7233BE2A3","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":"Q2391094$344E342F-C014-4638-889E-3E470E3FBF09","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b98a56111c91489aa3dc67fc24f49ea8168f0e8a","datavalue":{"value":"https://doi.org/10.1007/s00153-009-0131-9","type":"string"},"datatype":"url"},"type":"statement","id":"Q2391094$6C10A10E-D1E1-4519-AA24-CEA082C97D60","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a4db98fc4ec120f16f75072a04ca5c502c329168","datavalue":{"value":"W1978174826","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2391094$A46573DD-30C9-4F39-A908-15B1F5B1E06F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a02ebf0568f47635f182c488d881f7744ddea83e","datavalue":{"value":{"entity-type":"item","numeric-id":3803111,"id":"Q3803111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2391094$F2C30E14-77BA-432B-BF6A-CD252472118C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c37a7313504322280e1485b9be9fac78aa1de1b9","datavalue":{"value":{"entity-type":"item","numeric-id":3145940,"id":"Q3145940"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2391094$3D48B5B8-B3CB-4D09-BBC5-010BB15AC268","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ed150c3537fcb6076b9f127ecd772a602588fe4","datavalue":{"value":{"entity-type":"item","numeric-id":2465611,"id":"Q2465611"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2391094$5215D894-7400-4939-8CE5-483AF1AC480B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ce3e498702a5c80472667993220d014cbb2736a2","datavalue":{"value":{"entity-type":"item","numeric-id":926186,"id":"Q926186"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2391094$0CD0C3B1-145E-4D89-B19A-2FDFA860A26F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"491b4b27b22309171592da28edb7f34300ca6880","datavalue":{"value":{"entity-type":"item","numeric-id":3081240,"id":"Q3081240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2391094$1A937CAF-BFA7-4176-8CA8-5C00140290EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ed1df91779be2cef31d56eaca65ae4d64e21e69","datavalue":{"value":{"entity-type":"item","numeric-id":5444707,"id":"Q5444707"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2391094$2F886AB1-A4DE-4350-8B3B-F326122CCC4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f2e05c6c502d766c481e168e5b781f5bd34f7e9a","datavalue":{"value":{"entity-type":"item","numeric-id":3583807,"id":"Q3583807"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2391094$517CA61E-2F63-4805-A6DB-14CC7E153462","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef811fe82014afd549ae4c462f71e15c5bd9450d","datavalue":{"value":{"entity-type":"item","numeric-id":850934,"id":"Q850934"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2391094$5CAF9DE5-1927-4B58-8D9A-A3A128874AC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"527d80c98a2d008f7500cf71fcaeb3b5dad680fe","datavalue":{"value":{"entity-type":"item","numeric-id":2573727,"id":"Q2573727"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2391094$574DB5D8-E84B-47F6-A362-64C4D6930ADF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f01cc07fc18ee9f7d0d60ea33353f4f9d9e6fb24","datavalue":{"value":{"entity-type":"item","numeric-id":4135476,"id":"Q4135476"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2391094$7DDA48F4-1F02-434C-BD8D-BD8278A20996","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"94156d6dafc1dff0d48facda12a89c68593a8184","datavalue":{"value":{"entity-type":"item","numeric-id":1001912,"id":"Q1001912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2391094$AF7F7DC3-7C77-47F5-ADE8-B822EF06880E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c03b1b7c54fac5621448e5c427c845de6ebfbec4","datavalue":{"value":{"entity-type":"item","numeric-id":3281164,"id":"Q3281164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2391094$562CC4AC-D43D-4F46-8961-0317512BB217","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ff45213e7705dbf9044ed2762732fabe6973416","datavalue":{"value":{"entity-type":"item","numeric-id":1236108,"id":"Q1236108"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2391094$6189F6F1-95DF-42AD-97E4-4BFF2DA28BB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"50b6e0ecadbcb95040a2ce5ebc7af0971dcc29fb","datavalue":{"value":{"entity-type":"item","numeric-id":4032642,"id":"Q4032642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2391094$28ABBECA-2277-4E2E-B2F7-DFC6F14B46F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cfed934ac51f952ecc56c29826cf4400615d2ddb","datavalue":{"value":{"entity-type":"item","numeric-id":2752138,"id":"Q2752138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2391094$8B423E44-2F27-4CCC-B614-836732BAACB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"729d9310dfe8fb0dbaa7a26b1d4aa04c8e738e4e","datavalue":{"value":{"entity-type":"item","numeric-id":4451730,"id":"Q4451730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2391094$1D8003F3-61AF-41BD-8A0D-F002BBE876FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c691c2905b2d8f8434f9c6d2df145233d79686c1","datavalue":{"value":{"entity-type":"item","numeric-id":4681810,"id":"Q4681810"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2391094$85E3A7EF-4595-4DA2-859D-A80100A0CCD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d8e627bd511857fd09736aa70a3f745cbd1bfe71","datavalue":{"value":{"entity-type":"item","numeric-id":703836,"id":"Q703836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2391094$4EE3BFF9-BEC4-4B12-B557-E080F926C093","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"74605135c388db78d4d0ca86dc0cd54881585bea","datavalue":{"value":{"entity-type":"item","numeric-id":4073362,"id":"Q4073362"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2391094$225D3355-3A18-4991-8C23-3C708175D3EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"68b9b6e1876a7ef6a8d3ae40b917b0c350a8b4db","datavalue":{"value":{"entity-type":"item","numeric-id":5790901,"id":"Q5790901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2391094$A90F8761-5B49-4E19-A15D-E0F8654677B7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"853f860a03e451a18570179bac8469ff04601689","datavalue":{"value":"10.1007/S00153-009-0131-9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2391094$5BF5269C-0278-4A62-BEEB-07766D69199A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"10519d938d407624197a29e86d68b44f402c866f","datavalue":{"value":{"entity-type":"item","numeric-id":1001912,"id":"Q1001912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fb3b49e38bb0d25bbd0a02407b42922e49145a99","datavalue":{"value":{"amount":"+0.8569604754447937","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":"Q2391094$2C01AC9D-654C-42BA-B1F2-B258C3FC2550","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"af08d96ef05f980f05c0abc6442b3c5be31f8555","datavalue":{"value":{"entity-type":"item","numeric-id":5310875,"id":"Q5310875"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"96114f3ecfc78f026a20748a93a4b2abd5bbcc27","datavalue":{"value":{"amount":"+0.8181653618812561","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":"Q2391094$D7F3FA23-B751-4984-8269-9100C32A3D5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a86d59d5c34b6161b7e0282535006563b169feb5","datavalue":{"value":{"entity-type":"item","numeric-id":1049754,"id":"Q1049754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d027e8baa217f469698c32c4a928646d0eab5b67","datavalue":{"value":{"amount":"+0.8171916604042053","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":"Q2391094$0CC020F3-1435-4B6E-B763-7DF8F8D43844","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e8e3b2c39e41aead81ebf88a2f173d1c6d70f56e","datavalue":{"value":{"entity-type":"item","numeric-id":3984410,"id":"Q3984410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"90d5c069ebd919533472ca2a7a6426101860e9d3","datavalue":{"value":{"amount":"+0.8006638884544373","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":"Q2391094$5F55392E-1B28-47C2-9053-047C620EB14A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1e7cf88f97ba5ffe2bd7fa2d2f0b1587ef927b0f","datavalue":{"value":{"entity-type":"item","numeric-id":2573727,"id":"Q2573727"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ccd69e0f57b02686b55ee9fc3438777d61b4de65","datavalue":{"value":{"amount":"+0.7983822822570801","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":"Q2391094$49A7BD66-EF61-4BA2-ACB9-EE742746B255","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2391094","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2391094"}}}}}