{"entities":{"Q379434":{"pageid":381201,"ns":120,"title":"Item:Q379434","lastrevid":61393359,"modified":"2026-04-10T23:04:27Z","type":"item","id":"Q379434","labels":{"en":{"language":"en","value":"Re-proving a result of Veksler and Geiler"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6224473"}},"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":"Q379434$4AE26483-732F-4F97-9182-68E749E0E6CD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"da1ea2e447d886ba6cde098e75b84eebd8388107","datavalue":{"value":{"text":"Re-proving a result of Veksler and Geiler","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q379434$81A3EE63-C344-44CF-BA6F-4EA967A9B0ED","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fa0a254310de7e47aced2dff28fe4bf25cee8788","datavalue":{"value":"1286.46004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q379434$A5704E77-F2CD-4E46-9EEA-9CD4EBEEE654","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9da4a2887762bfc0135842b48e115e887ee73eaa","datavalue":{"value":{"time":"+2013-11-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q379434$422BDF69-B2F0-42B9-8BCB-81D455BD0C69","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"2041aef9df17d1c8d9a6fd44fbc48aa2134a35e1","datavalue":{"value":"\\textit{A. I. Veksler} and \\textit{V. A. Geiler} [Sib. Math. J. 13, 30--35 (1972); translation from Sib. Mat. Zh. 13, 43--51 (1972; Zbl 0333.06009)] proved that an Archimedean Riesz space is Dedekind complete if and only if it is boundedly laterally complete and uniformly complete. The present note aims to give a direct proof of this fundamental result.","type":"string"},"datatype":"string"},"type":"statement","id":"Q379434$1CA85383-11B4-4AC6-B5F8-70D0E9B0F963","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"212d5fc05ae058830f8da07bf798efd4ee94d5e5","datavalue":{"value":"46A40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q379434$796F4EBF-7FD9-4A77-9208-1E3FE17C07AA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7a8cad0f5df91a2f8913e7038d64e1b3a5a91e06","datavalue":{"value":"6224473","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q379434$18E84376-5254-4F1F-9F3A-CA11FDA2B1FC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7e45af690d74e7b95e387a037d958015560e71b7","datavalue":{"value":"Riesz space","type":"string"},"datatype":"string"},"type":"statement","id":"Q379434$5D80E284-6ACF-4669-9B60-C90E03F6CCCB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"23c9d80486113fc944fc4c7d32dc4623b84d453c","datavalue":{"value":"Dedekind complete","type":"string"},"datatype":"string"},"type":"statement","id":"Q379434$C586A4A7-195F-4629-BDEE-CC405A3552A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a9b58aef8c542a514cbd162a0fedbfe1e1b66583","datavalue":{"value":"laterally complete","type":"string"},"datatype":"string"},"type":"statement","id":"Q379434$7EF388B1-F5EB-404D-A964-AA3C23096D77","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b632533c87786a6b0689a681c6d095a254dcd275","datavalue":{"value":{"entity-type":"item","numeric-id":934299,"id":"Q934299"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q379434$7092CCB7-AC89-4D91-805C-63776492A0D8","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"8dc382035ddc9b3584fc15c5ac1cd0f346749741","datavalue":{"value":{"entity-type":"item","numeric-id":588941,"id":"Q588941"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q379434$B67641B1-7DBE-4DB1-A6D8-9DC84166241F","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":"Q379434$2D944C99-C39D-4611-A352-7AFA69A531BF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6da2684655f78693149419c3aace1f4101b32162","datavalue":{"value":"https://doi.org/10.1007/s12215-013-0129-3","type":"string"},"datatype":"url"},"type":"statement","id":"Q379434$E3647B4F-54B9-433F-ABE4-49CA2E20AC8F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d08f0260ecbc4cb0916c960b8a386feb18b9f9d5","datavalue":{"value":"W1972658662","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q379434$74AC4D8D-1904-4D7A-96A5-0023733B5352","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d8ce33229ba93a0551636190bf6249a484b5fdac","datavalue":{"value":{"entity-type":"item","numeric-id":4438875,"id":"Q4438875"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q379434$7739F3A5-F040-4C28-8C72-919EE84C5B28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5db0d0874eed0e946735c796fed99f93ecdee1e9","datavalue":{"value":{"entity-type":"item","numeric-id":4100130,"id":"Q4100130"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q379434$D2F0766F-B019-4AC8-B6DA-3747C32E4F02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9c2a49a216dffe6014e7fa09b39be6ab8ccd6e2f","datavalue":{"value":{"entity-type":"item","numeric-id":3700267,"id":"Q3700267"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q379434$0329721D-43D2-44A2-9B08-98DC16D935DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d4f4042583b49e0ce43139f6586aad7a2e8a332","datavalue":{"value":{"entity-type":"item","numeric-id":5638775,"id":"Q5638775"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q379434$B06D4D0D-32C1-48DD-9948-EC9729068C78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"815d08ba3c9112784a01f8ccc4cf8ea6af7c4aa4","datavalue":{"value":{"entity-type":"item","numeric-id":5580575,"id":"Q5580575"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q379434$5EBC1437-6A5C-4D6C-AC88-9844228E90AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe75e99c721ea7a9cdcea7f9318636d0712230fa","datavalue":{"value":{"entity-type":"item","numeric-id":1228626,"id":"Q1228626"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q379434$77517CFD-1CA8-4FD1-90DD-5AC9453F6CEA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"30adf100eabcc36292d0f562dd9ed712a2e88321","datavalue":{"value":"10.1007/S12215-013-0129-3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q379434$A41031FA-D527-4C67-A5C4-25110BE4B273","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7db817327938cdc8b83382314e7e1d63339cacd9","datavalue":{"value":{"entity-type":"item","numeric-id":559543,"id":"Q559543"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q379434$7C9D8472-3678-4F08-9FB5-610BE2546191","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"288c0ef5b3844510888dce2521ede46ed4fe8e51","datavalue":{"value":{"entity-type":"item","numeric-id":799711,"id":"Q799711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d3265070a7e0b2ce44f5d5f87da5d9ca5052b57c","datavalue":{"value":{"amount":"+0.7851946353912354","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":"Q379434$5B3779D7-FED6-4610-B1F6-CD17824409C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7da091a33a49533c87a5a7747c29433044f74b06","datavalue":{"value":{"entity-type":"item","numeric-id":2850628,"id":"Q2850628"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f271a4f82ba030c6e2403382feb32ace2a89d74c","datavalue":{"value":{"amount":"+0.7837236523628235","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":"Q379434$260B408E-CD25-4F19-8955-E340DDD1E5F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f61614c940630b73636ed214297083e1f2a4fdd5","datavalue":{"value":{"entity-type":"item","numeric-id":4886875,"id":"Q4886875"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"caddcf4a0c9933be515bab21ccea9b03d34138b3","datavalue":{"value":{"amount":"+0.7519786953926086","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":"Q379434$CBE2276E-988F-425D-8A72-B1FAEE84E699","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1189cff97e0cfc88b8b9ce5b2dbfcd4ff570a362","datavalue":{"value":{"entity-type":"item","numeric-id":2761026,"id":"Q2761026"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"699462989e19614746edf080e0afe56097d37bb2","datavalue":{"value":{"amount":"+0.7455991506576538","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":"Q379434$AB1D0F2F-83DE-4001-8E08-2362774828E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"62bb09af6374286d311072a39dbd8ebaebe56cbb","datavalue":{"value":{"entity-type":"item","numeric-id":2506457,"id":"Q2506457"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2c3642afe8890b39d456b1c7c621a5feb8dc7f49","datavalue":{"value":{"amount":"+0.7398272156715393","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":"Q379434$600B9A9E-984F-4CFD-869B-E1159C315D2A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Re-proving a result of Veksler and Geiler","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Re-proving_a_result_of_Veksler_and_Geiler"}}}}}