{"entities":{"Q2220488":{"pageid":2231231,"ns":120,"title":"Item:Q2220488","lastrevid":53914619,"modified":"2026-01-25T22:27:45Z","type":"item","id":"Q2220488","labels":{"en":{"language":"en","value":"Lindstr\u00f6m theorems in graded model theory"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7300477"}},"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":"Q2220488$34D2443A-274E-4DD4-A4C9-4C45AFAEB793","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6994bdd352429df99c4186a5675e4fd6f8549c45","datavalue":{"value":{"text":"Lindstr\u00f6m theorems in graded model theory","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2220488$7363EA8E-5C5D-464B-96E0-AFFAF71D6F3B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"42b1041ba8f5005efa707f8a2eaa62c8625af6c2","datavalue":{"value":{"entity-type":"item","numeric-id":332083,"id":"Q332083"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2220488$ABD8F1FF-4988-450D-A179-82C48B34A710","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fbd9eb0af194aad6887db9ada71123c181f0c126","datavalue":{"value":{"entity-type":"item","numeric-id":283092,"id":"Q283092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2220488$3E17E38B-FE0F-4037-9E5B-268DEBC0A693","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f91a4bcbc93435aed71775d25a4c5cd09e26f12d","datavalue":{"value":{"entity-type":"item","numeric-id":122505,"id":"Q122505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2220488$1B03A4C9-FF95-49CA-A43F-60C6748A02E8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c0827198be489c99d5ba6559ec16692e838cc43b","datavalue":{"value":{"time":"+2021-01-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2220488$FDE67FF7-3866-45E7-B621-832C38C635FA","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"d34cedb309d409ed6127793b35d6dbce26d19648","datavalue":{"value":"In this paper, the authors try to resume the idea of a graded model theory for mathematical fuzzy logic (MFL), briefly attempted by \\textit{P. H\u00e1jek} [Fuzzy logic and Lindstr\u00f6m's theorem. Technical Report No. 874. Prague: Institute of Computer Science (2002)], by showing that such a theory is possible at least under certain technical conditions. In particular, they show that necessary conditions for proving analogous of Lindstr\u00f6m theorems for MFLs are that the algebras of truth-values must be finite and have a truth-constant for each element of the algebra.  After an introductory section, in Section 2 the authors review the basic notions of graded model theory, introduce the definition of an abstract graded logic, give examples and present the key model-theoretic properties eventually involved in their main results. In Section 3, they show that the first-order logic based on an arbitrary fixed finite MTL-chain has all the desired properties discussed in the previous section. Then, in Section 4 they establish six Lindstr\u00f6m maximality theorems. As pointed out by the authors themselves in the concluding section, the results presented are interesting not only for MFL but also for classical first-order logic.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2220488$8CDC56A8-A861-4F2A-A2C8-9E5CA9E52A3E","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"751c2917b8494d19c5dfee1c7c9b5c6f659e54eb","datavalue":{"value":{"entity-type":"item","numeric-id":679838,"id":"Q679838"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2220488$A85EA816-B5F5-42E8-BF24-4EFC84930E0C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"3ade5fcd6cabec4fdda8e76313f50d1161a44465","datavalue":{"value":"03C95","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2220488$37AB0151-1996-495D-9922-A9FFF478B820","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0ad6448c9e3f2394361827e5c2d117e48dc71794","datavalue":{"value":"03B52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2220488$07996945-0E95-4F09-84C0-7BE1F8A843DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf715f882d7ad0c07303aa3e6e3ac3725da52515","datavalue":{"value":"03B50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2220488$2A59DC7D-15A4-435E-9917-BC3DC2004357","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed0e9d16aabdfc4de2754948a872b6ceb30bba56","datavalue":{"value":"03C90","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2220488$22F7EC8B-8E98-44C7-82E3-65D97E823C4D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d932b5676f7f27009a92d155b70c7e6887f57186","datavalue":{"value":"7300477","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2220488$54F08A66-A60F-4CFD-AC1D-1309855134F8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"901a821e2519110c0eb60c28368a6e4cd9f0c39d","datavalue":{"value":"mathematical fuzzy logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2220488$7D64FB20-96A3-466A-A866-23BF83FAE2B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3114c8e2d0e26c2dc056ff6cf4eed5d18dc13fe3","datavalue":{"value":"Lindstr\u00f6m theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q2220488$CFC7A3B2-AAD7-4472-BC85-D910805AD017","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d23514bd03f6103866da5ab5a95c4b6d980fae6c","datavalue":{"value":"abstract model theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q2220488$0B823454-C6C0-4993-959D-1FDA10F752C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3fb70f7ff66d175f98c4efe0077c0dd6f2ad0a6d","datavalue":{"value":"many-valued predicate logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2220488$744A2E80-77A1-4878-8090-B6D7CC7A31DC","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":"Q2220488$8ADA605A-7401-43B7-87D8-6B96BAB1CD33","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e20827f67a23332fc56c166875fb6ae01b885dd1","datavalue":{"value":"https://doi.org/10.1016/j.apal.2020.102916","type":"string"},"datatype":"url"},"type":"statement","id":"Q2220488$7F3BDFCB-F594-4813-AAE3-B09F1589213B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8755e87a454d31d03929b5b116d06784bf4a7ec0","datavalue":{"value":"W3097845976","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2220488$C586C61A-E673-45E3-81F8-F66DD8ACC350","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"57a676176ff781aba38f7d660f9e5ee07e2d1a53","datavalue":{"value":{"entity-type":"item","numeric-id":1643146,"id":"Q1643146"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2220488$97BA1EEE-0522-494E-9E77-05F7BF6E13FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0418db2a17e17540d7ec5b1ed6ba7697b3ad72d6","datavalue":{"value":{"entity-type":"item","numeric-id":2317508,"id":"Q2317508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2220488$6F65ABF0-0A3A-4C90-94F4-D2E8C568BA8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1152d39bd65de6cf49d945a10e115d1dd1c5e26","datavalue":{"value":{"entity-type":"item","numeric-id":4087162,"id":"Q4087162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2220488$CC82CC50-555E-4B75-90BB-1C86B9FE1082","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"42ffd914fb40fd415cd6457781b1a74ab632c8ce","datavalue":{"value":{"entity-type":"item","numeric-id":3714044,"id":"Q3714044"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2220488$E6680FB4-7CB4-4765-963A-0B603D4F913C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"02b64ff07ad260f2cd12b21a68bfec62692cb872","datavalue":{"value":{"entity-type":"item","numeric-id":897476,"id":"Q897476"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2220488$C8BB76C7-C378-4D1B-A33F-FE72D28C5E7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4e8f6f0c8b0a0411c29264e10a5e6012dcf9e24c","datavalue":{"value":{"entity-type":"item","numeric-id":2442152,"id":"Q2442152"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2220488$674B6C81-3D74-4CBA-BADC-37B80C613F1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d0c9c54f14f787f70785a2d58375ca21d25ce68","datavalue":{"value":{"entity-type":"item","numeric-id":2871197,"id":"Q2871197"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2220488$3E334499-3F4B-4F20-9649-1E8BD66B0E3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df8a0add2ae226bd078b2e0b70ee523ce1e4a54a","datavalue":{"value":{"entity-type":"item","numeric-id":4644543,"id":"Q4644543"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2220488$4D187D0C-627E-49CB-AD9C-0A94721D8D9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb4e8f406f20c5925851cb62354070dde71d941c","datavalue":{"value":{"entity-type":"item","numeric-id":1795203,"id":"Q1795203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2220488$D4A4518F-1D26-4904-A865-E1C81C4CD7BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"95766a8ec8ce1a97dfd392ae9bd9ad8f693156a8","datavalue":{"value":{"entity-type":"item","numeric-id":5172131,"id":"Q5172131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2220488$4B695E3A-36D3-426C-B307-AA050F8F5553","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f9e4c47a5d7cb1756d2a49813e985aac44e0582","datavalue":{"value":{"entity-type":"item","numeric-id":5876123,"id":"Q5876123"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2220488$B538BABC-278D-4E27-9A90-DD5B17B416CD","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":"Q2220488$780E4BDF-EE2B-442F-AC1E-771709647CC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"40daafc3125ddc33e77b388aec7c84b0b64ca289","datavalue":{"value":{"entity-type":"item","numeric-id":2380337,"id":"Q2380337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2220488$A6FEA61E-4C26-4D85-B281-D898BC88C99F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"980230b2294bd800457d154623346224506ae10b","datavalue":{"value":{"entity-type":"item","numeric-id":4049058,"id":"Q4049058"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2220488$D93B73B1-BF50-4B99-ACA8-D51E281A6C13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5218a24130b4aa5afd6bc029ad837bf70fcffa44","datavalue":{"value":{"entity-type":"item","numeric-id":4109641,"id":"Q4109641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2220488$2EDC75E9-79DE-4901-BA49-2C065B773931","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e9edfb079fa39158f629aa59c382bdc3b0fa532d","datavalue":{"value":{"entity-type":"item","numeric-id":3984397,"id":"Q3984397"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2220488$D6337C21-F1E1-4B1C-823E-263B137489E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d1739c2b55475dfd43cc45c16cc81ebdb6214ea","datavalue":{"value":{"entity-type":"item","numeric-id":2547549,"id":"Q2547549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2220488$E2346DC2-4252-42BF-A14E-60416BEDCFC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e7cb28752dc35f8a23290bf55748c21263637b4c","datavalue":{"value":{"entity-type":"item","numeric-id":5606559,"id":"Q5606559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2220488$563FBEED-85D2-40B5-9057-A1216F24B6B0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"90030262204484c44231fc9224c3bb17f6f0e4fe","datavalue":{"value":"10.1016/J.APAL.2020.102916","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2220488$AD51EFA2-D9EE-435D-9DFD-8678E848896C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8a2409a040f80dc645b66ae6ce44b3058410ac7c","datavalue":{"value":{"entity-type":"item","numeric-id":2219166,"id":"Q2219166"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6c34dc271d6093443ec03cac2d34a812b4ea8aaa","datavalue":{"value":{"amount":"+0.7780752182006836","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":"Q2220488$9B4831CE-8B0F-42B4-9806-7ABB102E7E1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b51364195bde17eccc5a5a81a56c3a8b8514939c","datavalue":{"value":{"entity-type":"item","numeric-id":3395097,"id":"Q3395097"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8f00293cf452b9732d10d3f686fe86a3acbd004d","datavalue":{"value":{"amount":"+0.7668207287788391","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":"Q2220488$10617C42-758D-406B-8E0E-9C78E7E45D10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4f7ace6ef47736e664be252f70d8dfa0657e1407","datavalue":{"value":{"entity-type":"item","numeric-id":3708788,"id":"Q3708788"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ac0a8a5b81e353ba4863e6007c74608886e99860","datavalue":{"value":{"amount":"+0.7613205313682556","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":"Q2220488$91E1EF3B-EEDF-4525-9AE9-33B587F85860","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fde8b7e2e43d417be50894abced5716dd972d027","datavalue":{"value":{"entity-type":"item","numeric-id":2317508,"id":"Q2317508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5d2ce54e25bbcae8eb28560be77d8d2c23c3cefb","datavalue":{"value":{"amount":"+0.7592306733131409","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":"Q2220488$02E74FC5-AAC5-4345-829B-53DA131350F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7b836e82de88efc4468a5f8afad319aa106616b4","datavalue":{"value":{"entity-type":"item","numeric-id":4678933,"id":"Q4678933"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"112c06b59fef12a3143225ee2e1f7d9a5ca783c7","datavalue":{"value":{"amount":"+0.7437564730644226","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":"Q2220488$93B93B3E-C876-4A71-A4BD-89F20118F236","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2220488","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2220488"}}}}}