{"entities":{"Q802637":{"pageid":804485,"ns":120,"title":"Item:Q802637","lastrevid":64449255,"modified":"2026-04-11T19:57:00Z","type":"item","id":"Q802637","labels":{"en":{"language":"en","value":"Boolean-linear spaces"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4198055"}},"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":"Q802637$5F399A4F-0435-482F-9293-A885128078FC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a53b554fc92f0d1a70ca9924d74ea22c272cd5c1","datavalue":{"value":{"text":"Boolean-linear spaces","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q802637$1D6ACD01-70D1-4D34-B2FB-C3F1C6650D2B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4cb5b35d99ebc95b88115b0659dbddf1c7544dc8","datavalue":{"value":"0726.06008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q802637$1763CF94-793C-48BF-980E-61ACFDDDB85D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2ba0eae54dfefd6c16ad6171de8eda5eb6170a18","datavalue":{"value":"10.1016/0001-8708(90)90008-B","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q802637$C2AB0A98-B3E5-4C38-858B-99DCB71E8CF1","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":"Q802637$5151A1DB-5E34-413B-B32A-B169C65C990D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"70d2fbf8bcd48a5ca1ac752985098b379d0dbb65","datavalue":{"value":{"time":"+1990-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":"Q802637$C03C5B63-D4D7-4D48-AD13-AFB58DC92E11","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"37f9c2e7474d9802830764b6abe6faa21fea7e3d","datavalue":{"value":"Starting from partially ordered sets, the author introduces Boolean- linear spaces. Examples of such spaces are linear orderings and products of linear orderings, Boolean algebras, various function spaces, vector lattices and lattice-ordered groups. The key definition in formulating the concept of Boolean-linear spaces is that of ``p forces \\(f<g''\\). Then a Boolean-linear space is a partially ordered set which satisfies the axiom stating that for all f and g, either \\(f\\leq g\\) or else some p forces \\(g<f.\\)    There is a formal similarity between the concept of forcing introduced here and that of forcing in set theory. So the machinery of Boolean- valued models can be used.    It is shown that the Stone representation theorem can be generalized for Boolean-linear spaces. Further on it is shown that every Boolean-linear space has a unique completion and is endowed with the concept of convergence. Finally the author introduces the concept of spectra. He shows that for spaces which have a spectrum the spectral theorem can be proved.","type":"string"},"datatype":"string"},"type":"statement","id":"Q802637$663B74E6-1006-46BA-87FB-198BA091E746","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"790702f50bb93532a7a4b32f255db82d04382a0d","datavalue":{"value":"06E15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q802637$8F881E74-A9CC-4F82-A539-3196563CEEB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e037813de56311048f7e0a208650360505bf4d4e","datavalue":{"value":"06A06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q802637$1430C00A-8E9E-4A87-81C6-8FA04E1B24B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d60743ac9c42652ebbda2ad8eda16b00e1ecf840","datavalue":{"value":"06F10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q802637$2F9E0168-0FBA-47E4-B7A5-1117E700669B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"98885bd1c25b8006ce085f2a50fc8ac0c1b6bdcd","datavalue":{"value":"03E40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q802637$49407DA9-793B-4E1B-B829-C8531DFFB351","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"88502f04165f8fabb8702d8e6cc03f24a3a5aaca","datavalue":{"value":"4198055","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q802637$1186B5B5-48C1-434F-A0D8-E3EE1025AAB6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6d914801162c4e39f26d70e40e22b95e6b57aadb","datavalue":{"value":"Boolean-linear spaces","type":"string"},"datatype":"string"},"type":"statement","id":"Q802637$BE0E852A-CC97-4E91-A99E-325EF44E4279","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9ee4d3b893c84524f731854a992aef708a35a810","datavalue":{"value":"linear orderings","type":"string"},"datatype":"string"},"type":"statement","id":"Q802637$389B421D-921D-4C56-AA4A-725B5DBDA109","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3ac82369a09bc861a3472a183669af4c78913c02","datavalue":{"value":"Boolean algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q802637$91F7FB74-6F3C-483A-AC7C-D3C16C4C2ABA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9213bcecfdfb12d35eddc7b9a7acdad29617c177","datavalue":{"value":"function spaces","type":"string"},"datatype":"string"},"type":"statement","id":"Q802637$0D1987EB-1E6D-4605-B460-21939CB60F9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"71affcaf6006fa0d1835a7c4ef90faff402841a1","datavalue":{"value":"vector lattices","type":"string"},"datatype":"string"},"type":"statement","id":"Q802637$416044E4-501A-457B-A6A2-3B1D7B100F06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3025b2fd155dc94179dbd6c8a3a744ff7f108ca2","datavalue":{"value":"lattice-ordered groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q802637$22E0B244-EE7D-4664-BEF5-41644F6BEA02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1b23248042bd506455f51600d00d7ec5443276f9","datavalue":{"value":"forcing","type":"string"},"datatype":"string"},"type":"statement","id":"Q802637$2FBA80D7-D643-4139-9877-6DB78E126072","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0432d965a31cea7acbf98425becf9815c9633902","datavalue":{"value":"Boolean-valued models","type":"string"},"datatype":"string"},"type":"statement","id":"Q802637$1D770891-C25D-4E2F-B89C-D280DB62401F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5cf388dca54e28334ef8c64703b50d3b33c48aea","datavalue":{"value":"Stone representation theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q802637$1FAC8D8F-2413-4BAE-A3C3-7592A0097F7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"03ee0109af41ad406ecd743518061baaa9e5e3ff","datavalue":{"value":"convergence","type":"string"},"datatype":"string"},"type":"statement","id":"Q802637$0453AE41-E559-4797-B085-95AB5162F039","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ef4fb6209743a386ca52200ab2232f94b76c3c29","datavalue":{"value":"spectra","type":"string"},"datatype":"string"},"type":"statement","id":"Q802637$90FCD771-195B-446C-B2FC-A56721AF1FFB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c760fa6fd763a238e3824a780956095b7bc8d741","datavalue":{"value":{"entity-type":"item","numeric-id":585195,"id":"Q585195"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q802637$0AD999A7-CA9C-44D0-94C8-1AA37C72C5BF","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"72d629dee104d470ea1a2d2922a2117edf0da3ae","datavalue":{"value":{"entity-type":"item","numeric-id":587432,"id":"Q587432"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q802637$1176603C-97FC-49DF-BF0F-4FE5E90008CF","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":"Q802637$4A19ADE0-6141-493B-81F1-AD5FA5DBEEA4","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"cdc57cf2ba5617fc074cae34fef64910590e17f4","datavalue":{"value":{"entity-type":"item","numeric-id":5331549,"id":"Q5331549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q802637$D783387A-8937-4037-B208-C40EC92872C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c97535c16ff9110182a78f8ecf62c340fe59baa5","datavalue":{"value":{"entity-type":"item","numeric-id":5586268,"id":"Q5586268"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q802637$48AEE408-B02A-455F-BD32-82C224A243A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c9b6fb4e669ec35b28cd5783a2428e75009aa35f","datavalue":{"value":{"entity-type":"item","numeric-id":4052699,"id":"Q4052699"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q802637$033C540B-DF69-4B15-8135-B03766D28792","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0f49cc91e7226fe449363f2f9e90ce841f17c2f9","datavalue":{"value":{"entity-type":"item","numeric-id":3728892,"id":"Q3728892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q802637$72FEC477-EC6C-45B5-A13C-6673664EC1D8","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":"Q802637$4285D7DF-17B7-43D7-931B-8B50C35D31EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea52a4050cb3a40b9fa0dab12034478b6c02d12b","datavalue":{"value":{"entity-type":"item","numeric-id":5844481,"id":"Q5844481"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q802637$0C986495-846D-4F33-A325-0C2E328321B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"481030b7d1e9cac5ae56ed6eb3a25fd1f256c35c","datavalue":{"value":{"entity-type":"item","numeric-id":5528665,"id":"Q5528665"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q802637$C612CFC5-0388-4350-9470-50911E598606","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c5a1bdebe5330a0bc43b4aecc19c865b4befee5e","datavalue":{"value":{"entity-type":"item","numeric-id":2542987,"id":"Q2542987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q802637$2C1C1C68-78B7-443D-B203-D9FAB1A572F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a02cadedd7a65e75efe02bdda275daf43b301610","datavalue":{"value":{"entity-type":"item","numeric-id":5763114,"id":"Q5763114"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q802637$336831A3-9D5A-4D7D-A36B-52BDF2037E23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e7d3223a901848ab49fc03ca842b33c86c6508b7","datavalue":{"value":{"entity-type":"item","numeric-id":5846227,"id":"Q5846227"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q802637$0653C846-BF31-407D-8FB2-C7B73C3A25C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b0d374a436b3eff4a0fc4a6b0d2d906601e7f54","datavalue":{"value":{"entity-type":"item","numeric-id":4175544,"id":"Q4175544"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q802637$3E39D229-2B91-44B8-8656-2F0B1DFCB33D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2cea1badf3d4102421855d8163e949a9bf195c18","datavalue":{"value":{"entity-type":"item","numeric-id":5544277,"id":"Q5544277"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q802637$D9CA8EEF-2463-46C6-8B4F-DBDC5FD33D30","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":"Q802637$842E0CD2-0EE8-4F69-AB93-03DB777A44EC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"266dbad5a33e994134e994ac3beca1eba1e99fbb","datavalue":{"value":"https://doi.org/10.1016/0001-8708(90)90008-b","type":"string"},"datatype":"url"},"type":"statement","id":"Q802637$A20F1832-7089-4086-9201-C51735F82FD7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f9bab0f777219302f894f7bc50cf48fb057ff80f","datavalue":{"value":"W2082334112","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q802637$EE55DA4E-45CB-4D90-949E-C8A3FCFDC9BD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"381ac6ba6ecd8b9b1054adaad9252db24d23a45c","datavalue":{"value":{"entity-type":"item","numeric-id":1336670,"id":"Q1336670"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"379534c8fef7cf5d6bcc8d63843b46024e8b2f2d","datavalue":{"value":{"amount":"+0.731980562210083","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":"Q802637$534D8F7D-69B6-42B3-81FF-E7F34654B472","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5a36549cf0e0c4f73c271f561d23eaff20917a15","datavalue":{"value":{"entity-type":"item","numeric-id":4236342,"id":"Q4236342"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2b70e4ce1712792f9a3bcf1c7509b0c471e87442","datavalue":{"value":{"amount":"+0.7318513989448547","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":"Q802637$D6A7C5D6-6D16-46CA-8B5F-00FBA216FCA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f91b802a5d581199d268a62cd991c45425428fb8","datavalue":{"value":{"entity-type":"item","numeric-id":4726301,"id":"Q4726301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f8eac9da20abd637c7116ac36ec3037a4cee7792","datavalue":{"value":{"amount":"+0.7313826084136963","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":"Q802637$C30D4D0F-0E8A-4A98-9BFC-4869D6590D72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"095907e84d9357f22e4dcde96cc20f693e3a57e8","datavalue":{"value":{"entity-type":"item","numeric-id":4283064,"id":"Q4283064"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5ca7138a7e576302cd9706dabdff43de7b8dae34","datavalue":{"value":{"amount":"+0.7295264005661011","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":"Q802637$E11FA7AA-333A-4420-BD40-6E7E3B4B6708","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e3a180e7984bba598a55a601723ad15dcf970f60","datavalue":{"value":{"entity-type":"item","numeric-id":3836182,"id":"Q3836182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4b2d43b6b7e38b5a2ab0513e8bd40539a0337cb4","datavalue":{"value":{"amount":"+0.7214372754096985","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":"Q802637$394CBC21-099C-45BE-B1DA-C2FA9BF2273D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Boolean-linear spaces","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Boolean-linear_spaces"}}}}}