{"entities":{"Q876381":{"pageid":878229,"ns":120,"title":"Item:Q876381","lastrevid":50074888,"modified":"2026-01-12T21:16:52Z","type":"item","id":"Q876381","labels":{"en":{"language":"en","value":"Decidable theories of non-projectable \\(l\\)-groups of continuous functions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5144414"}},"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":"Q876381$32EB6695-58F8-4573-9664-BD9A323580AB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ab8d4a931c3983518e0ad3040319a8322c13eb9c","datavalue":{"value":{"text":"Decidable theories of non-projectable \\(l\\)-groups of continuous functions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q876381$5722013F-AEB1-4513-BFD0-AD08311E21FA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d0ea1e600a4dd62ff23245ebf4b0bfda823928b4","datavalue":{"value":"1115.06012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q876381$382544A7-170B-4FAE-B1AA-F751DFACE405","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e6bce3ceb981759092e433cb7d0777b199127ee5","datavalue":{"value":{"entity-type":"item","numeric-id":876380,"id":"Q876380"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q876381$5774591C-0CD4-4D16-B619-689EAE72FBED","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f91a4bcbc93435aed71775d25a4c5cd09e26f12d","datavalue":{"value":{"entity-type":"item","numeric-id":122505,"id":"Q122505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q876381$3A2B095D-6B47-4D7C-90DE-A7B2C84568D9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6f339c49c589764265da0f7de34a17b3e7a78e06","datavalue":{"value":{"time":"+2007-04-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q876381$A2A4AC9E-ECAD-430E-9BB5-92E5F641CD3A","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"a88475d17be3cc2808a6b4ffadb28d35dcfe3e3c","datavalue":{"value":"An (abelian) \\(\\ell \\)-group \\(G\\) is called projectable if for every \\(0<a\\in G\\) the interval \\([0,a]\\) is pseudocomplemented. If \\(X\\) is a topological space then \\(C(X)\\) denotes the \\(\\ell \\)-group of all continuous real-valued functions on \\(X\\). The author studies the class of \\(\\ell \\)-groups \\(C(X)\\) such that \\(X\\) is a so-called essential \\(P\\)-space. In the paper it is shown that many of such \\(\\ell \\)-groups are non-projectable and that their elementary theories may often be reduced to those of associated Boolean algebras with distinguished ideals. This is used to establish the decidability of two classes of \\(\\ell \\)-groups of continuous functions which, among others, are not projectable.","type":"string"},"datatype":"string"},"type":"statement","id":"Q876381$336EA5B9-35AA-4255-9AC3-2672B4584E04","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"84c09a7c8104556c734594fe107478499704cfd1","datavalue":{"value":"06F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q876381$71904981-639B-4CF0-A4BA-9192C2DF1986","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q876381$33643125-689B-4358-980C-C16942EC2BF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"166e4a51e7ace285a8ef92be39da2625c5914749","datavalue":{"value":"54C30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q876381$C055147C-5D1D-4590-BAA3-76128D4A6BA7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"939fb515272eb5ee56c680255b03d3e1774e441a","datavalue":{"value":"5144414","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q876381$EADF1401-E84E-4393-A720-FF11E5E625AE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3a3f20170fa4dced255dae092befa6423ee67afd","datavalue":{"value":"\\(l\\)-group","type":"string"},"datatype":"string"},"type":"statement","id":"Q876381$35DE6BD1-D054-40A2-912B-EB4757D6FC89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eed13a4aec24f54e32c5f25dac34c6d78b1c24a1","datavalue":{"value":"decidable theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q876381$36F85B0F-6665-488D-A3EA-2CFF72B948CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5c662babbdfe15ca5017336776158d5d636a4638","datavalue":{"value":"\\(P\\)-space","type":"string"},"datatype":"string"},"type":"statement","id":"Q876381$3580D195-91B4-451E-BC17-A5DD189A4BA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0b79c0d46aaed6ae08d529961c9f16b783e44803","datavalue":{"value":"Boolean algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q876381$6391E90D-A8D1-4A7A-948F-98E6E776B3A1","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"3435347ae0836a141153808f5e539b63c593b7b4","datavalue":{"value":{"entity-type":"item","numeric-id":238869,"id":"Q238869"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q876381$6E4497CF-C2E6-4A93-BEA2-F17C58384389","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":"Q876381$895258BF-DBB9-446B-9602-5D560B58B990","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"fed9104886d76c353ef2dff85f377a7d609e6598","datavalue":{"value":"https://doi.org/10.1016/j.apal.2006.12.002","type":"string"},"datatype":"url"},"type":"statement","id":"Q876381$9574AB53-E29E-4B6E-B4CC-6E4081DB3FA8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e9446adf66655be5b9946a73f8058a8a55feb988","datavalue":{"value":"W2089255079","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q876381$254AB578-1E96-437A-ACFC-0309234D136F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ce47aaa57ed062610df59dbf8e315e80f656a8e","datavalue":{"value":{"entity-type":"item","numeric-id":4083730,"id":"Q4083730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q876381$F97C6573-6CCC-4B11-A5D4-9A6CED978A63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f39f393be7e7693fa81a63ecee493915bc3f615c","datavalue":{"value":{"entity-type":"item","numeric-id":5596792,"id":"Q5596792"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q876381$5F272174-3139-4DB4-BF40-FA2C822E5050","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a9a0035cf4540a200f752e67616ee09960bd2d41","datavalue":{"value":{"entity-type":"item","numeric-id":3261418,"id":"Q3261418"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q876381$A4284E9F-AE84-4912-B95A-5A7242C20AAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d8fd467449304fb2e73cd03a570c2db047877337","datavalue":{"value":{"entity-type":"item","numeric-id":3999353,"id":"Q3999353"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q876381$7B82A11B-DA95-48B9-9395-D914391BA0F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8000a8c09f16dc69b0a1555cd880ac77b9bfd13b","datavalue":{"value":{"entity-type":"item","numeric-id":5832626,"id":"Q5832626"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q876381$8E60DDA7-144D-48F1-B3F4-2F2AE3828908","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e719ae767408183ef1828f50124197acab2bbe3","datavalue":{"value":{"entity-type":"item","numeric-id":4107488,"id":"Q4107488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q876381$F1EB2878-F0CD-413A-8677-3A040B09ADEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47364800a9736037a77157c1ddd87af0901a275f","datavalue":{"value":{"entity-type":"item","numeric-id":4283071,"id":"Q4283071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q876381$3BD8E6EB-A836-4A43-8218-F8618CAAD4B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d496802623195d4b8a74d134ecbd9882c054802","datavalue":{"value":{"entity-type":"item","numeric-id":5488194,"id":"Q5488194"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q876381$59599F43-3CA7-4433-BA46-B4E20EB2CDF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd31d35c12acbc40e8eefbf0c88ff3048c846b6a","datavalue":{"value":{"entity-type":"item","numeric-id":4182482,"id":"Q4182482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q876381$4FFB7BE9-088B-46D7-87BF-78F6D6A07D61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8459862735a3ec9272090d344676c06d659741b","datavalue":{"value":{"entity-type":"item","numeric-id":3994998,"id":"Q3994998"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q876381$93FF445D-660C-49AF-989E-CC43C6EEE2B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"408e3b6c18746b87fba898312a88651dcc900368","datavalue":{"value":{"entity-type":"item","numeric-id":1399104,"id":"Q1399104"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q876381$C1951FFA-4DFF-46D6-B0A1-AEEE52592166","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":"Q876381$3FAB63BC-A635-4DFA-89F7-9590BC084FA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"23d7ff6b17683239d51c8233d28dcafaf2cc8b4e","datavalue":{"value":{"entity-type":"item","numeric-id":3808079,"id":"Q3808079"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q876381$356DA314-CBAD-48D2-85D2-8BF2B3A7BA0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4e4de3bd9f9bb1c96ee1484c0ca4a50ce20a5d50","datavalue":{"value":{"entity-type":"item","numeric-id":4074053,"id":"Q4074053"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q876381$E78825AD-A85F-408F-A23A-EC1FADC8C9AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b6314d4b2c8d1478ad89ab9d8de915c997781315","datavalue":{"value":{"entity-type":"item","numeric-id":3530835,"id":"Q3530835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q876381$0241862F-AE6F-49D1-98C1-03D48A0828D9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8e0b3857ad0796a5cb2c6f57789881dace9b5ca8","datavalue":{"value":"10.1016/J.APAL.2006.12.002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q876381$1A4F6182-AB6A-4BD7-BEE7-66CF1E6FAEC3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6f6d6d7fe9782ade0956b1da236cb6586d7d2080","datavalue":{"value":{"entity-type":"item","numeric-id":1745350,"id":"Q1745350"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6bada6c2fb3f30e9ef443723e2bc5173c222e3a7","datavalue":{"value":{"amount":"+0.7591457962989807","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":"Q876381$227E0A04-B2E5-4694-A5A2-B9A6AB87972C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ff07073aa515a9eb31da9b203da0ecfa07886048","datavalue":{"value":{"entity-type":"item","numeric-id":1399104,"id":"Q1399104"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4eb4e3311f127044337932512b61a4352fc76c68","datavalue":{"value":{"amount":"+0.7475623488426208","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":"Q876381$20DE34C6-679C-4FC5-93D9-C81E8B250CAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2f3d70744cdbcc8bdc754aa67057d17d082b3cf2","datavalue":{"value":{"entity-type":"item","numeric-id":3624931,"id":"Q3624931"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4eb4e3311f127044337932512b61a4352fc76c68","datavalue":{"value":{"amount":"+0.7475623488426208","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":"Q876381$26DFD656-7049-4DD5-89DD-04380B83676D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"de118e9eef4370e8d53ed3bba9d514258a2f0efc","datavalue":{"value":{"entity-type":"item","numeric-id":5398233,"id":"Q5398233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6f23ded98b135a3ad08323582182b1bb70d435e0","datavalue":{"value":{"amount":"+0.7411558032035828","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":"Q876381$C7812413-5CCF-44FD-B37E-187A406B0D42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"12f0530c970caab709455a2ad5867ee77df4dd9c","datavalue":{"value":{"entity-type":"item","numeric-id":3745886,"id":"Q3745886"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cded43175c9a583d70d341217b9ac34feb6688c1","datavalue":{"value":{"amount":"+0.7403115034103394","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":"Q876381$A9F7DA72-E3DF-463A-B2A7-B24F20CF81A8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:876381","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:876381"}}}}}