{"entities":{"Q598273":{"pageid":600049,"ns":120,"title":"Item:Q598273","lastrevid":48307939,"modified":"2026-01-04T07:57:11Z","type":"item","id":"Q598273","labels":{"en":{"language":"en","value":"Undefinability of truth and nonstandard models"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2083175"}},"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":"Q598273$5F69D07C-71BD-4409-90F3-96E99C7D27D6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9c66cb8b39e0c3f910d162346b4eea7c018b8a31","datavalue":{"value":{"text":"Undefinability of truth and nonstandard models","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q598273$33B25292-8886-4C48-81BB-4B0DEF05BB8B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4751da9c4544e5693fa5cba98ac8f6aa5e62071c","datavalue":{"value":"1063.03021","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q598273$411844AA-0B17-4D07-8FD4-B7DEE7CABED4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2b670107d49e5cfb9b0abb2ab2d53889e002f633","datavalue":{"value":{"entity-type":"item","numeric-id":384285,"id":"Q384285"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q598273$8AABB15D-DFAB-4392-A785-FF5FF6B35DAB","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":"Q598273$AF89EF9F-4668-447B-B714-C53F73014F58","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"fdf3003d3f6dc4bd36d0ddd91ae69d1d9d4864ff","datavalue":{"value":{"time":"+2004-08-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q598273$D3CFD423-F92B-4AB2-B56C-FCD20EA235DB","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"6993ba1a1ae6c3237077a59a4a4596f1e4fa3016","datavalue":{"value":"Let \\(\\mathbb N=(\\omega,+,\\times,<,0,1)\\) be the standard model of Peano Arithmetic (PA). Tarski's theorem on the undefinability of truth claims that the set TA \\(=\\{\\phi: \\mathbb N \\models \\phi\\}\\) is undefinable in \\(\\mathbb N\\). \\textit{A. Robinson} gave a model-theoretic proof of Tarski's theorem [Nagoya Math. J. 22, 83--117 (1963; Zbl 0166.26101)]. In the paper the author discusses Robinson's proof of Tarski's theorem and gives two other ``diagonal-free'' proofs. In Notre Dame J. Formal Logic 36, 519--530 (1995; Zbl 0848.03016), the author posed a problem about a possible converse to Tarski's theorem. In this paper he presents some arguments in favor of a negative answer to this question. Finally, the author poses another open problem: Is there an easy proof of Ehrenfeucht's lemma from Tarski's theorem?","type":"string"},"datatype":"string"},"type":"statement","id":"Q598273$B5F93E1F-3465-4105-8CB4-C178F6EAF644","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"dfc4c0e9541822f1ae859bea6a1986771beb7c00","datavalue":{"value":{"entity-type":"item","numeric-id":598272,"id":"Q598272"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q598273$D7F31021-4073-4421-B395-1DB1835CAC90","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"31eb4b2fe460225d8220386b6d12b964cafd1ca3","datavalue":{"value":"03C62","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q598273$BE8DDFFD-5CD6-43AA-834E-212A23C73B56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a22eb1f642cbb79777784e33676c61b720925aab","datavalue":{"value":"03H15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q598273$C388563E-209D-4E0C-8CD2-FF00E9AF6622","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q598273$BF72E3D2-6EEA-42B9-8C1C-86CEB4BBACB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0863e8f77401912a1f46a81052ba05901a6c171","datavalue":{"value":"11U10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q598273$56E68AB8-2BD1-424D-9E5C-D1D730D87C7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5f352a2408df8e92ddf06360f7762f5de4a17895","datavalue":{"value":"12L15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q598273$5B36E0F9-5C57-478E-AFD6-DD7129E69386","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"afde0e0ca03f0d85c56e3747e3b7af4db3351f95","datavalue":{"value":"2083175","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q598273$D41F4A1B-4772-425C-932D-C91284625CEB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4881b59035d29df92f521fb7f6c93516b972baeb","datavalue":{"value":"models of arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q598273$273DBBDF-7364-4EBE-8B8C-DEBAB8892A28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"62c2072bba077bb58d5aacd1826238beb07b5b12","datavalue":{"value":"undefinability of truth","type":"string"},"datatype":"string"},"type":"statement","id":"Q598273$7921620F-7CFB-4931-B6A2-7A66F5B78D07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"71ec59c5b1bb9e4cd77cc696b9efa6551305dac4","datavalue":{"value":"recursive saturation","type":"string"},"datatype":"string"},"type":"statement","id":"Q598273$8ED67D5F-BE3A-48E1-984A-07151DE6E8D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d7a9c19972e406f2ed34bca2a2a1f5a9eda39866","datavalue":{"value":"satisfaction classes","type":"string"},"datatype":"string"},"type":"statement","id":"Q598273$DC9355DB-60E4-4187-8523-EA06CF52CF4E","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":"Q598273$FD833B3C-FAB2-4355-A1D6-A6F774A8BE40","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"294896ba2e490f580f69ce77bcf993bfc14f9296","datavalue":{"value":"https://doi.org/10.1016/j.apal.2003.10.011","type":"string"},"datatype":"url"},"type":"statement","id":"Q598273$694419D8-55C4-4EB3-AAEC-208243782EA2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"71788abb8f002a82c65f46a7c2bfca8d530d1776","datavalue":{"value":"W2007908701","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q598273$D6CB2775-04E8-47B1-B317-E41ADE38A6BC","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"24177d07bda2aea0e54a0aadcf93649545df2249","datavalue":{"value":{"entity-type":"item","numeric-id":4404878,"id":"Q4404878"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q598273$0B8395F2-BABA-4D57-9FEC-B3CEE8C807B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"27e4af5b5876ff51622383a273f2390072da4ec7","datavalue":{"value":{"entity-type":"item","numeric-id":5338333,"id":"Q5338333"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q598273$6154852E-3C8F-42F4-8BF6-1D2616F40A62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7867921f8e5a18afc0a31efd699e0ad8e0353b01","datavalue":{"value":{"entity-type":"item","numeric-id":4132525,"id":"Q4132525"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q598273$FDF0A747-766C-4C04-9701-13AA0C6B4B4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d61a6cf12694497929f198cea019bbaef0853c26","datavalue":{"value":{"entity-type":"item","numeric-id":3659779,"id":"Q3659779"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q598273$37110927-72E8-40AC-B6F1-5529C9F9E8CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f7582fd80e39ed008bf24fa4aafb701a7bb57b50","datavalue":{"value":{"entity-type":"item","numeric-id":1913627,"id":"Q1913627"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q598273$D6B338C6-B524-4CE5-98BC-06AF02F106A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d2ffe0244ab35eaae4fc51f9808af241bc601a5","datavalue":{"value":{"entity-type":"item","numeric-id":1182707,"id":"Q1182707"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q598273$37CD0BF1-24B0-4BBB-BC17-7830A032F3D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"35e0d47923b2a2f389255e7e62cca04e46ab1480","datavalue":{"value":{"entity-type":"item","numeric-id":1182694,"id":"Q1182694"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q598273$EFC5B6B1-4F80-4D7B-8E9B-FB8612D0359E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6a8de7ea91f0234f6b8e7184cfc62830c9f425bf","datavalue":{"value":{"entity-type":"item","numeric-id":4224081,"id":"Q4224081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q598273$3AC90A0D-2480-4CD2-93AA-D46CC0344415","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d3f4f13509c05ca44b6aa78d129e88e614ae0100","datavalue":{"value":{"entity-type":"item","numeric-id":1307029,"id":"Q1307029"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q598273$EAAFE420-113D-4E42-A982-126F710DE904","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4a1313ed254efcde5f707e2ac2d8b471e576f7f","datavalue":{"value":{"entity-type":"item","numeric-id":5551148,"id":"Q5551148"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q598273$14431A3F-E2E6-4F3A-85C5-A15BFFA96A6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"27a40e05b704c1ccf9f115a01012a7d0a3c0c799","datavalue":{"value":{"entity-type":"item","numeric-id":3922684,"id":"Q3922684"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q598273$58BB16DF-5E3D-487F-A0A6-F5C4537A0B87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"57742c9df7a9fc158a556e7a8ae3837d0df80b57","datavalue":{"value":{"entity-type":"item","numeric-id":4041570,"id":"Q4041570"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q598273$EE09C80E-A53E-4A8A-A391-F947DD1F44D7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a1db15822d9b20b6882e9f4fc4d18829151f3586","datavalue":{"value":"10.1016/J.APAL.2003.10.011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q598273$523518A2-0339-4005-8F43-0028F3372453","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e3ef09aad04f597439b18135ca463d3c85377d18","datavalue":{"value":{"entity-type":"item","numeric-id":5092563,"id":"Q5092563"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8cbb0bc4ed9209e9a1e0a94e1043e6e87f51fbfb","datavalue":{"value":{"amount":"+0.8264669179916382","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":"Q598273$8F421673-C153-4B04-B96A-3F7EADE46E60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"89b4760e823d44e911b374efe46dc95c66d4c7e9","datavalue":{"value":{"entity-type":"item","numeric-id":4224081,"id":"Q4224081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"775536cbbed4480171259b9ba098b132180e0e4f","datavalue":{"value":{"amount":"+0.8064937591552734","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":"Q598273$9B86C616-D58B-48CA-BE25-CAA9296137A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a4aea483c6f127841a40ed70232a50d727e48740","datavalue":{"value":{"entity-type":"item","numeric-id":2702739,"id":"Q2702739"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"24dd0d7d5f9d7d2cf57840a76f00e8df4a5f91dc","datavalue":{"value":{"amount":"+0.7999448776245117","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":"Q598273$B0F8FBED-5934-45DA-8079-B69ED5C1ECC7","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":"fe296cc0edc3ddaa000f845fef2d30c92a25ab3d","datavalue":{"value":{"amount":"+0.7817202806472778","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":"Q598273$C053CB0C-18B0-438B-A784-7E466B94EB5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"13fe6ee2b1ce2f33767a93cbe3adbd2fd8fc78ce","datavalue":{"value":{"entity-type":"item","numeric-id":1084389,"id":"Q1084389"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8967a5a2389c6c24a59f1672e24f7528cf529ad6","datavalue":{"value":{"amount":"+0.765789270401001","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":"Q598273$B351C66F-163C-47E9-8D85-9C17C4307910","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:598273","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:598273"}}}}}