{"entities":{"Q1095133":{"pageid":1105885,"ns":120,"title":"Item:Q1095133","lastrevid":42871806,"modified":"2025-07-15T14:23:35Z","type":"item","id":"Q1095133","labels":{"en":{"language":"en","value":"Strict embedding of the elementary ontology into the monadic second-order calculus of predicates admitting the empty individual domain"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4027438"}},"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":"Q1095133$7AB8B11D-8A73-4960-B45B-22B58B1E63AB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"99ae89b0aec9519025af2cc026a133cf21e497cd","datavalue":{"value":{"text":"Strict embedding of the elementary ontology into the monadic second-order calculus of predicates admitting the empty individual domain","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1095133$3400DC62-CC20-4DA9-A328-722A08722ED1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"37bd0ad90e6276e593a5e9fe6188d97eaba62a52","datavalue":{"value":"0632.03024","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1095133$357CD61C-7BFC-42AA-AE54-4411F719DCA6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b69470489670ea06ec3b1737ad9fb7fb58507b24","datavalue":{"value":"10.1007/BF00396902","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1095133$41FDD932-31C5-4F12-B676-91C6C3043F1F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c64c9805f9858d655093e497d6f956b90888963c","datavalue":{"value":{"entity-type":"item","numeric-id":1078166,"id":"Q1078166"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1095133$3E5FD3C1-D91C-44E9-8615-2E0E0386D7B1","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e34236ca73b92c6ee0bc17431d03c3537a7f0792","datavalue":{"value":{"entity-type":"item","numeric-id":195358,"id":"Q195358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1095133$99437AD3-FE57-4492-8BBB-D51D143657EC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5ae48c61eed19d1e1e1f33f9255d5b329362d064","datavalue":{"value":{"time":"+1987-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":"Q1095133$C5396145-77B7-49B2-BB16-AB1F6F544BE5","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"7738732b110c8a9e9676c246ea5d46a75e1189db","datavalue":{"value":"Recently [Stud. Logica 42, 197-207 (1983; Zbl 0596.03018)], the author disucssed the problem of embedding Le\u015bniewski's Elementary Ontology (EO) into the monadic second-order predicate calculus (LS); his main theorem, however, has been shown to be false. In the paper under review, he considers, instead of LS, a certain system \\(LS^-_ 1\\) of universal monadic second-order predicate logic and improves the way of translating (into the language of EO) quantifiers binding individual variables in \\(LS^-_ 1\\)-formulas. After all, an embedding theorem of EO into \\(LS^-_ 1\\), as well as that of \\(EO+\\exists S(S\\epsilon S)\\) into \\(LS^-_ 1+\\forall...(\\forall xA(x)\\supset \\exists xA(x))\\) are obtained.    Reviewers remarks. The new translation \\(\\psi: LS^-_ 1\\to EO\\) is not acceptable either: since \\(LS^-_ 1\\) has an additional run of variables, the \\(\\psi\\)-translation of an \\(LS^-_ 1\\)-formula is not an EO-formula at all. The paper is not well-edited: there are a lot of misprints, inaccuracies and blunders in the text (e.g. the footnote 4 (p. 3) is wrongly indicated, since it concerns the definition of \\(\\psi\\) on p. 11), and the quality of the English translation leaves much to be desired. In a number of cases, the reviewer would have been helpless without consulting the Russian version of the text [sect. 4.6 of the author's monograph ``Logical methods of analysis of scientific knowledge'', Nauka Publ., Moscow (1987)].","type":"string"},"datatype":"string"},"type":"statement","id":"Q1095133$92338531-4166-48F5-9AD1-DCFC93919B62","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"89a6721807d2106ad3a18783b4fcbc004e6a56c5","datavalue":{"value":"03B60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1095133$4A27EDF6-F4C6-4288-8541-17760655995D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"dd8503cb84d44ac2adb520ebbb11872e6dc1ec3b","datavalue":{"value":"03B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1095133$59019B85-6A80-48EB-A2AB-E4AE9863870D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"76c40374f8525bc27312c9c0a93190608f501369","datavalue":{"value":"4027438","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1095133$461E5544-2E5C-4941-9BBA-BFA21101F710","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"51699e7dc5e54bccd031b401ad45af1e0ff8560e","datavalue":{"value":"Le\u015bniewski's Elementary Ontology","type":"string"},"datatype":"string"},"type":"statement","id":"Q1095133$324573AE-7654-4955-BEB0-65B51E63A1AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fd5e5394ad57f044397f2577d035ed3e2af24a9a","datavalue":{"value":"universal monadic second-order predicate logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1095133$29F39F98-4BDF-4288-9190-E8338DD2BA72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b3a19f9cac1ac17623afb799584e2cb343fde210","datavalue":{"value":"quantifiers binding individual variables","type":"string"},"datatype":"string"},"type":"statement","id":"Q1095133$F43278CC-2EB8-4B28-A2F3-FABDDD77D046","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"7368c73d2d340caad664fdf038cc8eb9db53ef2d","datavalue":{"value":"Q114694624","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1095133$CB9B85B3-814D-4E39-91B3-902DCDB8B278","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"24e70c767ee0c26b0d348d13cd32cb7416cc7b76","datavalue":{"value":{"entity-type":"item","numeric-id":466879,"id":"Q466879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1095133$5CDFBB78-7074-41BD-9F24-F967C40340E8","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":"Q1095133$EC87C0E2-56AE-40B6-847B-01E762C34CD2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"72f662feb679c938ce40e1cf4c52af8270101717","datavalue":{"value":"https://doi.org/10.1007/bf00396902","type":"string"},"datatype":"url"},"type":"statement","id":"Q1095133$AB58EECB-5A94-4F45-87B2-2D3B117FBFD6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4cc8199e50796b5b6877d582d4ec0af343701b1a","datavalue":{"value":"W2007846570","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1095133$50467862-C29C-44E9-A708-ABFA12834BEB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4d2a36ac044a6e7437bc3cff91d593b82425fd6e","datavalue":{"value":{"entity-type":"item","numeric-id":1105584,"id":"Q1105584"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"74c4f024a229f99f39dbd3e8397d7ff82fcd25ec","datavalue":{"value":{"amount":"+0.8864315","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1095133$3823F403-64AA-45CF-AA89-4D02DC42E2F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"74e4a44940d3c6efcdb6124b10f69f110f61d0c1","datavalue":{"value":{"entity-type":"item","numeric-id":1078167,"id":"Q1078167"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6ff86d325bffd6a637046c4a146c1801d7169796","datavalue":{"value":{"amount":"+0.85596","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1095133$A5ED152B-2FC9-4956-AF16-1B89651763ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ace2927c862d10bdfc1942a1de4bdcb0cb9217ce","datavalue":{"value":{"entity-type":"item","numeric-id":1078555,"id":"Q1078555"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"40040b7d19ec8297e855f9f927b52232665c6c2a","datavalue":{"value":{"amount":"+0.76562643","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1095133$2C951C61-3504-4AF8-BF0B-849DDF0C9320","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f06a425b0248c804dace5b52107d7c4b60fcc597","datavalue":{"value":{"entity-type":"item","numeric-id":4707466,"id":"Q4707466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7c88e2f082c72aa77184ad39b483c1135ec14fb7","datavalue":{"value":{"amount":"+0.7563467","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1095133$1E621212-AAB0-4BA3-8F38-019A8148DCD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"54f06c5cdcb5e2933ca394d108920f63ca3865a5","datavalue":{"value":{"entity-type":"item","numeric-id":2104542,"id":"Q2104542"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"75210312c42097e3d97c9374f1b4477515d00582","datavalue":{"value":{"amount":"+0.7428455","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1095133$766C90EA-526D-4E9F-9031-3580C6149209","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bbed96949b2a4032daca53370614e9051ed39ca1","datavalue":{"value":{"entity-type":"item","numeric-id":3377757,"id":"Q3377757"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a14575ec5ad50522f826d7123d3d00450ae61fc9","datavalue":{"value":{"amount":"+0.7403023","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1095133$0928A630-47BD-4545-8C41-A31440158B1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0c91bf41bd9176516567cb197c0841981667aa52","datavalue":{"value":{"entity-type":"item","numeric-id":3797165,"id":"Q3797165"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f7997fee1728c728884596a5e0b3b0f298ab7fa8","datavalue":{"value":{"amount":"+0.72972345","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1095133$1D019096-39BB-4658-A799-BC721220A237","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f42ee2461b4c4deae83bef770f2a52a5cf189e48","datavalue":{"value":{"entity-type":"item","numeric-id":2115291,"id":"Q2115291"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9beebbca69e976f207b519741bff20a23e2c6491","datavalue":{"value":{"amount":"+0.7256067","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1095133$44724937-CDA6-475C-9688-90D7A112ED39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"34be3cc19a2e3150e109d5c4b452aeae43ffaa98","datavalue":{"value":{"entity-type":"item","numeric-id":4399398,"id":"Q4399398"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a55b2f1472fa888b662bbfeb1699240ef16acd48","datavalue":{"value":{"amount":"+0.7095109","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1095133$A3D984B1-C7FC-4ACB-985C-3044AB280D0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b2eaa6342c2bf9a04600c6bf919f4555ab4fe282","datavalue":{"value":{"entity-type":"item","numeric-id":3486551,"id":"Q3486551"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ce0c1b2017b23a62e8582c459ee62198ed3afa12","datavalue":{"value":{"amount":"+0.70360667","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1095133$0BA7682D-BA44-4FA0-AF08-2A245B3DA051","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1095133","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1095133"}}}}}