{"entities":{"Q654010":{"pageid":655859,"ns":120,"title":"Item:Q654010","lastrevid":42626336,"modified":"2025-07-07T08:40:56Z","type":"item","id":"Q654010","labels":{"en":{"language":"en","value":"Quantifier elimination and other model-theoretic properties of BL-algebras"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5991004"}},"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":"Q654010$2401CF53-5DA2-43BD-9620-B9967D173438","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"551585f38039c81e4c8ed5adfe1cca2295f0822a","datavalue":{"value":{"text":"Quantifier elimination and other model-theoretic properties of BL-algebras","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q654010$CB331F06-A7AE-40F8-BC26-B7F237267539","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"af954555922388c84c88f97cf4095c26da3d40f9","datavalue":{"value":"1247.03137","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q654010$78ACDB21-3994-4DD9-83EB-98F727055414","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b2921e5eb8775230451a902e043f59c6e260c28a","datavalue":{"value":"10.1215/00294527-1499336","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q654010$D887B870-EFFD-425E-B536-2881A1A9AA37","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8b1e9fb7d4e86fdd7095935255b1a35478d402f0","datavalue":{"value":{"entity-type":"item","numeric-id":654009,"id":"Q654009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q654010$C176396B-FCB4-4CBD-8E4C-CD0C3521DA6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"65cdcb40fe2f17245489df884dbc6645e9d566b3","datavalue":{"value":{"entity-type":"item","numeric-id":392379,"id":"Q392379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q654010$290AA773-4728-493C-B1A8-4F2E347377E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"70b479ab481d7ee1dcf779ab78c0b800106fa990","datavalue":{"value":{"entity-type":"item","numeric-id":167897,"id":"Q167897"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q654010$562536D4-10BC-4EDD-90FE-466C1AFE5980","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6325d9f59cde8ebbdb24a9f950cab3fcef3decf6","datavalue":{"value":{"entity-type":"item","numeric-id":190248,"id":"Q190248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q654010$B79FC9D8-8208-42D7-B8C5-5ABA7E666478","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2d59771111bcb1a570f74a251a05a92b1b978b44","datavalue":{"value":{"time":"+2011-12-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q654010$650C818C-DDB6-4DE0-BF42-6A27EABBA872","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"e9ce4f83993d1a61ee296a031c1b87cf7ae2a728","datavalue":{"value":"BL is short for H\u00e1jek Basic Logic, the logic of continuous t-norms and their adjoint implications. BL-algebras are the Lindenbaum algebras of theories in BL-logic, as described in \\textit{P. H\u00e1jek}'s book [Metamathematics of fuzzy logic. Dordrecht: Kluwer Academic Publishers (1998; Zbl 0937.03030)]. When the underlying order of a BL-algebra \\(A\\) is total, \\(A\\) is said to be a BL-chain. It is easy to see that the theory of all BL-algebras does not have quantifier elimination.   The present paper features a model-theoretic analysis of the first-order theory of classes of BL-chains, with particular reference to classes generating the whole variety and whose first-order theories have quantifier elimination. Applications are given to the amalgamation problem for various classes of BL-algebras. Ultrahomogeneous models and the joint embedding properties are also considered, along with decidability and completeness.   Finally, the authors prove a sort of BL-algebraic variant of the MV-algebraic Di Nola theorem. This sort of model-theoretical analysis for MV-algebras (the algebras of \u0141ukasiewicz logic) was carried out by Lacava and Marchioni. Caicedo proved quantifier elimination for the chains arising from rational Pavelka logic. Quantifier elimination results for G\u00f6del and product algebras were proved by Baaz and Veith. In an earlier paper, Marchioni established quantifier for certain theories of totally ordered commutative residuated lattices and obtained the amalgamation property of various classes of chains by purely model-theoretic means.","type":"string"},"datatype":"string"},"type":"statement","id":"Q654010$ABFD82B4-551B-4A8D-A13F-71FE87B88954","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"e860208dea0a8f07f1622b3764a2f40159457c4c","datavalue":{"value":{"entity-type":"item","numeric-id":186051,"id":"Q186051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q654010$CA58362E-9D35-42C9-93D1-CD6F921BF898","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"67d83a420633c5e61caca50109886be8d1d7a17a","datavalue":{"value":"03G25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q654010$BEE03380-E597-4A88-9CD6-C0BA2A7BD052","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf715f882d7ad0c07303aa3e6e3ac3725da52515","datavalue":{"value":"03B50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q654010$1B70A14A-F59F-426E-B2A8-3D8765C8A48F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"176e47af9f9e7cf4ebff07fc1f9e4f94a83134c1","datavalue":{"value":"03C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q654010$C87ACF6C-ECD4-48AE-88CF-66260241F162","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d09d696fa357365f057a7c984fce6a109a5f7b70","datavalue":{"value":"03C60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q654010$AAFA9504-8FA9-4C9D-A46C-69F4AB790719","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd19dc3d013c4b13f00e8fa7d8b28fd5bad6af5","datavalue":{"value":"06D35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q654010$E4535DDB-DDD9-4ADE-9040-2D4D8131F769","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"81ba224bacc98020102cc96458854578e33aca2d","datavalue":{"value":"5991004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q654010$E993A83E-9EB5-49D1-9E3C-1C8BE6F4CD8B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8970d4681910c0fb972f8cc1f1362b61bc462d13","datavalue":{"value":"BL-algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q654010$ADC7861F-5A88-4588-829A-D691EE7BC347","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7ce94254d44045733e962d2861c33d94e3725cca","datavalue":{"value":"quantifier elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q654010$13C7DF5C-567D-4D7F-8B04-94585D16D18A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b2070fc5df9433d476c5377198a03336bbaf3834","datavalue":{"value":"model completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q654010$BC32F922-E704-4A52-9136-E4CE4F09A27A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"888dc88b9cfe659a584f5f98d91d3f140e2bff77","datavalue":{"value":"amalgamation","type":"string"},"datatype":"string"},"type":"statement","id":"Q654010$A9B521C8-C6AF-46F3-BB83-7642D0D37186","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5c805f5020b605b68a317808d727275b520ef7c9","datavalue":{"value":"MV-algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q654010$9EFACF35-CFB6-488A-8B34-6D8B9802F9EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9b53d1854cf2a917b822e3d6d02c92337261bc56","datavalue":{"value":"H\u00e1jek Basic Logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q654010$2546429D-7E18-4CDC-B676-809D53C1FD44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"07fe334b2492e23d741ee285e60170c24cfe4bb5","datavalue":{"value":"BL-chain","type":"string"},"datatype":"string"},"type":"statement","id":"Q654010$8A3C1131-E6F4-43C0-A368-670979FC30D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q654010$C08E4F17-08C1-4975-98C7-75591DAAFCF7","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":"Q654010$7D57CA1C-78A5-4C0E-98C9-F6F4B733CD68","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9fc599f143f6a25c102272549590fd23a5f8c9be","datavalue":{"value":"https://doi.org/10.1215/00294527-1499336","type":"string"},"datatype":"url"},"type":"statement","id":"Q654010$BF7253B9-74F2-4646-A176-D34A3E403E41","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0b739b1a47566b2b4bab4ac9504e57193ee751e5","datavalue":{"value":"W1977812651","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q654010$8F8EE2A3-5668-40E8-A646-BB6CE2503ACA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ecdf7b59df839d48dba4b3007d1d183e80a20bf7","datavalue":{"value":{"entity-type":"item","numeric-id":3145296,"id":"Q3145296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fb1ed3a36ac51179477986398e9e9acf8f0b0a12","datavalue":{"value":{"amount":"+0.918703","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":"Q654010$0140BE7C-E206-461A-9655-4512F59A2F1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cd2f1e7eb885c5c16a216d12b17dce1df4e541ba","datavalue":{"value":{"entity-type":"item","numeric-id":2233195,"id":"Q2233195"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6520d840455b9c91935a795896fa3e605f5e1190","datavalue":{"value":{"amount":"+0.8942515","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":"Q654010$1765F196-183E-40FA-8FE9-5576B827F9FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5050869801d0e516b1240583c5588b721ba5dfa0","datavalue":{"value":{"entity-type":"item","numeric-id":5118229,"id":"Q5118229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b1e2bac42255f5625f15d8a0cb897bf0e17411f2","datavalue":{"value":{"amount":"+0.8907887","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":"Q654010$9E181E37-B120-4A11-A882-D25076C7091F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f9e0a4ae859c328d0e6efbe356249df24c5d6f32","datavalue":{"value":{"entity-type":"item","numeric-id":948760,"id":"Q948760"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"08b57a284c441bdff15f7add6776db81c930107e","datavalue":{"value":{"amount":"+0.88637507","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":"Q654010$742E7C2B-E818-4F0B-A007-45902132B3C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e85cbf5e401ad788525e5879290f5cb6b9890d3b","datavalue":{"value":{"entity-type":"item","numeric-id":944709,"id":"Q944709"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cd199a1ca6e6f54f5106250087544b49bc2c63a4","datavalue":{"value":{"amount":"+0.8813556","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":"Q654010$92A680BF-5F57-4597-A889-D39A171A1C42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c811e9b31ef6ae9c0d9429cf78c18addd16493a0","datavalue":{"value":{"entity-type":"item","numeric-id":4395555,"id":"Q4395555"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"494ba9d01e8e6c05ac066579271566d11c712021","datavalue":{"value":{"amount":"+0.87601286","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":"Q654010$D07D54BC-A193-44F7-B9B9-4F850C800BC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9affddc317b134bbf472ddd1a1d20c9880ad4666","datavalue":{"value":{"entity-type":"item","numeric-id":2797953,"id":"Q2797953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2caf7a5f63a835a73c1a3b7be37ec61abd9de425","datavalue":{"value":{"amount":"+0.8750776","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":"Q654010$ABB5B4AC-3DCF-4D34-8FB5-9F52CFC4EAD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"080f49b96db1394e780e02f1d1a37bcf42425b97","datavalue":{"value":{"entity-type":"item","numeric-id":3023678,"id":"Q3023678"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1da235e2069e26475f8fcbc7c94d633e8199b761","datavalue":{"value":{"amount":"+0.87305754","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":"Q654010$965E8902-CBEF-4D8B-82EF-8F2D68991652","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f8d35ad7608435a7b14d5806134f77ca00d70616","datavalue":{"value":{"entity-type":"item","numeric-id":1407188,"id":"Q1407188"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"968d680d82c4fc520d183300a08ab3200785f5d3","datavalue":{"value":{"amount":"+0.87041646","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":"Q654010$6914AB1A-1207-4173-A06D-31683A80B0BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3287d0e2364944730a7a395c24d8e10cf29453ab","datavalue":{"value":{"entity-type":"item","numeric-id":3749043,"id":"Q3749043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a1d94eb684b65c575d226de1763faeb55e4f27c3","datavalue":{"value":{"amount":"+0.86927575","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":"Q654010$1491C5D1-157A-41D5-AA75-E42702DDD82A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:654010","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:654010"}}}}}