{"entities":{"Q1935367":{"pageid":1946109,"ns":120,"title":"Item:Q1935367","lastrevid":51652565,"modified":"2026-01-19T06:46:38Z","type":"item","id":"Q1935367","labels":{"en":{"language":"en","value":"On elementary equivalence in fuzzy predicate logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6136597"}},"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":"Q1935367$3D0F309C-D529-4D71-900F-2A9659046D23","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7660a908963d31a3e6dfded72ce31f1006f77982","datavalue":{"value":{"text":"On elementary equivalence in fuzzy predicate logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1935367$F76A4684-2427-4A35-816A-6E7C1D7D4914","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"42222dfdd0a33d50f080c46353fc9424365a9549","datavalue":{"value":"1295.03013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1935367$DAE165BF-BD7D-440F-8D4A-70BB778185FF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7b9a14fb8844d2ae2b5c70144e3e3ede7df9cb55","datavalue":{"value":{"entity-type":"item","numeric-id":167895,"id":"Q167895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1935367$C389F4F9-9973-47A5-82DF-EBDD66EE4E7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8580f05770d3cedcc20752d465da7674298288e6","datavalue":{"value":{"entity-type":"item","numeric-id":1577360,"id":"Q1577360"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1935367$5D9E0A27-5E1B-4857-BD91-C9FBD371B4BE","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a0a7cd28a9f85b9c6ad57bd5bb1ae477bfe37846","datavalue":{"value":{"entity-type":"item","numeric-id":114337,"id":"Q114337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1935367$4F55518F-DBC7-455C-AB20-A2CD0FF8865E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"025a6162cbc38481701c5fe66af357be9811074f","datavalue":{"value":{"time":"+2013-02-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1935367$EB16D6D6-AAC3-4BF0-BC70-24D98FDA0061","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0db4ce7bfaea78d64daf8409b42d228aebfa6bd2","datavalue":{"value":"http://ddd.uab.cat/record/153512","type":"string"},"datatype":"url"},"type":"statement","id":"Q1935367$1301CCF4-E7DD-431D-94B1-9DA254310C64","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"cc18975103e6fe6b3f3c316191e8515f38f3c1ee","datavalue":{"value":"This paper is a contribution to the model theory of fuzzy logic, building upon some previous work by \\textit{P. H\u00e1jek} and \\textit{P. Cintula} [J. Symb. Log. 71, No. 3, 863--880 (2006; Zbl 1111.03030)] where the basics of a theory of elementary equivalence for fuzzy predicate logics were developed. In particular, H\u00e1jek and Cintula had proved that in core fuzzy logics, a theory \\(T'\\) is a conservative extension of a theory \\(T\\) iff every exhaustive model of \\(T\\) can be elementarily one-to-one mapped into some model of \\(T'\\), and conjectured that the result continues to hold when ``exhaustive model'' is replaced by ``arbitrary model''. In this paper, the authors provide a counterexample to this conjecture. Other notable results in this article include a characterisation of elementary equivalence between models of fuzzy predicate logics that uses elementary mappings, as well as an investigation of the properties of elementary extensions in witnessed and quasi-witnessed theories.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1935367$63E3B4C4-B1A6-406E-85E5-469ADCC61320","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0ad6448c9e3f2394361827e5c2d117e48dc71794","datavalue":{"value":"03B52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1935367$5FF19805-DA73-46D7-B13F-73526DEF29E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"abca938afd309309893053e8ee4f51374fed9de6","datavalue":{"value":"03C07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1935367$CAEA9632-D3E9-4BC8-9730-D6FA612642A9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4fb51d1b2df7a9b2f0f43294ead220d37a7ad48d","datavalue":{"value":"6136597","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1935367$A4C96272-2EFF-4760-A320-443C7DDE890A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"06aca432496264a4189a9a8b528e128b9e01a6fd","datavalue":{"value":"mathematical logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1935367$CF5CEADB-42F3-4F2F-A230-5A4A6AE61FA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bf07c49ba2b347441ded94239358b7faa6b16d16","datavalue":{"value":"model theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q1935367$18A86F8F-2802-49D9-B3A6-8B414936DBB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e377df56724d5bf017723d665a0cd746c182c3b8","datavalue":{"value":"fuzzy predicate logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1935367$3FFB29BD-F228-4D98-A659-24C0BE135880","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"922f84d5f21101c2986250d8ddc9299406910338","datavalue":{"value":"elementary extensions","type":"string"},"datatype":"string"},"type":"statement","id":"Q1935367$D9E8B97F-CE40-4AC3-A46B-61E972AFA8A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d949ba782f8f0890abeea85d55055107f3b5727c","datavalue":{"value":"witnessed models","type":"string"},"datatype":"string"},"type":"statement","id":"Q1935367$19629243-E9AF-4373-8093-7321EC59CEBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"38dee4153892f5c6badfa13372db113c56658ad3","datavalue":{"value":"quasi-witnessed models","type":"string"},"datatype":"string"},"type":"statement","id":"Q1935367$FC34635E-47B3-4DCD-92AA-31C2087CBA87","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":"Q1935367$CB70DEE8-8DA8-4A34-82DD-45EC899CCE81","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8f37d4c795fcd2baa89b2055d6d3aa192b0e0ffa","datavalue":{"value":"W1988776462","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1935367$DA4EAB4A-9936-4F79-98FB-FA781385BF00","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac5861c62396208c25b39d129257f274dcac62d0","datavalue":{"value":{"entity-type":"item","numeric-id":5312888,"id":"Q5312888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1935367$15AFA6DD-2B45-4F75-BFB8-B5B42C8CE4A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a6ac5e4d9153d1f1b8c60443ac6ff499490c0a2","datavalue":{"value":{"entity-type":"item","numeric-id":634776,"id":"Q634776"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1935367$7BAE9CBD-3D46-4050-8CCC-3440F1ACF580","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0c859dc9bc5c44c673f4132f2e7bef4d53162ec9","datavalue":{"value":{"entity-type":"item","numeric-id":1188602,"id":"Q1188602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1935367$AFD3CFE8-6289-45F1-BEB1-6FA07E9DE9DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ba837f14bc26e3d159eb9fd5d913b2d3d208c52","datavalue":{"value":{"entity-type":"item","numeric-id":2576602,"id":"Q2576602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1935367$3958CC39-9153-45F3-B537-C80B9E6A38B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ea01e61393c3869ed5a175e65459436e5e3d743","datavalue":{"value":{"entity-type":"item","numeric-id":2270233,"id":"Q2270233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1935367$06122C81-9EBE-48B9-B00C-A2DB622C32B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0fb17c3ec23f7db1652717b13437eb3142a54285","datavalue":{"value":{"entity-type":"item","numeric-id":1024552,"id":"Q1024552"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1935367$81559305-375A-45A2-91F0-661D45529FAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"89d1f8876a0e638b43f8b67431189b148d6a3209","datavalue":{"value":{"entity-type":"item","numeric-id":4902311,"id":"Q4902311"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1935367$143548F0-86EF-4C2D-BA18-9AB31EF168ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b7c171f65fabb967aea69ce1ea18c61e62a3326d","datavalue":{"value":{"entity-type":"item","numeric-id":3708016,"id":"Q3708016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1935367$527FAD2A-F61B-419C-B62F-55935B8714BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b21a46b53e0bc48233db6f19f8a64be4194c859","datavalue":{"value":{"entity-type":"item","numeric-id":1349199,"id":"Q1349199"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1935367$8E6DC37E-251F-44A3-B16F-BB54D4A227FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"314723cd3c2623205e1c94c241193326b50b1f30","datavalue":{"value":{"entity-type":"item","numeric-id":2386237,"id":"Q2386237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1935367$9DEBFC72-EE5C-465D-A0FC-B2E0A749FD98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"14921defd46fbd9f5f404edaa10f9e15e700499c","datavalue":{"value":{"entity-type":"item","numeric-id":3423151,"id":"Q3423151"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1935367$2AE645C7-F7FC-496E-8C95-49E1BF222C25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e84496959a45674ef8e3240822db457271f9b870","datavalue":{"value":{"entity-type":"item","numeric-id":5434204,"id":"Q5434204"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1935367$AEFE23C0-7535-41B1-A3E4-8E6F02349D97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8be0f7c81004227114f5bee606cc547dbf0099bc","datavalue":{"value":{"entity-type":"item","numeric-id":3410679,"id":"Q3410679"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1935367$86F248AC-22CE-47AB-884B-882CBB529024","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a2f10c330d752e5090a2fd7c32459045a9353cac","datavalue":{"value":{"entity-type":"item","numeric-id":1604791,"id":"Q1604791"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1935367$CC690FE9-7D03-4697-8B80-BA8F285E5131","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a0d510ff764cfcf3020f9dc2837c771a01579fc","datavalue":{"value":{"entity-type":"item","numeric-id":884950,"id":"Q884950"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1935367$CD0271C9-17F7-4B83-A23F-D5F6DF541539","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2148f50f0a03a5c567ae2ae43602409775e953e8","datavalue":{"value":{"entity-type":"item","numeric-id":2498905,"id":"Q2498905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1935367$3CA14F12-77CC-45AC-8848-CCAC637725F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a54b9e308c7141029e5e3f531ea2cf0f5ed21631","datavalue":{"value":{"entity-type":"item","numeric-id":1214924,"id":"Q1214924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1935367$181A7649-8473-435E-91C2-4DC3984FFAA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98782dca1b1c9d3479c56bc90f4cd51924e8bc96","datavalue":{"value":{"entity-type":"item","numeric-id":5734410,"id":"Q5734410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1935367$2AB69D33-A47D-4BD5-987D-50FF1CEAF82E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e7fd7647055319cad40b5953cf3bfe9f87332e7f","datavalue":{"value":{"entity-type":"item","numeric-id":5761282,"id":"Q5761282"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1935367$414EEB97-7796-474E-8CC4-4686AD352281","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9fedee4387bd72c28c4564ba8c0f4992a7d9ef85","datavalue":{"value":{"entity-type":"item","numeric-id":3265664,"id":"Q3265664"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1935367$20C4FF8A-02D7-4C2D-B15B-CB4ADDE7E3FB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"44b09fc505d40078308ba34d3344c62656d9efb7","datavalue":{"value":"10.1007/S00153-012-0303-X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1935367$CB847BB0-9219-412D-8389-7A6F8DCCF0A7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1888c651b7faadb1ca2a576fca8237d7c2a093a8","datavalue":{"value":{"entity-type":"item","numeric-id":3410679,"id":"Q3410679"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e2579d9977386e9b53e26252e5ee246626d715be","datavalue":{"value":{"amount":"+0.7873570919036865","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":"Q1935367$72E9D29B-CF54-420E-A8BD-59D2C76D551D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9a4b3db77cc03689646c4bf77df5d1bfa0875f33","datavalue":{"value":{"entity-type":"item","numeric-id":695272,"id":"Q695272"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"61169492ad511f45d3877905e392317775df19dc","datavalue":{"value":{"amount":"+0.7827784419059753","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":"Q1935367$8A2798F5-BDB0-4D3D-BD3F-CA7E6F391EC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ebe5d538ae064cb8473829a4bdef9b7550333a92","datavalue":{"value":{"entity-type":"item","numeric-id":5476582,"id":"Q5476582"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e8df2e84b5ab2f0f85d55a56631835e5394e0881","datavalue":{"value":{"amount":"+0.7592841386795044","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":"Q1935367$50B8A3A0-1C85-4187-8721-FA848565C894","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6d55b409ee1ccca1567fd63ce3ccb9ddf70f7900","datavalue":{"value":{"entity-type":"item","numeric-id":1795203,"id":"Q1795203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bd5dcadca2d3bee63f2e455a02934b271e038184","datavalue":{"value":{"amount":"+0.7586340308189392","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":"Q1935367$F3685AF5-0C7B-472D-ADEB-D8596B6C6E45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b210bfd31ca6143f39eb6046bd24079c39072adb","datavalue":{"value":{"entity-type":"item","numeric-id":4902311,"id":"Q4902311"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0952698e8a4ebe8c5c0efd680b4f81d961672dcd","datavalue":{"value":{"amount":"+0.7515901923179626","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":"Q1935367$3833EA93-09A2-4FD8-87E9-826FCEB35118","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1935367","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1935367"}}}}}