{"entities":{"Q1866471":{"pageid":1877213,"ns":120,"title":"Item:Q1866471","lastrevid":73916157,"modified":"2026-04-14T17:43:26Z","type":"item","id":"Q1866471","labels":{"en":{"language":"en","value":"Spreads and choice in constructive mathematics."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1893644"}},"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":"Q1866471$5D4A16C2-6378-4F18-AD34-600D70B87633","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c4f9623021cd6c71550e808685b37eff62200748","datavalue":{"value":{"text":"Spreads and choice in constructive mathematics.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1866471$62B2E685-91E3-4965-A032-A318555E2BFA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a1250f11d1f62bbad955a7b204e959a435373448","datavalue":{"value":"1035.03032","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1866471$EFD5A573-DB8A-44B8-B76C-7E6C1882A6FE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"73ef15ab3071da01e810352f0c40b7c141de2942","datavalue":{"value":"10.1016/S0019-3577(02)80009-X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1866471$ECB82BC1-DEEC-4142-89CE-9E06CBA8BC6C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fac2d97fc871faeeb1062a08181f0f0cc5094b16","datavalue":{"value":{"entity-type":"item","numeric-id":173439,"id":"Q173439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1866471$92EDEDBE-352A-4092-9184-A389D3F7456F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2e359c0e985e9b5bac2c1d59359dad9dfd6f494d","datavalue":{"value":{"entity-type":"item","numeric-id":174755,"id":"Q174755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1866471$1BF7B6EA-B186-4982-8D25-ADD4136B12E1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f66db91068f7ca2d9d0185705caaa8b8463c0310","datavalue":{"value":{"time":"+2003-06-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":"Q1866471$0192E1E1-7316-4ADD-A1DE-DC2E77CCF180","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"cca20236deedd27ff453d044cafd8bfb9eff5bb8","datavalue":{"value":"To avoid using countable choice in a constructive existence proof, the author argues for constructing a spread in which all finite paths possess the desired property. A single object with this property is then an infinite path, which can be chosen only by countable choice. This generalises the author's treatment of the fundamental theorem of algebra [Pac. J. Math. 196, 213--230 (2000; Zbl 1046.03036)]. Among other things, it is linked to the basic concept of point-free topology: to deal with ideal, infinite objects only through real, finite approximations or observables.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1866471$5A2576FC-90E5-46DD-811A-09D0B57FD715","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"c33a963100806d74a242a5df1e1de059fbf40e75","datavalue":{"value":{"entity-type":"item","numeric-id":591967,"id":"Q591967"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1866471$211B199B-F5D2-4BEE-83D6-CC3BB4678E79","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e5d18442d459f776caea349da745bbaf9554be1d","datavalue":{"value":"03F65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1866471$0B738051-5ABA-408E-8DFD-37BD40EB84FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2f1459d5951e049c51abbc0d85c8bd47bc411fa9","datavalue":{"value":"03E25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1866471$D51C1C4D-D450-4D1E-B975-DD35A05D9B15","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5d0e80d24435be0c93f7784a7208ed269f243b4b","datavalue":{"value":"1893644","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1866471$8AAE2662-D72E-4071-87AC-D45FE05F076D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"10ab4ac6221d10db0f61cf610dd5def513f40201","datavalue":{"value":"countable choice","type":"string"},"datatype":"string"},"type":"statement","id":"Q1866471$17A824E7-690A-441E-81B7-D0A6108EFA07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3b7c0ce6893cb7b905e902c12622edadd1f03318","datavalue":{"value":"spreads","type":"string"},"datatype":"string"},"type":"statement","id":"Q1866471$EDAE1783-1035-44DB-884E-50E5A7FE9B34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5830bc9df856ae2559fe681dc92cebe9ada5b3da","datavalue":{"value":"constructive mathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1866471$7075C65B-7C32-4CC7-BF66-E611AEC10CB5","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":"Q1866471$C76E80B2-86FE-4BE7-85B7-DBE63478CCA8","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":"Q1866471$A2764978-BF55-4CEB-B787-56CAE2613C32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bf37a67188bb478aaca8d5a295c49a3f0529c426","datavalue":{"value":{"entity-type":"item","numeric-id":766956,"id":"Q766956"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1866471$4BEB6D4E-C0C3-4E75-BAB8-C8809047893A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4186faf9e688f912978fad1f2c057e7038bfc285","datavalue":{"value":{"entity-type":"item","numeric-id":5930550,"id":"Q5930550"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1866471$895A9149-C17F-4E8E-B729-22CEAFB36AC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e0c7ed591fce741eceb814ed3a03e26624136d50","datavalue":{"value":{"entity-type":"item","numeric-id":1279733,"id":"Q1279733"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1866471$E36F0ACF-77E4-494D-89D1-FC7CD7A27E8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d50ad67809c430e7fa920017ea1e04032742b263","datavalue":{"value":{"entity-type":"item","numeric-id":3975244,"id":"Q3975244"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1866471$8AA977F4-4736-4953-B5A0-81C39FBFFE25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"25fc0f83d5ec3109942a6da644b57709f31b1dc6","datavalue":{"value":{"entity-type":"item","numeric-id":1188522,"id":"Q1188522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1866471$7F49606A-3977-4096-8EFD-EE840F5416B6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0db8644b27dd9318b3920686dcc7ea9823ebcfca","datavalue":{"value":"https://doi.org/10.1016/s0019-3577(02)80009-x","type":"string"},"datatype":"url"},"type":"statement","id":"Q1866471$052D3E15-5B3D-423C-A2D6-1B43B851AF19","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"38c9f521312fef1b8d876c138d5192e8be83f2dd","datavalue":{"value":"W2046449513","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1866471$DF118EF1-99DF-4CF8-904D-498DC0DC5600","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f6b744135904d7bbad092c2acf0e887789b0c382","datavalue":{"value":{"entity-type":"item","numeric-id":5930550,"id":"Q5930550"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d45122f26918e286739f1263e0839658c3880a3a","datavalue":{"value":{"amount":"+0.8150923848152161","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":"Q1866471$324268FE-C627-4E47-9706-E4BD147CE93C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"885501c27dbaeba05ed975b232167634c35a7aa7","datavalue":{"value":{"entity-type":"item","numeric-id":2753696,"id":"Q2753696"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f4283131e597d348b6b4097e36360a0cc945c95a","datavalue":{"value":{"amount":"+0.7917594909667969","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":"Q1866471$D4BA74F9-3D58-428F-9E0C-4B4A16DB33C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c9d2a916e4aaa0d5ac3bac7f2e5ecd6bac469c6b","datavalue":{"value":{"entity-type":"item","numeric-id":4552747,"id":"Q4552747"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0f324276c267daf550964d47b8937c8ab5f9e659","datavalue":{"value":{"amount":"+0.7816480398178101","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":"Q1866471$AD5F92FA-F659-4CEA-8FF9-AEFDA34296F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ffa21b5172618d8bf293b59ca6087a0794319c0a","datavalue":{"value":{"entity-type":"item","numeric-id":1427789,"id":"Q1427789"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e8aac3d773bfb1a2acdf7bc5eedff1848d4c906e","datavalue":{"value":{"amount":"+0.7705615758895874","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":"Q1866471$94C5B0AD-3127-42EE-870C-59A299CD4319","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7c658566dd9e7413b3befce345e6c363c3fef5da","datavalue":{"value":{"entity-type":"item","numeric-id":424546,"id":"Q424546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ecd56f4332303e78712522d30cc84cfbe27c7c91","datavalue":{"value":{"amount":"+0.7677094340324402","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":"Q1866471$1772E6BB-BC1D-40F3-AB30-75DF08083188","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Spreads and choice in constructive mathematics.","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Spreads_and_choice_in_constructive_mathematics."}}}}}