{"entities":{"Q1904094":{"pageid":1914836,"ns":120,"title":"Item:Q1904094","lastrevid":69248679,"modified":"2026-04-13T05:45:08Z","type":"item","id":"Q1904094","labels":{"en":{"language":"en","value":"A modal logic of consistency"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 826762"}},"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":"Q1904094$54B6947C-0336-4181-B69A-DA0173E9753F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"793941ae1ddb298c1289db1a1e8c63203e554c38","datavalue":{"value":{"text":"A modal logic of consistency","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1904094$22E289C2-08CC-40FD-A14E-E27D0FC5CAF5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e8d157809ec52a81adac62c5fd52cd909724b61e","datavalue":{"value":"0839.03035","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1904094$01666ECC-3EF1-4BEF-AF87-E491A9002FFC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cc45e6b9322bed7360e4aac2a42f8c73614b44f3","datavalue":{"value":{"entity-type":"item","numeric-id":1787138,"id":"Q1787138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1904094$B8ECD821-DCA2-4C06-9694-1E7C17D7873C","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":"Q1904094$54552841-9C0C-4FC8-896E-A9EC059205AC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3c3a04010ec8818dd2d5d372c0f971835e38fd9a","datavalue":{"value":{"time":"+1996-06-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1904094$C07FD2D6-4854-4E3E-B6D2-AE08E1F6C8CE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"bfe79973e68834c72e2df88a9d853fc22606de45","datavalue":{"value":"http://www.numdam.org/item?id=RSMUP_1995__93__143_0","type":"string"},"datatype":"url"},"type":"statement","id":"Q1904094$FE31BFE9-94F5-4E70-A1DD-2DD952339828","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"ff5f85b70881fc5bfc136d525392881aa058a183","datavalue":{"value":"https://eudml.org/doc/108352","type":"string"},"datatype":"url"},"type":"statement","id":"Q1904094$4562F14B-E5F6-44D0-9AFE-5F66D4B7B672","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"6a25ada682f2212bb91e86a5970bd1a3a12a3dd0","datavalue":{"value":"Fraenkel-Mostowski permutation models of the set theory ZFA (it admits atoms) are proper classes of hereditarily symmetric sets, where symmetry is defined with respect to a topological group. If the construction of a permutation model is performed within another permutation model, then the resulting structure is isomorphic to a permutation model (Theorem 1) and the following result follows (Theorem 2):    A modal propositional formula \\(\\varphi\\) is in S5 if and only if \\(\\varphi\\) is \\(\\text{FM}_{\\text{FM}}\\)-valid.    This means that for all interpretations \\((\\cdot)^*\\) the ZF-formula \\(\\varphi^*\\) is true in all permutation models over a fixed ZFC universe \\(V\\). The key clause in the definition of \\((\\cdot)^*\\) is the interpretation of the modal operator \\(M\\) of possibility: \\((M\\varphi)^*\\) expresses that some permutation model satisfies \\(\\varphi^*\\). It follows that in contrast to the case where the models are sets, the formalized second incompleteness theorem is not valid.    Reviewer's remarks: (1) In the proof of Lemma 2.1 the embedding of \\(V(X)(Y)\\) is not into \\(V(Y)\\) but into \\(V(Z_Y)\\), where \\(Z_Y\\in V\\) is the first coordinate of \\(Y= (Z_Y, \\alpha)\\in V(X)\\); otherwise the proof remains unaltered. (2) The reference 1 [\\textit{M. Baaz}, \\textit{N. Brunner} and \\textit{K. Svozil}, ``Effective quantum observables'']\\ may be completed as follows: Il Nuovo Cimento 110B, 1397-1413 (1995).","type":"string"},"datatype":"string"},"type":"statement","id":"Q1904094$80E8F2D3-2DE3-4C73-BEBF-D8C398E6224F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2f1459d5951e049c51abbc0d85c8bd47bc411fa9","datavalue":{"value":"03E25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1904094$06E6B2CB-F59F-4C77-86D2-52DA9E2C19B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1904094$90D79750-AD7B-4671-A5B8-B14ABB7AE8C4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ee07056891c10f53649b392808ff5ce6fa213d56","datavalue":{"value":"826762","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1904094$68EEF28D-3FF6-437D-8C8F-4A3C36AB18F1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1904094$6373AA4B-B282-4316-B6D0-96C990E784A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"52c2513afc8941299b07e63a5555cd1e7cb85f4a","datavalue":{"value":"consistency","type":"string"},"datatype":"string"},"type":"statement","id":"Q1904094$51E7527A-285B-48B5-8334-D8D671854488","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c768335a6cdb2734d5d6f3d6377c33d925ce4f7e","datavalue":{"value":"Fraenkel-Mostowski permutation models","type":"string"},"datatype":"string"},"type":"statement","id":"Q1904094$5292BD83-14AF-4F79-9339-10F565C0180E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c650cd24025fda13c07b573c157ff74ce0568a88","datavalue":{"value":"incompleteness theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q1904094$5279BEBE-388D-4807-8F47-12C1236231C1","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"5fd9f3f0b8e3bd4ab7545fc7b132020a15f97f0c","datavalue":{"value":{"entity-type":"item","numeric-id":793376,"id":"Q793376"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1904094$C9E84DC4-9EEC-4CFC-B39E-01B57771B937","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":"Q1904094$0BB7F52F-15AF-4D07-B3B0-B5B00C3699ED","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"73f2a9c4107417f16e161affcb7a96a57c75d6e2","datavalue":{"value":{"entity-type":"item","numeric-id":4205438,"id":"Q4205438"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1904094$D3154893-792E-44D2-82C9-80569F1B27B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"919f0c2339fe1dc910db02e33de1d16aa99dcdf9","datavalue":{"value":{"entity-type":"item","numeric-id":1090676,"id":"Q1090676"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1904094$EF8D4AA1-1BDC-4266-8CF1-B45E1C252413","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"583f7714d44fb4d121fbf5fc6992cb8b99581318","datavalue":{"value":{"entity-type":"item","numeric-id":913787,"id":"Q913787"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1904094$8F0BF4DA-3E7D-46BE-9B28-3FA51E18E979","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"075385ab0f9cec9e72ad6f715d7267d9b2ed12a4","datavalue":{"value":{"entity-type":"item","numeric-id":3995219,"id":"Q3995219"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1904094$117DB2F5-C1A8-4672-BE91-513BDC7928E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"17bdc056bb3e02e3a14e1c8a5e86c31e8f88f03b","datavalue":{"value":{"entity-type":"item","numeric-id":5611002,"id":"Q5611002"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1904094$F4447024-A493-4E3E-BDBF-D9486776762D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0c102e0f67244f21ff5b7450bbb29a7bd4542976","datavalue":{"value":{"entity-type":"item","numeric-id":3772209,"id":"Q3772209"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1904094$7D72AC18-68DC-45B3-A542-1CF176B1CB96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f0bd59f4008bbad0422592bf7d2cbf3ee464f183","datavalue":{"value":{"entity-type":"item","numeric-id":5723435,"id":"Q5723435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1904094$27AD44A2-4345-4D43-82CF-D871748FD145","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dbd2dd8baa447e8c8f0b98927d906c7a0cc526af","datavalue":{"value":{"entity-type":"item","numeric-id":5921596,"id":"Q5921596"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1904094$24CC4074-7CC7-41EE-8A3D-119D35264000","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e250ba8c2b1f0ecbce7e2a3047a90fd64d76f9f4","datavalue":{"value":{"entity-type":"item","numeric-id":5804992,"id":"Q5804992"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1904094$CFD48B12-6D0F-4266-99BC-E6F4AAB8AB17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"65af634f8ea04e9717486b98f2f6b61acf5b154f","datavalue":{"value":{"entity-type":"item","numeric-id":1235695,"id":"Q1235695"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1904094$C3476B95-D5F9-40B7-9FC5-026CA6E7EE67","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"885286d24ca524dc71e7c17700cde2b7318de59e","datavalue":{"value":{"entity-type":"item","numeric-id":3772209,"id":"Q3772209"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"42cb66922172956cefedbb8d95c0d49a770145eb","datavalue":{"value":{"amount":"+0.7929420471191406","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":"Q1904094$39E6795A-5AD0-490E-95F9-B770702FD923","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3d92cd44b39e8bf2a533d7649664daa3696846e1","datavalue":{"value":{"entity-type":"item","numeric-id":2919602,"id":"Q2919602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f31062b9005d879ef8793754ba2c2001edb40499","datavalue":{"value":{"amount":"+0.7779540419578552","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":"Q1904094$FA941802-30BC-4BAC-A33B-3C0A39BAC508","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"418ab0d92bd23273d589c3aa51c3f1f61dc6f98c","datavalue":{"value":{"entity-type":"item","numeric-id":1430902,"id":"Q1430902"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"79801e72dc6568cb3303688fbfb4b39115b310a1","datavalue":{"value":{"amount":"+0.7517120838165283","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":"Q1904094$8A3B2608-D324-4E8E-80E2-7F63B34A78AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a01f4f69bcfffb98a7d77f1df3f37c28d0d22ce2","datavalue":{"value":{"entity-type":"item","numeric-id":3770523,"id":"Q3770523"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e9891f2c640aa9b09a2142a997cdc459d9d5f5ae","datavalue":{"value":{"amount":"+0.7450452446937561","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":"Q1904094$0677D3B0-E584-466C-AE5C-88F8890E3CD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"828cb47c2a27f529fed4ebd1b45b813960074eff","datavalue":{"value":{"entity-type":"item","numeric-id":4382481,"id":"Q4382481"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e3a513033f8f47debc3546ab73c33730b9833636","datavalue":{"value":{"amount":"+0.7438140511512756","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":"Q1904094$50258797-4F8A-4C7C-B9A1-5B5E2E972FC9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A modal logic of consistency","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_modal_logic_of_consistency"}}}}}