{"entities":{"Q1103608":{"pageid":1114360,"ns":120,"title":"Item:Q1103608","lastrevid":67000566,"modified":"2026-04-12T14:15:12Z","type":"item","id":"Q1103608","labels":{"en":{"language":"en","value":"Individual-actualism and three-valued modal logics. II. Natural-deduction formalizations"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4053572"}},"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":"Q1103608$58BFEFC7-CE02-4099-BE72-D11BA9ECB67C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2d6defd82eb0c8de4613882d589f009de5dcc82c","datavalue":{"value":{"text":"Individual-actualism and three-valued modal logics. II. Natural-deduction formalizations","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1103608$C1636DBD-DB8F-4F30-BDD3-A5E8E8E7569E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e7d75195f4e3708ca4c4cb06f6afe5abe48d6ad6","datavalue":{"value":"0646.03016","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1103608$09E263E0-3754-4654-A83B-1A45C6CF5EE8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0be083eb26f0faf63dd3aeb4b5cbb7a4f0599ed6","datavalue":{"value":"10.1007/BF00250614","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1103608$7E609A05-39C7-4769-A33B-F3CEADCF81EB","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e692f569038e7bcb7d3e72ba14d8d8e224046270","datavalue":{"value":{"entity-type":"item","numeric-id":169434,"id":"Q169434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1103608$2D36BE20-8ACC-49EF-A7B4-79A44DBDF3D7","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":"Q1103608$EDD16F1E-1CE7-4D0B-B4F5-88F12A23A6C4","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"24e95a55a79bbffa7b70aeb6439b4b5f6e75c1f1","datavalue":{"value":"This article continues the author's work on first-order, three-valued modal logics designed ; i.e. if T is a countable complete first order theory then \\(I(T,\\kappa)=2^{\\lambda}\\) for \\(\\lambda >\\aleph_ 0\\) or \\(I(T,\\kappa)<\\omega_ 1(| \\alpha +\\omega |)\\) for all \\(\\alpha\\). In particular, Shelah showed that if T is unsuperstable then \\(I(T,\\lambda)=2^{\\lambda}>\\aleph_ 0\\) for \\(\\lambda >\\aleph_ 0\\). Moreover, he showed that if T has DOP then \\(I(T,\\lambda)=2^{\\lambda}\\) for all \\(\\lambda >\\aleph_ 0\\) and he showed the same for deep T. Finally, he showed that the main gap holds for \\(\\omega\\)-stable theories [\\textit{S. Shelah}, Isr. J. Math. 43, 357-364 (1982; Zbl 0532.03014)]. Using the latter as a prototype, one wants to show that if T is countable, superstable, shallow with NDOP then every model is primary and minimal over a suitably chosen independent \\(\\omega\\)-tree of ``small'' submodels. Since the depth of a shallow superstable theory is less than \\(\\omega_ 1\\) [see \\textit{D. Lascar}, J. Symb. Logic 50, 316-330 (1985; Zbl 0582.03016)] using the same techniques outlined by \\textit{L. Harrington} and \\textit{M. Makkai} [Notre Dame J. Formal Logic 26, 139-177 (1985; Zbl 0589.03015)], we would obtain the main gap. However, there is no guarantee that there are primary models over independent \\(\\omega\\)- trees of models. Hence, we need another dichotomy and we call it OTOP. The negation is called NOTOP and has the consequence that there are primary models over independent \\(\\omega\\)-trees of models. We see that OTOP leads to many models and outline the appropriate decomposition trees to handle the rest of the main gap.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1103608$A73C11C0-DECA-4E06-8E54-7088D8D51C41","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1103608$5246A7B9-65F5-4F50-B1B5-D12B5732F6E7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"29aafca62e5310086d7fe6901d6b161fdd633821","datavalue":{"value":"4053572","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1103608$1084B9E6-7E1B-4AD2-A220-90FE88F4D12B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d5bf978e47ef3be59fcffe97cd908ce409edbae1","datavalue":{"value":"actual individuals","type":"string"},"datatype":"string"},"type":"statement","id":"Q1103608$830201E9-806A-46B8-8C39-FC6FFFA3E251","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f4bd408f2d21da695a1a12d2369225ea8316b8d4","datavalue":{"value":"three-valued semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1103608$9E9C51EE-6A84-4B4F-8FB8-4C9366603808","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6520e73dc43f16b339a5affecf042b2be9c0a1b8","datavalue":{"value":"semantics with truth-value gaps","type":"string"},"datatype":"string"},"type":"statement","id":"Q1103608$F7544BD5-EFF8-4183-BE24-A609AF5114C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0d1a530ebebfe9d67cc01e23074092169ca8f759","datavalue":{"value":"model-theoretic semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1103608$F1A8000F-359A-4E58-8232-462467991CBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"de01fb73c331196c37e04e640a1290af7bdb08c3","datavalue":{"value":"three-valued modal logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1103608$4A73B35A-899D-48A7-A612-E4F10DBAA657","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e6c26a2d0d955a1c82d854e0fdf1cd78e0f9143f","datavalue":{"value":"shallow superstable theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q1103608$1C322785-724A-409B-8D4D-B4378DDB05FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"27a71738c7e1de92f8c61a63de44483fa57b7e6a","datavalue":{"value":"primary models","type":"string"},"datatype":"string"},"type":"statement","id":"Q1103608$895FF49E-39AE-40D7-9195-6867578DB676","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"915fe2995cfe0f3dc3891fde61514097ed23bd38","datavalue":{"value":"OTOP","type":"string"},"datatype":"string"},"type":"statement","id":"Q1103608$C31463F3-013F-4F57-9864-8660A6471FC2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5c1bc37e6e094a826bbeabaa496f463e54be767b","datavalue":{"value":{"entity-type":"item","numeric-id":792996,"id":"Q792996"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1103608$DC74DD61-45AD-455D-895C-B1BAD3B79E95","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":"Q1103608$BB06BF66-EA3C-4EA3-9B4E-CEB6F7C2060D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2927e3201f45c3065eb38f461bb2d88b89765d23","datavalue":{"value":"https://doi.org/10.1007/bf00250614","type":"string"},"datatype":"url"},"type":"statement","id":"Q1103608$EDCAF6CF-88FE-4F10-BB5C-FDC6B26274C6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e795a934e547878e46228363186c5efe223d68bb","datavalue":{"value":"W2008069662","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1103608$FD67AEBA-8CE1-4063-BE12-49B03374DF93","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0812dc13867c46bad35e90fa37c79b2cce48e904","datavalue":{"value":{"entity-type":"item","numeric-id":3789535,"id":"Q3789535"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"88fcd02d106a55af4a1848d8684efee753083b21","datavalue":{"value":{"amount":"+0.8676186800003052","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":"Q1103608$ABA60CBA-016A-4473-8C6D-F3EC6694FB1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5d5d7db6dfe21411608044a883de207d423a71f3","datavalue":{"value":{"entity-type":"item","numeric-id":788713,"id":"Q788713"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f7de4b3b65e8b3c5a20aa4fbe1563547e41dbfd9","datavalue":{"value":{"amount":"+0.8184679746627808","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":"Q1103608$349F5FC2-BC01-420C-AC6B-065176A903A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ed681710d33830f962781b953e3020b364e4acfe","datavalue":{"value":{"entity-type":"item","numeric-id":1073784,"id":"Q1073784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"be30ef8c4b83ff302766b8182d87e8fd957d5cec","datavalue":{"value":{"amount":"+0.7637853026390076","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":"Q1103608$6DBAF1EA-BFD1-418B-AA40-2D3CC7D6C8FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"74060b39a8a3e3e47c791dcb1d06cce0cb8ed6dc","datavalue":{"value":{"entity-type":"item","numeric-id":1188601,"id":"Q1188601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"066ab07fe858e1a63f02c68febe060a01e14dad7","datavalue":{"value":{"amount":"+0.7532429695129395","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":"Q1103608$E09E9A68-DBA3-4E75-81EA-8D47FDF7F189","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c8f5e9550628694e842e405bcd9511be2b98ddf9","datavalue":{"value":{"entity-type":"item","numeric-id":5479114,"id":"Q5479114"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"51d2b2f4b5d1e4395010688c8fb716abf05f5f6d","datavalue":{"value":{"amount":"+0.7373937964439392","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":"Q1103608$25C0CA2C-BF6F-4899-89F1-37EA499F653D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Individual-actualism and three-valued modal logics. II. Natural-deduction formalizations","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Individual-actualism_and_three-valued_modal_logics._II._Natural-deduction_formalizations"}}}}}