{"entities":{"Q2639848":{"pageid":2650591,"ns":120,"title":"Item:Q2639848","lastrevid":49459621,"modified":"2026-01-07T05:00:19Z","type":"item","id":"Q2639848","labels":{"en":{"language":"en","value":"More on monadic logic. Part D: A note on addition of theories"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4185590"}},"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":"Q2639848$096CCB8A-674C-406C-AE81-2CEDCC4B82DB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"151a672aeeecdb8f18e8a746e71fc3a3e55ca1eb","datavalue":{"value":{"text":"More on monadic logic. Part D: A note on addition of theories","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2639848$8C878C27-7341-4AC5-B2FB-B18C281DE0D6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5f3ee8914a965b071f93a387760916ff914b3f02","datavalue":{"value":"0719.03017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2639848$B080BBBF-B5C1-4E27-8EC8-801203D90D9F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4c6d1f5cba944a7c163c9311521ef0a935334c8c","datavalue":{"value":"10.1007/BF02764986","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2639848$0CB42F53-0C13-4C70-9B0C-18B45D90D0CE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8259050cd83ce3945f173c3e3c741cd5ddddec01","datavalue":{"value":{"entity-type":"item","numeric-id":169248,"id":"Q169248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2639848$A912AB19-4DC2-46FF-94BE-A48E78C3816B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1d50f9b953eac0b2404563f86ad398ee3823cb48","datavalue":{"value":{"entity-type":"item","numeric-id":173732,"id":"Q173732"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2639848$546D2BEE-2F08-4DCB-AEA7-2D679B8E7D95","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7211ad5ca16eb0d22cd0051fff3d0f3af254ceb6","datavalue":{"value":{"time":"+1989-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":"Q2639848$9319E59A-CF3F-45D1-AFDE-00A324B2CEC0","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"7b84fc8acd21957675e7bfeaeb2882c33319e37d","datavalue":{"value":"In Notre Dame J. Formal Logic 26, 229-303 (1985; Zbl 0596.03033)], \\textit{J. Baldwin} and the author classified all theories of the form (T,\\({\\mathcal L})\\), where (T,\\({\\mathcal L})\\) is the set of \\({\\mathcal L}\\)-sentences valid in models of the complete first-order theory T and \\({\\mathcal L}\\) is one of the following: second-order logic, permutational logic, monadic logic. This classification necessitated in part the computation of bounds for certain kinds of Hanf numbers. In the present paper the author improves some results of the cited paper, closing a small gap therein.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2639848$05C765C2-B22C-4436-9545-0F18101C8409","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"cd1ebd9dd665e7350d17a40eafa30f7b99b8c1e0","datavalue":{"value":"03C85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2639848$FDBD3D94-D7F5-40CC-AC6D-7A57A0BE4167","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"02488e89072b0171b77a6763967bb5c4ce8445c6","datavalue":{"value":"03C55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2639848$6531BC3A-B22C-42EC-9F85-90B00405EC6A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"83c9060b8b5f3342db634a13be87879bb78ce3c5","datavalue":{"value":"4185590","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2639848$BD0B89D5-236D-4210-BD89-4EDC627EE7A4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3ef580dc6ba1451aeadb852ac0dd131e497dec33","datavalue":{"value":"monadic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2639848$5597B645-EE87-472D-92A4-83F5B9D6E32E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a994d450714a0df30a92ffe9567428f8242399d6","datavalue":{"value":"Hanf numbers","type":"string"},"datatype":"string"},"type":"statement","id":"Q2639848$E72FD36A-9537-4E1F-AAB5-1AF5D621E561","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":"Q2639848$FB607FE4-048D-4FF9-A6C5-C64F9B7A1C4D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"390883ad78a33fcf623e26f354177bcba16ae9eb","datavalue":{"value":{"entity-type":"item","numeric-id":1250098,"id":"Q1250098"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2639848$E49DEA3C-8A5A-411F-A02A-F364F1867A51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ef19537f6117a60da11938622219bc015c36a55","datavalue":{"value":{"entity-type":"item","numeric-id":1078169,"id":"Q1078169"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2639848$C5DA5B81-D474-4E3D-A8E8-B5CE2610ABF0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4adb3bcab7225600dc341559f294df7dc651ee5b","datavalue":{"value":"https://doi.org/10.1007/bf02764986","type":"string"},"datatype":"url"},"type":"statement","id":"Q2639848$2D96071A-329A-425A-848D-17DFC0BF204E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e1b99dd3bb7c76c168bcdbad3021e78b9e22dd67","datavalue":{"value":"W2088784981","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2639848$1DC9758E-43F3-46FB-9E6D-0F0D39B32243","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c07e9316d068246cada83dbda1bfa6a906536061","datavalue":{"value":{"entity-type":"item","numeric-id":1078169,"id":"Q1078169"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b18466e7defda56e144301814a5598d0f911cc00","datavalue":{"value":{"amount":"+0.8152535557746887","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":"Q2639848$2BCFAFD2-BCD2-4F09-A42C-57F5C492A922","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"231ea9c15e2715fdedf87f3310b6b052770b4cbb","datavalue":{"value":{"entity-type":"item","numeric-id":1058510,"id":"Q1058510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"52f70e170eef1dc60cb9c24c9ef1ce408238af55","datavalue":{"value":{"amount":"+0.7691171765327454","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":"Q2639848$6028E41A-D8D4-4DC0-B5E8-81731D41837C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"77c0d6bfb15300138aef2b9fdccb1bcddb84a667","datavalue":{"value":{"entity-type":"item","numeric-id":916645,"id":"Q916645"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6b33161e057dd3473ca41f4ac228aed59a91b671","datavalue":{"value":{"amount":"+0.7514725923538208","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":"Q2639848$E549A0F6-841E-405E-A138-B625338BB077","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4b16b9dc3557b9ca74916811b4abc76041fbab4b","datavalue":{"value":{"entity-type":"item","numeric-id":912091,"id":"Q912091"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6b3deb8b0359d72de4078f7c744379a6e1485cfe","datavalue":{"value":{"amount":"+0.7228198051452637","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":"Q2639848$1CB92E3A-706A-47B7-81FD-E502F643D281","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2b7afe009aefaea6879dc535b644bdfcfdaff1e7","datavalue":{"value":{"entity-type":"item","numeric-id":1964144,"id":"Q1964144"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"de9eb108360f632d2965d391b0814f5513a6362e","datavalue":{"value":{"amount":"+0.7165809869766235","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":"Q2639848$D9341097-A9A5-4769-91E0-64838955FB43","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2639848","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2639848"}}}}}