{"entities":{"Q1089337":{"pageid":1100089,"ns":120,"title":"Item:Q1089337","lastrevid":66108387,"modified":"2026-04-12T07:36:56Z","type":"item","id":"Q1089337","labels":{"en":{"language":"en","value":"Isomorphic but not base-isomorphic base-minimal cylindric set algebras"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4004182"}},"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":"Q1089337$3F5867F4-8D07-4B01-BFCE-B4D485F4C56D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"aba4a02531f3802e12fea99e42c6f84a8c9a7a45","datavalue":{"value":{"text":"Isomorphic but not base-isomorphic base-minimal cylindric set algebras","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1089337$F261EA54-0605-4FFD-B5E7-5E1EB42BD4E0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6dbb56bc4b7a508885ab17b4fdd43f200510551c","datavalue":{"value":"0619.03042","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1089337$89C4570E-FC5B-4718-940B-DD5497AA99E3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"73f9cd8deab11dbea040676300d39d9b3ef73de4","datavalue":{"value":"10.1007/BF01195269","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1089337$AA326017-B48A-4438-8819-F664413729E1","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":"Q1089337$FA956356-B6DA-47B9-AA89-6E15162CA096","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5ae48c61eed19d1e1e1f33f9255d5b329362d064","datavalue":{"value":{"time":"+1987-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":"Q1089337$44160C92-D9FE-432E-8075-F450D0121A20","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"38f50fa92cea1ced749eb78a74a0aeaaea5f162c","datavalue":{"value":"The existence of a pair of finitely generated, isomorphic but not base- isomorphic base-minimal cylindric set algebras is shown. These algebras are regular and locally finite-dimensional. This solves a problem mentioned in the two following books: Cylindric Algebras (Part II) by \\textit{L. Henkin}, \\textit{J. D. Monk}, and \\textit{A. Tarski} (1985; Zbl 0576.03043) and Cylindric Set Algebras by \\textit{L. Henkin}, \\textit{J. D. Monk}, \\textit{A. Tarski}, \\textit{H. Andr\u00e9ka}, and \\textit{I. N\u00e9meti} (1981; Zbl 0497.03025).","type":"string"},"datatype":"string"},"type":"statement","id":"Q1089337$665C13C9-874E-490B-A829-EB8693CF7EAD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fbbfb5aba73a457eaaeba301a3b683d0603e498d","datavalue":{"value":"03G15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1089337$594E07E7-8AF0-4189-8683-1B6D9EC19353","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2703a0ff9531d99b070e084bfe706e6941bd8142","datavalue":{"value":"4004182","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1089337$4AA2A01B-F232-4158-AD61-45172ABA9F16","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a493d4500387a540ad797bcb903a6bcc206fe858","datavalue":{"value":"base-isomorphism","type":"string"},"datatype":"string"},"type":"statement","id":"Q1089337$77B70FB4-6EDB-4835-B818-7E6532CABECD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4768181659397122937393c61764e2f954409467","datavalue":{"value":"dimension","type":"string"},"datatype":"string"},"type":"statement","id":"Q1089337$91596D66-55E8-4924-AB45-EEF57FC82B2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c504b0e0a2d5829efbb8ec4975b783ad991c06d0","datavalue":{"value":"base-minimal cylindric set algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q1089337$5628A59B-D892-40A0-9D0D-4E0D0FC80F4C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ddf65c431b8fa5bcefd07613fd4c995cf6d8967f","datavalue":{"value":{"entity-type":"item","numeric-id":687277,"id":"Q687277"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1089337$05C85316-99A5-4488-B339-BA6F086C7BA6","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":"Q1089337$22891134-3FE6-458B-9A62-A77B3CB006DF","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f6c4e3cf21d638f25ee7e2cf1ddb08e3f0d49ad0","datavalue":{"value":{"entity-type":"item","numeric-id":5553265,"id":"Q5553265"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1089337$2648ECC9-6321-4BF3-BAF8-9BC9D1388BD7","rank":"normal"},{"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":"Q1089337$65D908B6-944B-40FF-8091-4ED6BD9484A1","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":"Q1089337$2752045D-2319-4F97-B0CC-BBE5866D15E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"126de90821be28cb2e987d414e00b8309a2c31a3","datavalue":{"value":{"entity-type":"item","numeric-id":1249576,"id":"Q1249576"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1089337$84F6B7D0-E33F-4BF3-A129-A7CB7F6021DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a898b7c253f66474efbb6f1144b23dc3d2952ece","datavalue":{"value":{"entity-type":"item","numeric-id":5735229,"id":"Q5735229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1089337$3A60C782-B3F2-4483-A119-47F3EA80E6D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2710d32adcd35ae6c40fe86935d3b1d1fd127a7c","datavalue":{"value":{"entity-type":"item","numeric-id":4040000,"id":"Q4040000"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1089337$D358B091-DD38-4512-8B9A-CF18B8AFBE30","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ef731de65499d5c211799c6f56af81a775d010d7","datavalue":{"value":"https://doi.org/10.1007/bf01195269","type":"string"},"datatype":"url"},"type":"statement","id":"Q1089337$6241311E-F785-45B9-847F-2C084E23C5CD","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"76d7464293bf41bee7346e87d1f1def43738e93d","datavalue":{"value":"W2166244780","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1089337$0273AE58-C66F-4BEE-8AE1-3CE5FFC55EB3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b2344787b67d7a9db2c0f3627189ca9ab369bb0e","datavalue":{"value":{"entity-type":"item","numeric-id":4011735,"id":"Q4011735"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b1e27ccf41efe5b93d669df5b8a469c1f4c2b024","datavalue":{"value":{"amount":"+0.8504310250282288","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":"Q1089337$97FA569F-AFFB-42D8-BE81-82855B4B892C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ad1e22341f544a064ae3143829037e02122e9c07","datavalue":{"value":{"entity-type":"item","numeric-id":4011734,"id":"Q4011734"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7c6bb48833d04fecf5b958061f9231b4f874379c","datavalue":{"value":{"amount":"+0.8497655391693115","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":"Q1089337$600A46B5-EBF6-48ED-872F-54E6F3BAADF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"60975046094de74e18d69f76dc2d0e125aba0e53","datavalue":{"value":{"entity-type":"item","numeric-id":3803114,"id":"Q3803114"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9df54c632b1aefb92e4d42fdafbdf651a2226124","datavalue":{"value":{"amount":"+0.8415204882621765","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":"Q1089337$290C2001-5AD7-4AB7-AE85-929E8BEF71FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b817a0cad85a6b5bf671e762f28f8b6042f4bcb5","datavalue":{"value":{"entity-type":"item","numeric-id":1309337,"id":"Q1309337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6f4c72ed176506bee1e5ad1bd389ae45b8183bb3","datavalue":{"value":{"amount":"+0.8084590435028076","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":"Q1089337$5AA4D6D7-8915-47D9-A0CB-BD1BC391D035","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5e90dfd1fe59ad3b986b2ff90aefd319d2173ae5","datavalue":{"value":{"entity-type":"item","numeric-id":4273436,"id":"Q4273436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"51856cef53881a95eee259e1f204b2da571f7001","datavalue":{"value":{"amount":"+0.7896096706390381","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":"Q1089337$86A16C64-6028-47DE-A841-5ADBE4157ECF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Isomorphic but not base-isomorphic base-minimal cylindric set algebras","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Isomorphic_but_not_base-isomorphic_base-minimal_cylindric_set_algebras"}}}}}