{"entities":{"Q2702739":{"pageid":2713484,"ns":120,"title":"Item:Q2702739","lastrevid":82712618,"modified":"2026-05-06T21:44:07Z","type":"item","id":"Q2702739","labels":{"en":{"language":"en","value":"Undefinability vs. definability of satisfaction and truth"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1575140"}},"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":"Q2702739$C24EC904-EA3C-4E77-9777-C5BCE23902E2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3f901ae56b822d6bbe7e7ba3cea574bbf2293612","datavalue":{"value":"0971.03006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2702739$8005D946-CBD6-4D91-8ECC-23B2478D692F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"73b7c12287831deb20860a79625a376a1d2f442d","datavalue":{"value":{"entity-type":"item","numeric-id":588140,"id":"Q588140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2702739$9DF8D365-796F-4FD2-97A0-4196F048168D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9c942329286f61912919b34bd0734f5ee78c9108","datavalue":{"value":{"time":"+2001-10-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2702739$A71CCDE5-7CB7-48AB-AB79-AAF5EC2C1C84","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"48a2830216eefdc24b89ba9895c8f20366f6740d","datavalue":{"value":"03A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2702739$A980FA70-1BCB-475E-AA6D-65FD23844174","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2702739$F5720A53-90A7-4F01-8580-604DA9D70F06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4cb4544bfd0397cd4a315ee326499c372f013de5","datavalue":{"value":"03F35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2702739$18C19756-4222-4183-9975-1072132E9703","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8e8b813c173c863155cad5b0f9a505b333aa32a9","datavalue":{"value":"1575140","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2702739$F8D025E5-CC1C-401B-8A83-14452B69BC77","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f54df0c77a76dbd6e9f35e0151e03916fbc5d966","datavalue":{"value":"undefinability","type":"string"},"datatype":"string"},"type":"statement","id":"Q2702739$3A0E9727-33EC-4B53-976D-C667BC002186","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a2ac3f30d773ef1894fb2eb52711e135b17d0158","datavalue":{"value":"definability","type":"string"},"datatype":"string"},"type":"statement","id":"Q2702739$C0B3F61C-69BC-4CB1-BA2C-358284F9023F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9356f7d1597ca1770e6570130c6b18ff4c13da06","datavalue":{"value":"satisfaction","type":"string"},"datatype":"string"},"type":"statement","id":"Q2702739$63D0DAF3-EEDB-48E6-8782-227E9000B5C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d76ec4c3ca5ea2786bb74ab23a71c3207f2b5eb0","datavalue":{"value":"truth","type":"string"},"datatype":"string"},"type":"statement","id":"Q2702739$0DBE5AF3-42DA-4E8F-ACCB-BBEFA0DC7C5E","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":"Q2702739$0050C6FC-0607-437D-8359-6DF6D9D632CC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a3d9cf8c827918397a6e5e267c5c52c058e9e32f","datavalue":{"value":{"text":"Undefinability vs. definability of satisfaction and truth","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2702739$81476CC8-EEAD-4D71-8FC2-22990F3691B3","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"a23e0bd215d2081acb010486428b3523b3cd5b03","datavalue":{"value":"Undoubtedly, Tarski's theorem on the undefinability of truth is one of the main theorems obtained in logic in the last century. The paper starts with the original formulation of Tarski's theorem including studying the various meanings of the notion of a satisfaction predicate. The problem of definability of the notion of truth, in particular of the notion of truth for the language of Peano arithmetic, is discussed. The author shows that the notion of satisfaction (and truth) for the language of Peano arithmetic can be appropriately defined in a certain weak fragment of second order arithmetic.NEWLINENEWLINEFor the entire collection see [Zbl 0948.00030].","type":"string"},"datatype":"string"},"type":"statement","id":"Q2702739$9017E3FF-AA2B-4D9C-A33E-0A1FCE8D19B3","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"2b87c2901b1d9462aa6fffa26502c8ee861836b0","datavalue":{"value":{"entity-type":"item","numeric-id":1062052,"id":"Q1062052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2702739$B9E744BD-7E7E-494A-8F5D-897D880FE129","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"26aa2eaf366be2fefedaa2d281c46148ac61abec","datavalue":{"value":{"entity-type":"item","numeric-id":598273,"id":"Q598273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"27c4d9febc4a2584c37f217660f03e69d9f4b1ff","datavalue":{"value":{"amount":"+0.883094","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":"Q2702739$770E1FC8-0BAD-469D-BCA3-10D5A552464D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e3d8f7e32af1e8a5db38097a7eb0c2108d2f53f4","datavalue":{"value":{"entity-type":"item","numeric-id":2757968,"id":"Q2757968"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f5b4f235621c18b76cacd0f5df90cd92d78cd759","datavalue":{"value":{"amount":"+0.8546783","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":"Q2702739$D7828109-06A3-42E3-82D6-59211E20F0AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7ff6fb25c855961d9de66c4fb991f9050e07af76","datavalue":{"value":{"entity-type":"item","numeric-id":3140386,"id":"Q3140386"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6d11391ae86aa0086b0986e938b89cca689924e9","datavalue":{"value":{"amount":"+0.85358864","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":"Q2702739$99E3F45E-A583-45CD-A298-72FBF6B75623","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3da9bdaf36c6b7b3ca2ec3a26f80a7adc6bb7ca7","datavalue":{"value":{"entity-type":"item","numeric-id":4224762,"id":"Q4224762"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4c0e41166cdda18e475d4cbca9ae9c07d78dc423","datavalue":{"value":{"amount":"+0.84187984","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":"Q2702739$581C837B-863A-43E6-979E-C0A02A3BC22B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"77e9983cde288176f42760a05b7a49c754e5379f","datavalue":{"value":{"entity-type":"item","numeric-id":4942682,"id":"Q4942682"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f4f27a88311b6717d6556bf103b0e7c035bbdd1c","datavalue":{"value":{"amount":"+0.841343","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":"Q2702739$D74EE1B2-14DA-4437-8C08-2047547775CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"afd9171c237f5e32c8c2ebad4d9358fbb1a697b6","datavalue":{"value":{"entity-type":"item","numeric-id":598263,"id":"Q598263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f411447bf7c0806a48f72454d835be1c0ee2d04d","datavalue":{"value":{"amount":"+0.83845747","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":"Q2702739$389FE2E3-F042-4FB1-8A32-65A9DE3BB62D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1166d3d1805463f3d81d6beda419271f169902fa","datavalue":{"value":{"entity-type":"item","numeric-id":5928923,"id":"Q5928923"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4fd3ebd81eb9653daacd1f5bb5fa1eb046e20d37","datavalue":{"value":{"amount":"+0.8374066","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":"Q2702739$9A640278-5826-42C2-8CF8-A482D37BD664","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"20c7cb396179fc245d6dd7e5bd3cf4f2677bf12d","datavalue":{"value":{"entity-type":"item","numeric-id":3703869,"id":"Q3703869"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3db13fd008c57e19e0ade9c9907383af4242cf97","datavalue":{"value":{"amount":"+0.8326504","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":"Q2702739$586794C8-DCDA-4C6B-99C5-B96675CAD11E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"43a167bc8564c62e1e019c82a47ec3d0b09e56ec","datavalue":{"value":{"entity-type":"item","numeric-id":3163660,"id":"Q3163660"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"05dde8407cac50c21037332db711353cf17bbeee","datavalue":{"value":{"amount":"+0.8323742","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":"Q2702739$0B3EACD6-FD2D-48C0-BD49-F282AC8CE6F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8c920f8a75ead3c5779c0fa43578b6366384b1b3","datavalue":{"value":{"entity-type":"item","numeric-id":4699347,"id":"Q4699347"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"01dec6fd9e8df398d88a4e0335a6c317e82b1129","datavalue":{"value":{"amount":"+0.8295872","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":"Q2702739$E28A9562-5DDD-4A80-917D-9DA34EF28A82","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Undefinability vs. definability of satisfaction and truth","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Undefinability_vs._definability_of_satisfaction_and_truth"}}}}}