{"entities":{"Q1820771":{"pageid":1831513,"ns":120,"title":"Item:Q1820771","lastrevid":70909056,"modified":"2026-04-13T18:10:43Z","type":"item","id":"Q1820771","labels":{"en":{"language":"en","value":"On the nonaxiomatizability of some logics by finitely many schemas"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3995640"}},"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":"Q1820771$FC29D307-BBFD-44B2-86F1-590B7874572F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"cc0a4bf3de0fd6f928f9cba26dd62f1a3cdef216","datavalue":{"value":{"text":"On the nonaxiomatizability of some logics by finitely many schemas","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1820771$13F2FBB9-80BB-4AA3-B4C6-DFE82B36BB94","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"43b1f14b0a5d0de6025cd602fd7cc6781cce7d49","datavalue":{"value":"0615.03016","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1820771$B02B679B-000A-46C1-9CDB-9A911B1D9198","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":"Q1820771$0689CA69-9778-4D0B-A7E3-B6B34DBA843F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"06d1a1dcd72065ddd778e28bb59beaee6efcbe8b","datavalue":{"value":{"entity-type":"item","numeric-id":1147694,"id":"Q1147694"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1820771$F26977FB-4B57-459B-871D-10C6BAE58824","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":"Q1820771$B4AFCEB9-8CF4-4733-95CA-943A281B924D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"63df7153432d81fa42019fcabb076c89649b0b5b","datavalue":{"value":{"time":"+1986-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":"Q1820771$56D456C6-A0A0-4EFB-ABFE-D212995F42BB","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"aa67ab3d18df1f7e6fa4d26bc4b662a74c5dd8cf","datavalue":{"value":"After giving a definition of schema, the authors prove that the class of \\((\\beth_{\\omega},\\aleph_ 0)\\) two-cardinal models, albeit recursively axiomatizable, cannot be axiomatized by finitely many schemata. As an application, it is shown that no finite collection of schemata suffice to axiomatize the logic with the quantifier ''there exist at least \\(\\kappa\\) many'', where \\(\\kappa\\) is a strong limit cardinal. In a final note it is announced that the same result has been proved by the first author to hold for the logic with the binary Magidor-Malitz quantifier in the \\(\\aleph_ 1\\)-interpretation.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1820771$9AAF2B41-5ED9-47DA-8891-14D46AF85267","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"e860208dea0a8f07f1622b3764a2f40159457c4c","datavalue":{"value":{"entity-type":"item","numeric-id":186051,"id":"Q186051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1820771$7925D614-EB08-4685-8071-9FFC0C5D4C0E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"02488e89072b0171b77a6763967bb5c4ce8445c6","datavalue":{"value":"03C55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1820771$2DD8E2D8-2DB9-41D2-A443-B6122E70EB44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25e5a5f23d3e2e2c05864da16eda493011c33276","datavalue":{"value":"03C80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1820771$E3D5C530-CCCD-4EEE-8F4B-A8370543FD1F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bca62bbec77d50ae55f864c0f849f2a22ef703fd","datavalue":{"value":"3995640","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1820771$0A3F4C72-AACA-47B8-B5F2-25D2D16C9278","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b0265125495364e02b330c2f14c3f18af873059e","datavalue":{"value":"axiomatizable logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1820771$0AB22FBA-C457-4443-A49F-BB58FF2DD589","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6928876c3b8d519b9a48ae1da450c80821dba75f","datavalue":{"value":"axiom schema","type":"string"},"datatype":"string"},"type":"statement","id":"Q1820771$7AAEF625-73B2-432F-A105-6C11C8529D28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a186fe60865125c7e79cf46e3bd47c9956c52a4d","datavalue":{"value":"recursive axiomatizability","type":"string"},"datatype":"string"},"type":"statement","id":"Q1820771$A04F4091-31FF-4924-9350-ACA2C1D5AF3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bd2de0246692009254a2fedef2a495137882b5fe","datavalue":{"value":"two- cardinal models","type":"string"},"datatype":"string"},"type":"statement","id":"Q1820771$6E92EB69-9A32-4A66-B44B-A42441180C58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fa164cf780b60aa6410b4669f3eb0bd84a770c6e","datavalue":{"value":"strong limit cardinal","type":"string"},"datatype":"string"},"type":"statement","id":"Q1820771$17015752-C107-4AA1-9841-B70FD12E505C","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":"Q1820771$695E312A-F9CF-4A22-B651-8A011F89B40B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b3b1211827e1a9c061c4249f0b9c456d5cfddcb8","datavalue":{"value":"https://doi.org/10.1305/ndjfl/1093636517","type":"string"},"datatype":"url"},"type":"statement","id":"Q1820771$CB906AD8-3A5B-4A02-8082-DB2B571B6825","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c9bd8979a08dddb8856e372745c3163848b2536c","datavalue":{"value":"W2053221524","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1820771$7E06FE52-AFB9-4F18-B620-1902E1A73345","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5f2489222bfd985f3128a3d80e7f216db38bb683","datavalue":{"value":"10.1305/NDJFL/1093636517","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1820771$DCBC8B59-4C12-4268-BB73-E12DFF839FF4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9121dcc8e4293e39ff4a3157a9f538de9541081b","datavalue":{"value":{"entity-type":"item","numeric-id":918971,"id":"Q918971"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"31d8352b1c7672964789c059d353ee383dbdd53e","datavalue":{"value":{"amount":"+0.8597295880317688","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":"Q1820771$4A86A550-B65A-4DA5-B045-44F22CFF47CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e2649fc2d6c148221c774e5354997f8a5d3ab625","datavalue":{"value":{"entity-type":"item","numeric-id":4357323,"id":"Q4357323"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"375ebb2bcf0aeb39363745951ebf8b2026fe500d","datavalue":{"value":{"amount":"+0.7731438875198364","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":"Q1820771$C78CFF11-164E-4561-98E7-CF96C01249B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e06ac09d594726c36e698b1d1d97d109d79f3a3a","datavalue":{"value":{"entity-type":"item","numeric-id":1935865,"id":"Q1935865"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"db7c3216262eb0d4d5c22d9f46849486ac20bfe0","datavalue":{"value":{"amount":"+0.7423909902572632","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":"Q1820771$10530EF0-95B4-4230-BFF8-83F022ACE1B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e2c3ca0bd081408813083cd5f01aaf79becf02f5","datavalue":{"value":{"entity-type":"item","numeric-id":3775537,"id":"Q3775537"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6e00b1004888ec528d1e4bbb11423a2f375f66e3","datavalue":{"value":{"amount":"+0.7411705255508423","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":"Q1820771$F053A8D8-6857-4AE6-9837-31D0F1616BD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3f0e4095fd2f8671743c45ba21a1f16d5aeda902","datavalue":{"value":{"entity-type":"item","numeric-id":2915901,"id":"Q2915901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7088c50436aeb77aaa2693064738534128199259","datavalue":{"value":{"amount":"+0.7392948269844055","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":"Q1820771$E2A43B8C-3962-49D3-AAE1-85F08D037DE4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On the nonaxiomatizability of some logics by finitely many schemas","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_the_nonaxiomatizability_of_some_logics_by_finitely_many_schemas"}}}}}