{"entities":{"Q2328129":{"pageid":2338872,"ns":120,"title":"Item:Q2328129","lastrevid":57856908,"modified":"2026-04-02T20:05:36Z","type":"item","id":"Q2328129","labels":{"en":{"language":"en","value":"Atoms in infinite dimensional free sequence-set algebras"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7115035"}},"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":"Q2328129$B30EE481-FBF2-462B-BBB0-D86A078ED97B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"04ab60636dc5f1eabf3210f5e5ce5d70926d8700","datavalue":{"value":{"text":"Atoms in infinite dimensional free sequence-set algebras","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2328129$48475B51-BAF7-4A96-B2E8-389878CA68E0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"44b6d06f662054d3282b27d2d11011e9f73b57cc","datavalue":{"value":"1450.03011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2328129$456DD214-DDE6-4A0A-AF4B-B869701CFB51","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2b4961c2cadf61da6df1215c35512b906247afc7","datavalue":{"value":{"entity-type":"item","numeric-id":1731560,"id":"Q1731560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2328129$852E6A7F-9CEC-4BF7-8FCE-18A1362810BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"857c2c80c4cd84e545d0cc0f92387a21b7c9d079","datavalue":{"value":{"entity-type":"item","numeric-id":227769,"id":"Q227769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2328129$F217F478-2395-4EDB-8D2B-7CCD2D1D4394","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"8fa179c8715004e2374d4db0c3ce41b39558e95d","datavalue":{"value":{"entity-type":"item","numeric-id":178112,"id":"Q178112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2328129$61B5E2E9-416A-48B3-ACA3-B23D7C467EDA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"69528ab356cbcd2b53ea1b91a6f142ab0edc04fe","datavalue":{"value":{"time":"+2019-10-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2328129$F29C655F-C4E6-49A1-A82F-75ED303975C4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"21de3bda77f62f596412d74be2cbc2ad78c2fbb0","datavalue":{"value":"https://arxiv.org/abs/1903.01527","type":"string"},"datatype":"url"},"type":"statement","id":"Q2328129$AC73135F-A890-4F9C-A09A-E2474DE74B2E","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"b0eae38d15a83b10bcff85b91fb4b7f2d702bf5b","datavalue":{"value":"This paper reports progress on the as yet unproven conjecture of Tarski that all the atoms are zero-dimensional in any infinite dimensional cylindric algebra that is freely generated by at least one element. (Zero-dimensional elements are fixed under all cylindrifications and are the algebraic equivalent of sentences.) The authors prove Tarski's conjecture for several classes of algebras that are constructed from sets of infinite sequences in various ways. There are two main results. The first says that the free cylindric-relativized algebra on any number of generators is atomless and, for the targeted classes of algebras of sequences, the free algebra on \\(m\\) generators is not atomic and contains exactly \\(2^m\\) atoms, all of which are zero-dimensional. The proofs of this result and a more general one show that no element in the free algebra is disjoint from all the diagonal elements. This fails for cylindric algebras, as shown by the second main result, which says that the free cylindric algebra on \\(m\\) generators (with non-zero \\(m\\)) of dimension two or more has a non-zero element that is contained in all the non-zero complements of diagonal elements.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2328129$968EC473-BD2B-4236-91DF-078393E6370E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fbbfb5aba73a457eaaeba301a3b683d0603e498d","datavalue":{"value":"03G15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2328129$32240CDA-64A2-464A-8FFF-DE01B7A62BC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2328129$0E3A6087-37C9-419C-8459-C0726E130704","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d85fc819987f741ef83c7852209bce325062055c","datavalue":{"value":"06E25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2328129$B8DA4879-D050-49CD-8749-BE53BDB79B3A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"315dbc501b7ec984e04b80d091d21ed63bcd1b7e","datavalue":{"value":"7115035","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2328129$44CDB50E-BAA5-49D7-ACF2-90532C57D444","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1d10530f0426568d4f2df4a2a102e29fd301ff4a","datavalue":{"value":"free algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q2328129$9F217BCE-7692-42EA-9D42-FBB0E6846A06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d82c2aaca13af57a8c6d2ee18a6871ae35a16a0d","datavalue":{"value":"cylindric-like algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q2328129$60EB5E93-3BE7-4546-B67A-7A8563689C97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9a5b33f354f45ba97ebe5cc17236ae01ef2d2b38","datavalue":{"value":"atoms","type":"string"},"datatype":"string"},"type":"statement","id":"Q2328129$62E246AF-6EC0-474D-B9FA-6AC0D2334F64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"13392ba60e13c24c7be62d794bb77718fa97b1b8","datavalue":{"value":"zero-dimensional elements","type":"string"},"datatype":"string"},"type":"statement","id":"Q2328129$99A21522-2AAB-479F-A971-C5618B9A820E","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"042c8aa768666ba25bf6e8d6cb402290a13f8333","datavalue":{"value":{"entity-type":"item","numeric-id":406454,"id":"Q406454"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2328129$8399EF58-5424-4D5B-B313-C1310A20C80D","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":"Q2328129$947DEDA7-32CE-474B-93B9-DE014C1F6061","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9218622780cc6bcd12804a90444ee897bcd10e7a","datavalue":{"value":"W2978411051","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2328129$5AEEED49-72FC-4D72-94F6-690DA3C4873B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6b47545d737298ec8ec51129f8941307ae65dd1","datavalue":{"value":{"entity-type":"item","numeric-id":5616133,"id":"Q5616133"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2328129$84A29FD0-4E1A-4268-B912-37A59671E626","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6939b7c6b5e1e43a2947e6d05e58171b2f424c55","datavalue":{"value":{"entity-type":"item","numeric-id":3934450,"id":"Q3934450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2328129$0F63C951-7E3D-43AB-A07E-A5FF117D35CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ab5fd23ae46e440d0806bf46f29f71cde048fbd1","datavalue":{"value":{"entity-type":"item","numeric-id":1064326,"id":"Q1064326"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2328129$77696A94-6D44-48B9-856C-DD3418050C3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e38d8bc275ed304f9228a4be19100aa0f936cfd","datavalue":{"value":{"entity-type":"item","numeric-id":3487342,"id":"Q3487342"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2328129$595E6DD0-2A97-44B2-B849-C5BE232E81B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cfa8a855635660c18bee8eede803ea3e36d90e47","datavalue":{"value":{"entity-type":"item","numeric-id":5905422,"id":"Q5905422"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2328129$0E4E6392-02FF-44EF-B7EF-77A5A6626899","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"90e74a687711aa5be425bf85c7212fda84bd1475","datavalue":{"value":{"entity-type":"item","numeric-id":4873975,"id":"Q4873975"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2328129$2FA8A63A-E462-402B-A0EC-75CC3B448A21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b20677f3904d8d35f6e14c991e5ae71d9e15d11","datavalue":{"value":{"entity-type":"item","numeric-id":4724630,"id":"Q4724630"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2328129$10CD69A1-23DF-4B21-96F1-F1F1E451AED4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae10422f8af8dbe6adcb727a340654aa44027ea2","datavalue":{"value":{"entity-type":"item","numeric-id":4383703,"id":"Q4383703"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2328129$ED92F9EA-846C-4AE9-BDA6-CF99A639730C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"96bd74e89d5f58966b2ca1e9b67d91549ec49b41","datavalue":{"value":{"entity-type":"item","numeric-id":4254632,"id":"Q4254632"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2328129$3C442920-C88C-4F73-AD8E-2F680169EEC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb80ac428a21d1fb92b1634b44199337fe9124d9","datavalue":{"value":{"entity-type":"item","numeric-id":4511601,"id":"Q4511601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2328129$3DE8D7BC-FEF9-40CB-895C-58B86E307CA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf6b6c0456f2380ab7dc09eb117cecc52a7f3e08","datavalue":{"value":{"entity-type":"item","numeric-id":4780286,"id":"Q4780286"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2328129$C39A4AD7-D82B-4C69-A158-2FF009094A2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"adf8e2be39d0316d1b7f7536bb1c517761318a69","datavalue":{"value":{"entity-type":"item","numeric-id":3150913,"id":"Q3150913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2328129$4851E91C-0AD5-4CE9-AFEA-2F776D665F9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db6f596b0d59c10a2103d9b79a2a0504473c1159","datavalue":{"value":{"entity-type":"item","numeric-id":1863830,"id":"Q1863830"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2328129$AFDDD631-6F96-4AEF-957A-716F75C4337B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"88c945b7f65b030a3588f96d53824a119d32ec62","datavalue":{"value":{"entity-type":"item","numeric-id":3081239,"id":"Q3081239"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2328129$276DA173-10BE-4383-A87B-7EEB29466D5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b0ae830601567019bac5218b2bbf7538a2dc989e","datavalue":{"value":{"entity-type":"item","numeric-id":2853707,"id":"Q2853707"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2328129$6A575F03-BDEA-480F-A63E-961C604CBD59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d71b51a6c2205125a5862f224aa3eb3f24235d1c","datavalue":{"value":{"entity-type":"item","numeric-id":5095624,"id":"Q5095624"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2328129$BC54408D-7F5D-4D9D-B79D-498F9CA27D66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dbf5f6914563d46d222e710e9b3845b54a72b062","datavalue":{"value":{"entity-type":"item","numeric-id":1791054,"id":"Q1791054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2328129$045DE92C-10BD-400E-99E2-69583B3C57D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b4a0b67dda8ab1adca756ee748c7556765b6e945","datavalue":{"value":{"entity-type":"item","numeric-id":1731561,"id":"Q1731561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2328129$CE333BA3-92E6-4503-8F6A-6F037B6091B5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6168ce119efc5dca8621eaa8ba131a948947c52d","datavalue":{"value":"10.1007/S00012-019-0610-8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2328129$582946A8-7F45-415E-8C52-7540CDA04A94","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"db8d7a1f0300768c2ac3e4e41c0803a650004050","datavalue":{"value":{"entity-type":"item","numeric-id":3081239,"id":"Q3081239"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e5f87fed8152ca8ef694559b2ac7bb367afd312a","datavalue":{"value":{"amount":"+0.7894782423973083","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":"Q2328129$FA31C39C-00C9-4E04-BD3D-B62D4D626F7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dc744f892128c3f144b8aa58233596cf2cc80928","datavalue":{"value":{"entity-type":"item","numeric-id":3150913,"id":"Q3150913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7040ced13f91e27fa50fc1b969ecda46d72da041","datavalue":{"value":{"amount":"+0.7750179767608643","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":"Q2328129$E0135C51-7107-46BC-AEFC-C71B4987F52E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9718b25cc7867c65a46fd47d4bf7b8f7c706c4ec","datavalue":{"value":{"entity-type":"item","numeric-id":5095624,"id":"Q5095624"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f764b4a2d4c4e3604d262545cf474d6b5de6335c","datavalue":{"value":{"amount":"+0.7594091296195984","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":"Q2328129$5417C7D1-9EC5-462C-9501-67E15DCFC356","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"65f8646503e5c7849d641ecd411ee2d78c10d0ce","datavalue":{"value":{"entity-type":"item","numeric-id":792324,"id":"Q792324"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3422a19fe8ea3c75c0bf80466a4acc00cf004031","datavalue":{"value":{"amount":"+0.7583180069923401","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":"Q2328129$1695BB7F-3536-43EB-BF21-ABC283341EE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c43240afa3d66cabace2b1e4e7753295427c9df3","datavalue":{"value":{"entity-type":"item","numeric-id":4273473,"id":"Q4273473"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"48b8a29aac5bcc3f0219ae67456fb55373e060d3","datavalue":{"value":{"amount":"+0.7503957152366638","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":"Q2328129$B1A6AFF8-9507-4FFC-A61E-5B5D7A880AA9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2328129","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2328129"}}}}}