{"entities":{"Q2903759":{"pageid":2914484,"ns":120,"title":"Item:Q2903759","lastrevid":84988391,"modified":"2026-06-03T05:27:14Z","type":"item","id":"Q2903759","labels":{"en":{"language":"en","value":"Compactness in first order \u0141ukasiewicz logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6062916"}},"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":"Q2903759$CD3FB1DD-AD5A-444B-8932-ECC95D5F42DC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d1c2b3addb9fa01bff7b5f24db598ff216ba3317","datavalue":{"value":"1254.03048","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2903759$FFA00766-353B-416F-90CF-C26C0B612410","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"88fc52f7ff11d7876f7a1b3a0d8899b7968b0a9a","datavalue":{"value":{"time":"+2012-08-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2903759$37951D18-638D-49A6-93A0-AD019060DFF0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf715f882d7ad0c07303aa3e6e3ac3725da52515","datavalue":{"value":"03B50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2903759$0A9A5FC9-8380-48A2-8B41-FA5360344CDD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"66043b3f07818f2eabc04abd7c83782be3759af4","datavalue":{"value":"6062916","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2903759$0476B3E4-006D-4A72-BE5A-835D305250CC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ffdd825c0c981650a40f890273e79382627030b","datavalue":{"value":"\u0141ukasiewicz logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2903759$9E0E39E5-3C53-4125-909E-7D60C332D24F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"85129f33cc10f1ca265a9b0a60287f499304fbd4","datavalue":{"value":"ultraproduct method","type":"string"},"datatype":"string"},"type":"statement","id":"Q2903759$AB3D3C54-82BF-4A05-AD7A-AE001ACBCD93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0a2a96d016586cb198f7d32c0e864c0a301f3790","datavalue":{"value":"continuous logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2903759$AC5FCB6C-6D72-408A-AE2A-9D26ABCBABED","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":"Q2903759$38F14C96-51E4-4F4F-9F11-5DD00841FF2E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"54b76c557499dd358a0b7199f4eb8eb955639001","datavalue":{"value":"https://doi.org/10.1093/jigpal/jzr034","type":"string"},"datatype":"url"},"type":"statement","id":"Q2903759$4DAF5DB1-21B7-470C-ADD9-EADBDB3FABB2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6f294478d9c8fa54cedca0c74192aada7a540772","datavalue":{"value":"W2145523140","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2903759$11909A9C-E97E-4346-BB39-FC3A59A62202","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e985ca1d092313f8c1d0e599dec90d65255b84c9","datavalue":{"value":"10.1093/JIGPAL/JZR034","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2903759$BBE1FFD7-DFBE-4C2B-8B4C-9205AF51B4A0","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2322a21df36f02b2b9c16a6174c764d5fc949009","datavalue":{"value":{"entity-type":"item","numeric-id":3061274,"id":"Q3061274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2903759$33F8DF13-BD3C-4A2B-9686-E265910CAB74","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e65c296f40f50f587197f27369de0546ad442af0","datavalue":{"value":{"text":"Compactness in first order \u0141ukasiewicz logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2903759$9A6C171D-1575-4AB6-9C4F-690226CECB99","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"90b33ac0fe73185b23c1eb90f6d19ba9b344878a","datavalue":{"value":{"entity-type":"item","numeric-id":5163984,"id":"Q5163984"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2903759$ED8CFC89-2D77-41B2-AF9F-D87852AD7187","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7097034c0cf0558505ca039b4a3181acf067c5bf","datavalue":{"value":{"entity-type":"item","numeric-id":506975,"id":"Q506975"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2903759$F4EB5795-2FB9-45B4-9867-3A029A851E77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cd3f20305c2695fc3dc535025d0aba2311d0e1e8","datavalue":{"value":{"entity-type":"item","numeric-id":501658,"id":"Q501658"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2903759$F1F0F336-CFFA-47B2-B270-200A39178F6F","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"88a0df4bb8197615c28f9d72ac0976f5c18070de","datavalue":{"value":"There are different non-equivalent ways to approach first-order \u0141ukasiewicz logic. In this paper the authors focus on a first-order logic in which the formulas are interpreted in the interval \\([0,1]\\) and the equality axioms are interpreted by a similarity relation (with respect to \u0141ukasiewicz t-norm). This logic is not complete, there are true formulas that are not provable; see [\\textit{B. Scarpellini}, ``Die Nichtaxiomatisierbarkeit des unendlichwertigen Pr\u00e4dikatenkalk\u00fcls von \u0141ukasiewicz'', J. Symb. Log. 27, 159--170 (1963; Zbl 0112.24503)]. The authors prove, using the ultraproduct construction, that for this logic the compactness theorem holds: if a set of formulas is such that each of its finite subsets is \\(K\\)-satisfiable (there is an evaluation assigning to each formula a truth value in \\(K\\)) then the set itself is \\(K\\)-satisfiable. A comment on the relationship of this result with the incompleteness of the logic would have been appropriate.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2903759$8AABF449-065A-4D3A-A16F-E24D8392F28E","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"a2a70f0f285d20f2fec0c316c192a882e68b3933","datavalue":{"value":{"entity-type":"item","numeric-id":591007,"id":"Q591007"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2903759$7721CDA5-F6F1-4449-A8EA-9D5D4422CA2A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d42329bfa3fb5108d42d45b0bb2768c246d15c7b","datavalue":{"value":{"entity-type":"item","numeric-id":5300578,"id":"Q5300578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b792cb7dbabf09fd983be970eb037c696bdf19cf","datavalue":{"value":{"amount":"+0.7965173721313477","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":"Q2903759$AA591E60-89C7-40E8-B58F-4990B1BE72EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2e1a3418a25648c3bdf8a6de5ea25fdb92f627a5","datavalue":{"value":{"entity-type":"item","numeric-id":3006601,"id":"Q3006601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8861eff545fd28d6c0e04b89e524897f66490e36","datavalue":{"value":{"amount":"+0.7876431941986084","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":"Q2903759$7E4D9B9A-5317-4646-B0F4-E8E760E29082","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"110d4476b4a6466c403631f7876d07202671a228","datavalue":{"value":{"entity-type":"item","numeric-id":1428674,"id":"Q1428674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"44949c92d53d6fd11c209a3daf70bade4cfcdba1","datavalue":{"value":{"amount":"+0.7723448276519775","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":"Q2903759$3EA7E81B-10F6-45DA-9260-6B76D5553E3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d65d29f6b9b9e63d62e47d12d8e3965e505eb0d9","datavalue":{"value":{"entity-type":"item","numeric-id":2805906,"id":"Q2805906"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b8d05830c40e14aaafb23bef10e9d2b8efea8400","datavalue":{"value":{"amount":"+0.7721178531646729","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":"Q2903759$BDB5780A-4F6F-40CD-B545-365F9A2CF134","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eb2270f0809856f99995c5fa9ce2ec216ef028c3","datavalue":{"value":{"entity-type":"item","numeric-id":817682,"id":"Q817682"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"71df551a6a2ed3fab1d1ba7ae6941e24ec006fde","datavalue":{"value":{"amount":"+0.7583446502685547","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":"Q2903759$E2CEB599-51CF-4B5A-AB00-BF850FBE7642","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Compactness in first order \u0141ukasiewicz logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Compactness_in_first_order_%C5%81ukasiewicz_logic"}}}}}