{"entities":{"Q2642524":{"pageid":2653267,"ns":120,"title":"Item:Q2642524","lastrevid":50145992,"modified":"2026-01-13T06:44:22Z","type":"item","id":"Q2642524","labels":{"en":{"language":"en","value":"A note on neat reducts"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5179926"}},"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":"Q2642524$40176868-18E6-4562-AB4A-BF1137E6A8E5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"37f402d5b3887efbb229ce756e1a3fbb77b981fa","datavalue":{"value":{"text":"A note on neat reducts","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2642524$E9C66E2A-1541-40C5-B6E1-E5FC3E14ED58","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d3b39cc49f55fc0fd15841caf546861d5559d171","datavalue":{"value":"1124.03046","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2642524$2366558A-2890-4D7E-9A80-7781F8819B6B","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":"Q2642524$1D9A658F-8DB2-466B-916C-3833D8AE42DD","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e34236ca73b92c6ee0bc17431d03c3537a7f0792","datavalue":{"value":{"entity-type":"item","numeric-id":195358,"id":"Q195358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2642524$653C8B22-9BAC-4AEE-B616-155F4DD66087","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"83e4c4eb0c7bbbd668895e6c0cbc0b4f249cfbea","datavalue":{"value":{"time":"+2007-08-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2642524$FFDE4E7B-D84A-4352-9190-634D6D3DD491","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"cd04d90ab4fb7984bd0d6acdda40ac3a5cc45262","datavalue":{"value":"In this paper, \\(SC,CA,QA\\) and \\(QEA\\) denote the classes of Pinter's substitution algebras, Tarski's cylindric algebras, and Halmos' quasi-polyadic algebras and quasi-polyadic equality algebras, respectively. If \\(K\\in \\{SC,CA,QA,QEA\\}\\) and \\(\\alpha\\) is an ordinal, \\(K_{\\alpha}\\) denotes the class of all algebras in \\(K\\) of dimension \\(\\alpha\\). If \\(2<n<m\\leq\\omega\\), in [\\textit{T. Sayed-Ahmed}, Log. J. IGPL 9, No. 4, 593--628 (2001; Zbl 0988.03098)] it is proved that the class of \\(n\\)-dimensional neat reducts of algebras of \\(CA_{m}\\) is not elementary. This result is proved for 2-dimensional neat reducts of \\(SC_{n},QA_{n}\\) and \\(QEA_{n}\\) in [\\textit{T. Sayed-Ahmed}, Fundam. Math. 172, No. 1, 61--81 (2002; Zbl 0992.03083)]. Here the author extends the latter result to arbitrary finite dimensions; the main theorem of this paper shows that if \\(1<n<m\\leq\\omega\\) and \\(L\\) is any class such that \\(WKs_{m}\\subseteq L\\subseteq K_{m}\\) (\\(WKs_{m}\\) being the class of weak set algebras in \\(K\\)), then \\(Nr_{n}L\\) (the class of all \\(n\\)-dimensional reducts of algebras in \\(L\\)) is not closed under elementary equivalence; hence \\(Nr_{n}L\\) is not an elementary class, that is, it is not first-order axiomatizable.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2642524$F018BD85-DF1E-44C4-AEFD-7E7F70D82241","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"5cf5eb09e35195bdbd29dfadd387d00af8c0e36c","datavalue":{"value":{"entity-type":"item","numeric-id":590962,"id":"Q590962"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2642524$A7A9CB6D-F3C3-4622-A41C-8A7E1C4EEE98","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fbbfb5aba73a457eaaeba301a3b683d0603e498d","datavalue":{"value":"03G15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2642524$0BE0A639-F152-4BA8-B275-F14C0DC5F80D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"508e46bdcfd9ea679c7fb2d8072721013377851d","datavalue":{"value":"5179926","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2642524$6B4C82C2-49A3-47D1-A895-884E729C1D9E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e522e3d53ad5525dc0151bfa5b83dc55a0e70d90","datavalue":{"value":"cylindric algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q2642524$9A59CD05-019B-4714-8B33-42B6425CBA9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f4c98a315c6e5e5d1f89075b61b78c958935222","datavalue":{"value":"neat reducts","type":"string"},"datatype":"string"},"type":"statement","id":"Q2642524$A52FB47D-59D5-46C5-8F34-66F5F8D4796F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ba71a21748d9b49163669cd4d0b455f4a4a1ae1c","datavalue":{"value":"elementary class","type":"string"},"datatype":"string"},"type":"statement","id":"Q2642524$FC612322-0D80-460F-8DFF-90760D6FF982","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":"Q2642524$AB5C6B45-1072-4F94-8324-D5B17B0C11B6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1478413b303d6f66a5615d2e7de773923e123d97","datavalue":{"value":"https://doi.org/10.1007/s11225-007-9034-0","type":"string"},"datatype":"url"},"type":"statement","id":"Q2642524$9B1514D5-6377-48DC-8FFD-0C243936B3E6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f7f7171e50a296f32ac392e65f7cb00910f546e8","datavalue":{"value":"W1976075106","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2642524$863ED0A8-1518-4821-A389-79D19B83DF3B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e32a6335956fde02dd8502b3b8bd96d04b625874","datavalue":{"value":{"entity-type":"item","numeric-id":2743642,"id":"Q2743642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2642524$AB34BD56-9FDB-4996-83B5-B1D84A6F584A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb847bb5b237423f56589545853ffc6f6af2b0e1","datavalue":{"value":{"entity-type":"item","numeric-id":2773377,"id":"Q2773377"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2642524$DD7F0C8D-A6F4-4A7A-B0FF-3323291E1B44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5e2ed6d6d9b4a08a15cd49c07e005fbd7253c7c8","datavalue":{"value":{"entity-type":"item","numeric-id":4530145,"id":"Q4530145"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2642524$94AE3100-07D8-474B-9974-27BB9335E740","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd5d99a4624ce7dd6686b1e030fc780b2d560029","datavalue":{"value":{"entity-type":"item","numeric-id":1863833,"id":"Q1863833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2642524$CC60F4DA-DD34-4115-ACF0-732C085BC7FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b40f9c9601fd5885efb556e2dd6a8ec97375767","datavalue":{"value":{"entity-type":"item","numeric-id":5954709,"id":"Q5954709"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2642524$5248FE2C-4954-40CD-9C2E-60CD48C76756","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"06793f8be208802b4fd8a1db2fe40ab89337a9f6","datavalue":{"value":{"entity-type":"item","numeric-id":2583600,"id":"Q2583600"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2642524$36C08DF7-C297-4218-9413-747FABE11A02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"76fc900f83be850842bc83cb37aca22a4be511f7","datavalue":{"value":{"entity-type":"item","numeric-id":5472642,"id":"Q5472642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2642524$C58472AF-BD5D-4DA0-8096-7221EFB8FB05","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":"Q2642524$DB319904-8BA9-4E47-8F58-8FC86FDF3867","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fbbcd3074c470d4a46db67b3dfaa02f9246b5be8","datavalue":{"value":{"entity-type":"item","numeric-id":1170185,"id":"Q1170185"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2642524$D0C6F067-031B-436A-89CC-7D488E66BF3A","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":"Q2642524$96A997CE-B3B6-4994-B211-6A024713A4EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d3e9fd319bbb399c9608fd10459adef6081ca52","datavalue":{"value":{"entity-type":"item","numeric-id":4779633,"id":"Q4779633"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2642524$CBF1DF0E-F50C-4E4C-98D7-E0281A700088","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":"Q2642524$D54EDCB0-E8A0-467F-A051-207054757350","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f56a3dd01c8b6900f334f9840cdcfd260af63be5","datavalue":{"value":{"entity-type":"item","numeric-id":1189899,"id":"Q1189899"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2642524$9208A74B-18CE-4236-AC11-AE8FBFE9E1E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2351a3fb3d2327ece7cc2eab0e4dfd38b55e7a29","datavalue":{"value":{"entity-type":"item","numeric-id":2552131,"id":"Q2552131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2642524$A2150C70-E95A-45F3-A339-697002504D5F","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":"Q2642524$93C4C784-A5A6-44EE-881F-1A990EBF7C3F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a237a2ca375db5d3dfec496caaecd823c58532e4","datavalue":{"value":"10.1007/S11225-007-9034-0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2642524$18CD441F-C133-4E79-880D-4A74B534F631","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"06b020a60ab3d9984abbc35a97f7ef9a0cedc61a","datavalue":{"value":{"entity-type":"item","numeric-id":2773377,"id":"Q2773377"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0c4a5583afb2fbabbb673c6a7381cbb1eb1a98fc","datavalue":{"value":{"amount":"+0.9291173815727234","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":"Q2642524$A694E304-8883-413B-81AD-E1A425E819D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5732202c46870441638cfc1bdc59b84139501af8","datavalue":{"value":{"entity-type":"item","numeric-id":3376544,"id":"Q3376544"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"52292238e389017b8ce9d9f6424aa36600e1dfc2","datavalue":{"value":{"amount":"+0.9250940680503844","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":"Q2642524$D9D6A983-E865-472B-8E08-DD1B43AF5B68","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":"338259830266a2a03d0a3b25a7438a088118e801","datavalue":{"value":{"amount":"+0.8994025588035583","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":"Q2642524$D66AE1C3-7D33-4401-B21E-BF611B27375D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2a826274955123e2fbefb90426d297225323434c","datavalue":{"value":{"entity-type":"item","numeric-id":2743642,"id":"Q2743642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b1510108e85bd0ebbfd93f94f0a31eaeeb9ffa94","datavalue":{"value":{"amount":"+0.8743019700050354","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":"Q2642524$D355E40A-ECCB-40F8-9747-FF920ABFC328","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":"f425e8421d750bb44434b44197cf65fb4adde3de","datavalue":{"value":{"amount":"+0.8722155094146729","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":"Q2642524$CCCFE188-3EC2-431F-8035-E3F9BA0A382B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2642524","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2642524"}}}}}