{"entities":{"Q2903765":{"pageid":2914490,"ns":120,"title":"Item:Q2903765","lastrevid":51522320,"modified":"2026-01-18T15:13:48Z","type":"item","id":"Q2903765","labels":{"en":{"language":"en","value":"Double sequences, almost Cauchyness and BD-N"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6062921"}},"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":"Q2903765$367B2116-AA6B-463E-8325-18F79A3F2B36","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9e13f04deb59640c57666a4f4546d38bdec540cd","datavalue":{"value":{"text":"Double sequences, almost Cauchyness and BD-N","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2903765$8A9ABDB6-A9C0-4C06-ABA5-F964652EA02A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"cdd49897d090254b808a24871d5a1ae282790e28","datavalue":{"value":"1315.03117","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2903765$F8CDCACD-2EDE-4A6A-A55F-978C4F98CEB4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b297e870ab363601f4b2bc889f037e2eb84a7725","datavalue":{"value":{"entity-type":"item","numeric-id":306580,"id":"Q306580"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2903765$11D35FAD-A25B-4AEC-BE23-B8C9A7895541","rank":"normal"},{"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":"Q2903765$90A967E7-0552-4E42-8371-4F3C07314C31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8b28a0624df5a1c85ecb5bea565385eff5d13458","datavalue":{"value":{"entity-type":"item","numeric-id":185810,"id":"Q185810"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2903765$212FD7E0-72AD-4112-95B3-8E211FC62AFF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"88fc52f7ff11d7876f7a1b3a0d8899b7968b0a9a","datavalue":{"value":{"time":"+2012-08-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2903765$FD9CCCD4-33A4-4222-805C-7376BA6D2716","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0282342b24b585fa878a09dabeb8eb52c72be5a3","datavalue":{"value":"03F60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2903765$6974A5FA-30BE-4245-A3AB-F86896AA2516","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6549d8af5fc1864d76b616b3e5ea61039d08c6e3","datavalue":{"value":"6062921","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2903765$E31A6D71-50CA-4D95-B654-D63610BECCA7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5830bc9df856ae2559fe681dc92cebe9ada5b3da","datavalue":{"value":"constructive mathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2903765$133FB2E8-CD71-48FE-9571-112D91F74A76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b3990e84d5df79ab84066a41a48530449f9f84be","datavalue":{"value":"BD-N","type":"string"},"datatype":"string"},"type":"statement","id":"Q2903765$18DFEFF8-6D1F-4BB4-9301-FC12F9207694","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fc5efa14e1658e6306363bf39ee6cbd5952c14d9","datavalue":{"value":"zero at infinity","type":"string"},"datatype":"string"},"type":"statement","id":"Q2903765$54B09A1D-D6C4-499E-B911-77DB5FC61278","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e53b96860fc1f21b08ed57b4389c6e205a6dd4af","datavalue":{"value":"almost Cauchy sequence","type":"string"},"datatype":"string"},"type":"statement","id":"Q2903765$1B3E1022-2D58-4A7D-89C2-1625D3405E52","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":"Q2903765$3B839FA8-C973-4AD5-83D2-42C1056901E9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d0cbd6edd4c91ecfcd0c8de6d3d53a61dcbb917e","datavalue":{"value":"https://doi.org/10.1093/jigpal/jzr045","type":"string"},"datatype":"url"},"type":"statement","id":"Q2903765$CF580143-FDDF-433C-A9E2-5ADE81099D17","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2499e196675ba8a1dca6220820b22ccde3786058","datavalue":{"value":"W2031709951","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2903765$3C0F7A1A-3A8E-47B6-A8FF-E521B8233A21","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f506e20f98ce4898d0208db3ea507d6b1341dc69","datavalue":{"value":"10.1093/JIGPAL/JZR045","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2903765$3951A28B-D066-46B1-9922-B691667DF4AE","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2322a21df36f02b2b9c16a6174c764d5fc949009","datavalue":{"value":{"entity-type":"item","numeric-id":3061274,"id":"Q3061274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2903765$9F749FED-D106-4097-84A7-670517C5FE6D","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"b7f682d522ef83ac335c79691438f9d81ea99728","datavalue":{"value":"It is known that in Bishop-style constructive mathematics, many important and useful classical results are equivalent to Ishihara's boundedness principle BD-N, according to which a range \\(A\\) of a function from the positive integers \\(\\mathbb N^+\\) to \\(\\mathbb N^+\\) is bounded if each sequence \\((a_n)\\subseteq A\\) has the property \\(a_n/n\\to 0\\).NEWLINENEWLINEThe paper describes two new results wich are also equivalent to BD-N. The first equivalent result states that every double sequence \\(s:\\mathbb N^+\\times \\mathbb N^+\\to \\mathbb R\\) which is zero at infinity (i.e., for which \\(s(f(n),g(n))\\to 0\\) for all strictly increasing sequences \\(f\\) and \\(g\\)) is also uniformly zero at infinity (i.e., for each \\(\\varepsilon>0\\), there exists \\(N\\) such that \\(|s(m,n)|<\\varepsilon\\) for all \\(m,n\\geq N\\)). The second equivalent result states that in a semi-metric space (without the triangle inequality), every almost Cauchy sequence \\(x_n\\) (i.e., the one for which \\(\\rho(x_{f(n)},x_{g(n)})\\to 0\\) for all strictly increasing \\(f\\) and \\(g\\)) is Cauchy.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2903765$2DC7A8B5-7240-4C1D-8364-D8CDA390E0A9","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"7a7a7a3dd3a08360856ececf3d8a629dcc430503","datavalue":{"value":{"entity-type":"item","numeric-id":592003,"id":"Q592003"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2903765$18491AC0-6290-47F2-8CF4-7F793ADD73CC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3b8d4f348cfe83dc0f1a1df0023a6efbb5fc6e07","datavalue":{"value":{"entity-type":"item","numeric-id":2869905,"id":"Q2869905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"20ee5c82a1d033c4e7944dc3b2f8d24c44aad44d","datavalue":{"value":{"amount":"+0.7670227289199829","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":"Q2903765$3A7097CB-7762-431D-9C6C-F52C32FDB4C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fbba6a549142fb019b8626d2ff7f126c12b20c51","datavalue":{"value":{"entity-type":"item","numeric-id":4916541,"id":"Q4916541"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6d4017e97b9822641082c37f460bb2304810fccc","datavalue":{"value":{"amount":"+0.7612617015838623","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":"Q2903765$D2A88ADC-9363-4B34-9D98-EEF1929D9AFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c57504c6e85fd7088ffe79c34d2a39dc4c2f52a3","datavalue":{"value":{"entity-type":"item","numeric-id":2391094,"id":"Q2391094"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4def90dcd2488020034ba6fd7dd4298054018867","datavalue":{"value":{"amount":"+0.754433810710907","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":"Q2903765$713E7E5E-5B1A-4FCE-AD10-A21074491DBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c3a745dcde545d88c80fe44901aa2afef5901d32","datavalue":{"value":{"entity-type":"item","numeric-id":424547,"id":"Q424547"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3c841ab0efcde2239c5c7ebcf68dc3a6fed766c1","datavalue":{"value":{"amount":"+0.7461129426956177","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":"Q2903765$4284F483-FAF2-4A34-833A-A7AE235E4989","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e4134d32a6de65dea589996a37806dc810a16073","datavalue":{"value":{"entity-type":"item","numeric-id":4451730,"id":"Q4451730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8e26117f66e6b8f423a57ad4123e59f087188f46","datavalue":{"value":{"amount":"+0.7410356402397156","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":"Q2903765$1E5554D4-A668-4575-9C53-CDF9D64D2E27","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2903765","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2903765"}}}}}