{"entities":{"Q2921030":{"pageid":2931750,"ns":120,"title":"Item:Q2921030","lastrevid":42502642,"modified":"2025-06-30T15:24:27Z","type":"item","id":"Q2921030","labels":{"en":{"language":"en","value":"The neat embedding problem for algebras other than cylindric algebras and for infinite dimensions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6349657"}},"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":"Q2921030$045A1105-8520-4435-BAE9-ACFFDBFDB72D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9107e1616d2961a5c18119186a44e0ba20f3df6e","datavalue":{"value":"1328.03057","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2921030$E8B9A5C6-97BC-4044-A597-1092FD012AA9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6651d4e4947d930a461f076a4ae17f7da77e1b31","datavalue":{"value":{"entity-type":"item","numeric-id":227768,"id":"Q227768"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2921030$2EA1C348-1D23-45DB-9A5B-506574A66D9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"11e861291b7fc659c2533ae46450bc9cf4867572","datavalue":{"value":{"entity-type":"item","numeric-id":596006,"id":"Q596006"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2921030$35FA5434-902A-4CCB-85E7-687A4398633A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9d405066baff2000c56d61b8ee78a90700809ef9","datavalue":{"value":{"time":"+2014-09-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2921030$AB715FB2-2DAC-4E41-80E9-F08F7B0FD9B9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0acd21e46b791d4370be802b1845cbe4e1c4ef60","datavalue":{"value":"http://discovery.ucl.ac.uk/1402074/7/Hirsch%20et%20al.%20neat_embedding_final.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q2921030$B36FEF04-7668-48F0-A4C1-E021502B29FE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fbbfb5aba73a457eaaeba301a3b683d0603e498d","datavalue":{"value":"03G15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2921030$25D7A5F0-EC59-42DC-9A40-98D8227769E3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"85f61d3df359e10b66be3f567682714977963490","datavalue":{"value":"6349657","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2921030$07676A63-2040-4008-8E64-E6A6CEB46CFB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c121d0b4540e7ec170cfab417fe7f119976eb282","datavalue":{"value":"algebraic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2921030$1CCDDFEC-B067-41E0-98B8-4188B9522FA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e522e3d53ad5525dc0151bfa5b83dc55a0e70d90","datavalue":{"value":"cylindric algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q2921030$BD603AB5-0BA3-452D-B7D4-253246ECE62D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e94cca3853a840dc04a1fa6e760b31ca54fe85e6","datavalue":{"value":"quasi-polyadic algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q2921030$3B8F70D2-0BB6-4C4B-B183-17CA5B1B6DDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bd50392b8692eb8d1fe167ff34a4b61502f0b379","datavalue":{"value":"substitution algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q2921030$A9B3EBC4-50EE-4746-BB61-D18B8A24816D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f4c98a315c6e5e5d1f89075b61b78c958935222","datavalue":{"value":"neat reducts","type":"string"},"datatype":"string"},"type":"statement","id":"Q2921030$D3D1D1B7-9834-47DD-B4CA-1FEA84FD1E90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"13cdba30ed4431cf9df780f99acb781af9910f89","datavalue":{"value":"neat embeddings","type":"string"},"datatype":"string"},"type":"statement","id":"Q2921030$BFF5A636-5A54-4BE1-99B9-E4609B567CBF","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":"Q2921030$08590BFC-DEF5-4E5F-BF24-14273EBB4696","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"309bf10037623ee3f1b2d5f68788b9199b4a41e3","datavalue":{"value":"W1998056081","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2921030$CA43BF1F-B956-449F-961A-D51CBD39FD26","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"de3344fd73e7d2e795c501faa29330dca8e13b3b","datavalue":{"value":{"entity-type":"item","numeric-id":4779634,"id":"Q4779634"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2921030$7F8EC154-17CC-4AF6-A232-0BDFD9D3810F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c6acc5fd30b5fd39f7c7593bfdba57e2a920d202","datavalue":{"value":{"entity-type":"item","numeric-id":700879,"id":"Q700879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2921030$39C737FF-A9B3-4334-BEA1-CECE081F2546","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":"Q2921030$D7C443D9-89C6-4E2C-B314-7165DE8045A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c7db6a6266e4ee04ac9dc932d630169cc6bc7d11","datavalue":{"value":{"entity-type":"item","numeric-id":4532609,"id":"Q4532609"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2921030$CA61A512-8310-4E1C-BF77-8A21B6CF363B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"20bc91b2de531ec82fa69b8763415ef5a3f88485","datavalue":{"value":{"entity-type":"item","numeric-id":1295366,"id":"Q1295366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2921030$C676C2D0-8DCD-4826-A813-132B652E6506","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c0fe4f2ec891ea5354922117aec22dd0ca0f5ffd","datavalue":{"value":{"entity-type":"item","numeric-id":4011731,"id":"Q4011731"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2921030$A7003BAB-6590-4B34-9DAB-6709B6FCFC51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"366746f0dd9bc065723b4fcdd0a74d3c59be26f4","datavalue":{"value":{"entity-type":"item","numeric-id":3442401,"id":"Q3442401"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2921030$93E00A8F-7C00-4805-B54C-133DCAAFA8DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b0572f108b35b2fe2edc701307a6a508b42536cf","datavalue":{"value":{"entity-type":"item","numeric-id":5656762,"id":"Q5656762"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2921030$A99C94BE-41B9-40BA-A627-3F3647A1008C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f674a5c4250bba10f0dd93d4178a122366a18a1f","datavalue":{"value":{"entity-type":"item","numeric-id":1165242,"id":"Q1165242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2921030$BBB955EC-B95D-442F-BA82-A5E048EA80E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"54885bbfa8aa8525df1fda1937ed9ed06683319d","datavalue":{"value":{"entity-type":"item","numeric-id":5733519,"id":"Q5733519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2921030$DDD30552-4931-4958-86AB-1199685B845A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8ecd86879b755ee5f8c201f5dda0093c27b212ae","datavalue":{"value":"10.1017/JSL.2013.20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2921030$1E785F33-4B38-46BB-93D7-CE6FBAA6D30D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6b5a92228ff246d5992b373b91f36566ef77e769","datavalue":{"value":{"entity-type":"item","numeric-id":3650326,"id":"Q3650326"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b6de2fa26ebe681a9959573ee8584f47b04f49cb","datavalue":{"value":{"amount":"+0.9557136","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2921030$49F50B75-B5A6-4C94-B058-13D79B5D98C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5c4032aed34184aca2d4a72df90583b29de282e7","datavalue":{"value":{"entity-type":"item","numeric-id":4443403,"id":"Q4443403"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dfe2450be4594bc7c9b1e033ae0ef5ec83c6f9a4","datavalue":{"value":{"amount":"+0.9355272","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2921030$25635922-87B6-45F3-A2DB-F85B75CE950F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ecfef67a09a9bcbe74eb2d002bf22f67c1797901","datavalue":{"value":{"entity-type":"item","numeric-id":3442401,"id":"Q3442401"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5e3e6015b576a085f5afd9482103b54052309fb4","datavalue":{"value":{"amount":"+0.934735","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2921030$675000CD-BE62-4989-8692-54006D985417","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0d7d6aecfadbeb161145ec2db30bb8712b764ff5","datavalue":{"value":{"entity-type":"item","numeric-id":2853711,"id":"Q2853711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8ed6583beb75db536f7e311fb18d2747853348d6","datavalue":{"value":{"amount":"+0.9289025","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2921030$7177EF44-8145-40C7-BC3B-EF301F683F19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a38d58d713041ac89dc059dc3db3a859fe721076","datavalue":{"value":{"entity-type":"item","numeric-id":3067980,"id":"Q3067980"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1301b36e90938687315096b436518b38ff177696","datavalue":{"value":{"amount":"+0.8812711","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2921030$32128D7C-6763-4D34-ACBA-291AA1C735E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9a194aee622b68fe97f00c2e270078848be5bcc2","datavalue":{"value":{"entity-type":"item","numeric-id":5393189,"id":"Q5393189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1301b36e90938687315096b436518b38ff177696","datavalue":{"value":{"amount":"+0.8812711","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2921030$11CFFA27-D8FB-4650-848C-BDA0AA7B841A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bc0b42e0563d4e1ceec598230139aace29733a2a","datavalue":{"value":{"entity-type":"item","numeric-id":1333210,"id":"Q1333210"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f073c5515554d29af285dc56f2ecbf66df1bf26d","datavalue":{"value":{"amount":"+0.8729204","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2921030$41B38681-5F15-4E47-857C-9CF9B8801DC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"162fe5da106a140834cd3d124dc650b622c9bd80","datavalue":{"value":{"entity-type":"item","numeric-id":2117359,"id":"Q2117359"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"16d485b6e191bd6037d2f7b4fa35338721e69364","datavalue":{"value":{"amount":"+0.8727723","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2921030$292184F5-7E82-4CB6-91F8-070306823073","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7166bc8ff4909ae79a154f60522650c4d2371167","datavalue":{"value":{"entity-type":"item","numeric-id":4663640,"id":"Q4663640"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f9188b976d9d64d2bd1dc0c8a0a0dfdecbf1f000","datavalue":{"value":{"amount":"+0.8724336","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2921030$DDE39C1E-D69C-455E-ACE1-EAD86E60D3DF","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":"32dd58d6d732dfb93f244f6963cc2780b397b04e","datavalue":{"value":{"amount":"+0.8721191","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2921030$BC7144DE-9F69-4588-AA58-6BE490AEBB99","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"25245c90adb0f954c8a10dfed9b212f74177bb64","datavalue":{"value":{"text":"The neat embedding problem for algebras other than cylindric algebras and for infinite dimensions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2921030$959D5222-FC5D-488C-9658-7C6D85D72C0A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"cd9ebe56ec423ec5335930a0b1a45ca7ae3b5c0f","datavalue":{"value":{"entity-type":"item","numeric-id":6768298,"id":"Q6768298"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2921030$6294DA54-9090-43D8-9060-EE47E81D0ADB","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"704004293cdf0609ab1636b32566955818f00d81","datavalue":{"value":"This paper extends the solution to Monk's neat embedding problem from finite-dimensional cylindric algebras to (possibly infinite-dimensional) quasi-polyadic equality algebras, quasi-polyadic algebras, and substitution algebras. In the first part, for integers \\(n>m>2\\) and linear ordering \\(r\\) the authors construct an \\(m\\)-dimensional quasi-polyadic equality algebra \\(C(m,n,r)\\). \\(C(m,n,r)\\) is a neat \\(m\\)-dimensional reduct of the \\(n\\)-dimensional quasi-polyadic equality algebra \\(C(n,n,r)\\). Let \\(K\\) be the class of subalgebras of neat \\(m\\)-dimensional reducts of \\(n+1\\)-dimensional quasi-polyadic equality algebras. For finite \\(r\\), \\(C(m,n,r)\\) is not in \\(K\\). If \\(r\\) has an infinite ascending sequence then \\(C(m,n,r)\\) is elementarily equivalent to an algebra in \\(K\\). These properties are used to show that \\(K\\) is not definable by any finite set of first-order conditions within the class of subalgebras of neat \\(m\\)-dimensional reducts of \\(n\\)-dimensional quasi-polyadic equality algebras. Similar results for infinite \\(n\\) are obtained in the second part of the paper.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2921030$5D4A2777-BA33-472A-B70F-5A810134C96D","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":"Q2921030$2EE5C433-06DD-4765-B1A2-E2AAA6393CF6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2921030","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2921030"}}}}}