{"entities":{"Q801898":{"pageid":803746,"ns":120,"title":"Item:Q801898","lastrevid":64445775,"modified":"2026-04-11T19:55:06Z","type":"item","id":"Q801898","labels":{"en":{"language":"en","value":"On a synonymy relation for extensional first order theories. III: A necessary and sufficient condition for synonymy"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3880665"}},"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":"Q801898$EDC91F62-5600-4FF3-93EA-A3752395E7DA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2b2c44cee8651cd0f2420ed150b808766d69713e","datavalue":{"value":{"text":"On a synonymy relation for extensional first order theories. III: A necessary and sufficient condition for synonymy","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q801898$96D9E46B-AF7A-4323-889A-F34791544DA3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"eb3de2cef91eaa9fe08ba483303024f0630be278","datavalue":{"value":"0553.03019","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q801898$0AEFF5CE-EB0A-4542-AE60-CF4723F3ABE4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1c51f659192ae73189fc76e268b15e926b59e652","datavalue":{"value":{"entity-type":"item","numeric-id":767900,"id":"Q767900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q801898$B68C5CDC-59DA-4BAE-80FC-3DC201B91BAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b3b8a268626b88efa1a2e37272504046cc403f9b","datavalue":{"value":{"entity-type":"item","numeric-id":1264133,"id":"Q1264133"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q801898$98B65EC2-645B-401B-8AC5-FBF09C43F68F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"816e97a1cfcdf018f87d172411a8ab21b6bfff04","datavalue":{"value":{"entity-type":"item","numeric-id":361729,"id":"Q361729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q801898$A377319E-81BF-4C34-83B6-BC890049F00E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2ee0f220147ae8bc749a64db56839865dbc4f127","datavalue":{"value":{"time":"+1984-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q801898$9469474E-026A-43AE-BB38-B5EA3A828A20","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a87d7c2b49f79934a2a652ab0bac19fcd304e4ab","datavalue":{"value":"http://www.numdam.org/item?id=RSMUP_1984__71__1_0","type":"string"},"datatype":"url"},"type":"statement","id":"Q801898$16A13B35-CB37-47FD-9084-D165CFE3ED62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"d89c7c64597179cde8bb284f61733da741a8d763","datavalue":{"value":"https://eudml.org/doc/107933","type":"string"},"datatype":"url"},"type":"statement","id":"Q801898$8D28661D-E69F-47B4-B414-4F3F315F06DF","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"8fb47041109b06646210704fbc23b9effd83686e","datavalue":{"value":"[For parts I and II see ibid. 69, 63-76 (1983; Zbl 0525.03019) and ibid. 70, 13-19 (1983; Zbl 0538.03025) respectively.]    The work to which the paper belongs concerns synonymy in connection with an extensional (scientific) formal language, which expresses a typical axiomatic theory \\({\\mathcal T}.\\)    The definition of a synonymy relation - see Part I, {\\S} 6 - is not of the usual inductive type. This may give rise to difficulties, e.g. in proving that some given expressions are not synonymous. Therefore in Part III we state two necessary and sufficient conditions for two wfes of \\({\\mathcal T}\\) to be synonymous. To reach this aim, we introduce an auxiliary theory \\(\\dot {\\mathcal T}\\), which is substantially capable to speak of the (\\({\\mathcal I},V)\\)-senses of the wfes of \\({\\mathcal T}\\), i.e. the senses of these wfes relative to the interpretation \\({\\mathcal I}\\) of \\({\\mathcal T}\\) (which need not be a model of \\({\\mathcal T})\\) and to an \\({\\mathcal I}\\)-valuation V (which assigns \\({\\mathcal T}'s\\) variables with value belonging to the domain of \\({\\mathcal I})\\). Lastly, \\(\\sim p\\) and \\(\\sim \\sim \\sim p\\), with p atomic, are proved not to be synonymous. By the result \\((8.2)_ 3\\) in Part II, this shows that a rather simple condition proved in Part II to be sufficient for non-synonymy, is not necessary for this.","type":"string"},"datatype":"string"},"type":"statement","id":"Q801898$037BC48C-4CFD-4590-8B9C-F0D0398E2E2B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"bd857b4d539debc924b23d4d2c029b3554136b84","datavalue":{"value":"03B99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q801898$3ACAB2D6-F8DC-4CCF-B49D-39BA8C63D3B6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ae97cdef821cb99e1a347f576a126afcb4da78eb","datavalue":{"value":"3880665","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q801898$E73D3325-27CC-4720-90DD-9D39B6FDBE51","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cf4cb86726edbe719d4de3d0622f11b528ad15cb","datavalue":{"value":"semiotics","type":"string"},"datatype":"string"},"type":"statement","id":"Q801898$C86CEEF8-BB38-4792-8265-D544E553B76A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"50406379d3ad02d3fd815eef4a4cc45a25593686","datavalue":{"value":"extensional language","type":"string"},"datatype":"string"},"type":"statement","id":"Q801898$C809CEC7-6DAB-4076-A9D6-3DBF1FECEEAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"905af6db7a8541ab8285592ac1adb4946d18fb11","datavalue":{"value":"synonymy","type":"string"},"datatype":"string"},"type":"statement","id":"Q801898$101AA8A5-EA8C-4BB5-82AE-E61C930DB818","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b2cf531807d1424e6515228822fe70f93a61e21d","datavalue":{"value":"axiomatic theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q801898$0490264A-DD0D-496E-94EF-8FD481A0CD80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a1813771d6c69650ebccff461920500048b0f1aa","datavalue":{"value":"non-synonymy","type":"string"},"datatype":"string"},"type":"statement","id":"Q801898$4495B57F-10D4-4BD5-A4A1-E63877B32994","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":"Q801898$125D97EA-1CF9-4BBC-B0BD-3ECBB9E324A5","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d1bd3aba96326a579470cc8c0991726f4dd900ca","datavalue":{"value":{"entity-type":"item","numeric-id":594088,"id":"Q594088"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q801898$2D76AB36-0003-4FE6-8067-5DCAD752259B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d9cfdaac980bdd2d8ea00cff8c7714cd13f07a6e","datavalue":{"value":{"entity-type":"item","numeric-id":793007,"id":"Q793007"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q801898$7AF6A1A6-0E1C-4EE7-AAD5-233134BC64B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bbf370f03cc284f00e101c50058f9dc9af59fc00","datavalue":{"value":{"entity-type":"item","numeric-id":3695246,"id":"Q3695246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q801898$45F49A51-013C-4C48-B4F2-DFB774418993","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"97a935d8a6d38fa08406cc5caf1b9ac2a739c373","datavalue":{"value":{"entity-type":"item","numeric-id":5586197,"id":"Q5586197"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q801898$F22F6B9C-A3A1-4813-8008-FE0FF640AE9B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d6813d68ad69cfa208aebddac19a9d5775086183","datavalue":{"value":{"entity-type":"item","numeric-id":793007,"id":"Q793007"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1715c66ed8d75de5115bf02036a7ab742ad3d8a4","datavalue":{"value":{"amount":"+0.920899510383606","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":"Q801898$1797E166-C7F5-47B3-8F8E-ED25579F1BFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d841ba5e63622393fc24c48548a021220c0d1d9c","datavalue":{"value":{"entity-type":"item","numeric-id":3691640,"id":"Q3691640"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4a9a6a02e812e19702b4b6dbb7aace23a27b2c69","datavalue":{"value":{"amount":"+0.8231328725814819","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":"Q801898$79E4A017-D571-45EA-B5D3-C71F422464B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3803950d38185a9d85457d64b8cf35f4c6189d7d","datavalue":{"value":{"entity-type":"item","numeric-id":2194116,"id":"Q2194116"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bad44ff99593860c02e01c4e903beb54fcdba487","datavalue":{"value":{"amount":"+0.7961030602455139","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":"Q801898$CF69FC94-1CFC-448F-9CD5-7ECA7A6628E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b69764e55341e7612bb87736f8e4634ce006e23e","datavalue":{"value":{"entity-type":"item","numeric-id":414849,"id":"Q414849"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"154a0a2cef680fde2ebd322705220f0f4d262397","datavalue":{"value":{"amount":"+0.7839785814285278","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":"Q801898$F02E192F-329D-41A1-985C-94912CF473F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d69025e4ea1e09f74e4d8d0316dbcd99f764cb6f","datavalue":{"value":{"entity-type":"item","numeric-id":4025891,"id":"Q4025891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"15b7e9d658f0f3d0948b1b9c90cb18b4eaf688e3","datavalue":{"value":{"amount":"+0.766694188117981","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":"Q801898$9A6FFA91-9768-481F-A57C-CA3DEF6DF772","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On a synonymy relation for extensional first order theories. III: A necessary and sufficient condition for synonymy","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_a_synonymy_relation_for_extensional_first_order_theories._III:_A_necessary_and_sufficient_condition_for_synonymy"}}}}}