{"entities":{"Q2372685":{"pageid":2383428,"ns":120,"title":"Item:Q2372685","lastrevid":50139938,"modified":"2026-01-13T06:29:01Z","type":"item","id":"Q2372685","labels":{"en":{"language":"en","value":"The embedding theorem: its further developments and consequences. I"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5176392"}},"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":"Q2372685$34CB8E60-CA48-4609-B9CE-1C81E749AB0A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"064202c87d75e4ea0146ca21c14d706d1a4b6fe2","datavalue":{"value":{"text":"The embedding theorem: its further developments and consequences. I","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2372685$5D43BEDC-9AB8-4E3E-AAAE-F7448165103B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1edccdb3cd0a16052df166356ab538441dabcae9","datavalue":{"value":"1130.03018","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2372685$68A3A705-AEE1-4EA1-93DE-D070B8E4727D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6325d9f59cde8ebbdb24a9f950cab3fcef3decf6","datavalue":{"value":{"entity-type":"item","numeric-id":190248,"id":"Q190248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2372685$A510BCBC-8312-4732-AF85-E9951F4214A0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"37c844feca35da75671978fc1effde9476fb11ba","datavalue":{"value":{"time":"+2007-08-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2372685$1A2F4067-C208-4984-9492-7AF3BFD49F3B","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"d73efd35cd0bb65d796e59d6a2340b6986267000","datavalue":{"value":"The embedding of intuitionistic logic into the modal logic S4 by the so-called G\u00f6del-McKinsey-Tarski translation and its generalizations by Grzegorczyk, Maksimova, et al. provide useful means for a comparative study between lattices of intermediate logics (ExtInt) and of normal modal extensions of S4 (ExtS4). After surveying the development of the study, the author shows in this paper several results on structural aspects of these lattices. In particular, it is pointed out that ExtInt is likely to be the only constructing block with which ExtS4 can be formed. The paper includes many interesting problems and conjectures to suggest further developments of the study in this direction, and will be continued in Part II where the embedding theorem is analyzed algebraically.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2372685$F0D078BB-6935-474A-9288-4AC7AFB3F3CB","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"e3f06c5cc154fad665bbd7bfe01f3fd2207302a9","datavalue":{"value":{"entity-type":"item","numeric-id":588143,"id":"Q588143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2372685$BDBED7FA-CE36-4945-BB4B-02DECE433CC6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2372685$051FFD78-EADB-44BA-88AD-D4503A2E6BB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"87f66489f0c14f30094b654591a05fdd61321103","datavalue":{"value":"03B55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2372685$085503F7-65D4-4ED7-8741-B15E3B924ABB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"625495dc8cf796ad780e9da29b6a4a78ebce22b1","datavalue":{"value":"03G10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2372685$F34EACA4-9C52-4236-8682-62D1C3D987DD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"03201572a76bc8124f7458e2ae808b2a09e6ebbd","datavalue":{"value":"5176392","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2372685$229C7602-DFBC-4E23-A0F8-C8CEA204FC75","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2372685$44A1E313-7B41-4550-9310-C781AD040BE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e20caaf0551fe84fb69eae2f4da361eb77759b92","datavalue":{"value":"intermediate logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2372685$63AB41B3-86B7-43FB-8D2A-90C956D2E789","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"681e3b83d10da1c3c6a3afd83a30f71e30287a59","datavalue":{"value":"McKinsey-Tarski translation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2372685$C1D8D6B7-B96A-4E74-8790-A7D73D99CEA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5579ddf023a56f4856a8ee584af99380d23fb1f8","datavalue":{"value":"distributive lattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q2372685$196D836E-4753-4C43-B2E8-4031D81EC120","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e071145b46ae7a08fec096f0620178c42ecee586","datavalue":{"value":{"entity-type":"item","numeric-id":793005,"id":"Q793005"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2372685$8E666FC9-BDC0-47C3-8BA6-CBBFD03340B8","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":"Q2372685$ED3E3804-10AE-46F2-9B37-5D1E462BA14D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"23bb3e2031f950dcf50a2137d12605e240bbef3b","datavalue":{"value":"https://doi.org/10.1305/ndjfl/1168352665","type":"string"},"datatype":"url"},"type":"statement","id":"Q2372685$0FB26CD8-C9E8-4B9D-83BF-47C48743465F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6b7315b5ebd115d01a91b4b99a23bf71e42c9b2f","datavalue":{"value":"W2058516382","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2372685$417AE3CB-4BD5-4159-93F6-5F7DDF9E7B2D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3d15686efb3fb038047512af98966924ce8941e3","datavalue":{"value":"10.1305/NDJFL/1168352665","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2372685$F9E0FA95-FC42-4BC6-BE2F-987C788F128C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c99382cdef8ed2f484d29437f7ae5bea8b082b78","datavalue":{"value":{"entity-type":"item","numeric-id":4948690,"id":"Q4948690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"26e6133592d835510c48022f51e52dbd6e8c137f","datavalue":{"value":{"amount":"+0.8242083191871643","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":"Q2372685$AEA68691-34BB-422E-BE6D-CA36DB5F1FE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a135242f929dc9ad5e4a89aeb79fb46c5b735508","datavalue":{"value":{"entity-type":"item","numeric-id":1378428,"id":"Q1378428"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c74451ca44d77e5118fc34bb7bae9ce8e4c080ed","datavalue":{"value":{"amount":"+0.8158064484596252","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":"Q2372685$1E055516-2200-417E-B0E7-74D8769DB5BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2991176aa9bd18341bf7674b37c2c835ee932ee8","datavalue":{"value":{"entity-type":"item","numeric-id":2735830,"id":"Q2735830"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"02fd80558ab1dc2408fab916dc7a3d73f6e01987","datavalue":{"value":{"amount":"+0.812565803527832","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":"Q2372685$52645CDB-857B-4A45-8766-9553FC3BEAA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"83579c955d443fc35500b64c0518bc0d37b91cb3","datavalue":{"value":{"entity-type":"item","numeric-id":2987047,"id":"Q2987047"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"02fd80558ab1dc2408fab916dc7a3d73f6e01987","datavalue":{"value":{"amount":"+0.812565803527832","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":"Q2372685$89ECC522-7ADC-41EC-8CCC-8BC37675AC3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"259a234fd7a7fbbbf5247d264bc676658b36dcc4","datavalue":{"value":{"entity-type":"item","numeric-id":5214738,"id":"Q5214738"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3ed444b36fd816270d4fbe2d2b2b12e0016d600b","datavalue":{"value":{"amount":"+0.8103251457214355","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":"Q2372685$46DA5D21-8D96-4DD4-A9D8-4E5CE998BB60","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2372685","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2372685"}}}}}