{"entities":{"Q1361405":{"pageid":1372144,"ns":120,"title":"Item:Q1361405","lastrevid":46507386,"modified":"2025-12-24T22:39:04Z","type":"item","id":"Q1361405","labels":{"en":{"language":"en","value":"Definability of polyadic lifts of generalized quantifiers"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1038920"}},"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":"Q1361405$1FC013C2-AACD-4681-97D7-6BA466B0309E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"648f21e3ddcd50be7f31ae0a313e47f80fb1aa01","datavalue":{"value":{"text":"Definability of polyadic lifts of generalized quantifiers","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1361405$278CA3C2-CD01-4986-8E56-E3FA1CF3C97D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6e31d9743e23e9bf442d5e3278f09fe3df5c3116","datavalue":{"value":"0880.03015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1361405$888E044E-190C-439C-92B8-8842367D4234","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5975c66be2f832d6b1d426af8c87fbf5b08b045c","datavalue":{"value":"10.1023/A:1008215718090","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1361405$CA9A89D9-654C-4C66-BF51-343DE0E5801F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4601a858f87638d70dc47292abc072f2d23b4985","datavalue":{"value":{"entity-type":"item","numeric-id":259069,"id":"Q259069"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1361405$915779BB-4CA9-4433-8D0D-676E29A2DBB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"54e91bc5e0f61733bb6f4b607f8868935e632c0d","datavalue":{"value":{"entity-type":"item","numeric-id":278764,"id":"Q278764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1361405$E34A64E3-DCDA-4EC7-88C8-E787E9650F7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2c414b98e35b0926af8d4fd55e015b844d4b045e","datavalue":{"value":{"entity-type":"item","numeric-id":383073,"id":"Q383073"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1361405$839CD8F3-0479-4C5B-9438-BC296251572D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"147edfc9dddd5bbefb3ef0a24d334c7da90bbf45","datavalue":{"value":{"entity-type":"item","numeric-id":195246,"id":"Q195246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1361405$0FC3EB30-F10A-41E6-B187-A74DCE1094D5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2a0b49252c47513608a2024e704aeac58803f16a","datavalue":{"value":{"time":"+1998-01-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1361405$F540AB4D-993A-43FC-8EC2-A88540372DD9","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"b1fb6bfc9b49ca2e8e1519fffd4862c451ade47b","datavalue":{"value":"Associating a quantifier \\(Q_f\\) (by letting \\(Q_f x\\varphi\\) mean there are at least \\(f(n)\\) elements \\(x\\) satisfying \\(\\varphi\\), where \\(n\\) is the size of the universe) with a function \\(f:\\omega \\to\\omega\\) one obtains a general form of a monotone quantifier of type \\(\\langle 1\\rangle\\). The authors define branching, Ramseyfication, and resumption as polyadic lifts of quantifiers as above and give definability characterizations over finite models for such polyadic quantifiers.   Let \\({\\mathcal L}\\) be a logic and let \\({\\mathbf Q}\\) be a class of quantifiers. Then \\({\\mathcal L}({\\mathbf Q})\\) denotes the logic obtained from \\({\\mathcal L}\\) by adding all quantifiers of \\({\\mathbf Q}\\). The quantifier \\(Q\\) is definable in \\({\\mathcal L}({\\mathbf Q})\\), if the sentence \\(Qx_1, \\dots, x_n(P_1 (x_1), \\dots, P_n (x_n))\\) is logically equivalent to some \\({\\mathcal L}({\\mathbf Q})\\)-sentence in those predicate symbols.   Moreover, in the first section a brief linguistic excursion for background and motivitation is included.   In the second section the authors consider monotone quantifiers. If the function \\(f\\) is bonded, then for any \\(k\\geq 2\\), the branching as well as the Ramseyfication of \\(k\\) monotone quantifiers \\(Q_f\\) are definable in \\({\\mathcal L}_{\\omega \\omega} (Q_f)\\). The same assertion is true for the relativization \\(Q_f^{\\text{rel}}\\) of \\(Q_f\\).   Using a suitable Ehrenfeucht-Fra\u00efss\u00e9 game, the authors prove in sections 3, 4, and 5 a characterization of definability of branching, Ramseyfication, and resumption, respectively. The three proofs are quite different.   In the concluding section 6 some open questions are raised.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1361405$A01C2F11-2672-4447-B375-4A02D9AFBD18","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b58df756e27df0e7b4d6d54dbbfd9015b563e63d","datavalue":{"value":"03C13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1361405$5E41CC34-26CF-4EEF-8C2E-2A5CE0CF0233","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25e5a5f23d3e2e2c05864da16eda493011c33276","datavalue":{"value":"03C80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1361405$B39C32D5-ED2A-4638-A78D-A00F270FC4EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c1d2d83da0d870574277144fdd1db9abaae162ec","datavalue":{"value":"03C40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1361405$FB423446-DD60-4FA3-BA8E-97853BECE2EA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5e163b144c3814abe10953457e914b8ba7d160ed","datavalue":{"value":"1038920","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1361405$E91585C9-32CA-4930-B694-EAC09A0BFEA8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b1e29c1e69df0b6d1827b21cf5575217093f886f","datavalue":{"value":"generalized quantifier","type":"string"},"datatype":"string"},"type":"statement","id":"Q1361405$218EC0F5-4789-472A-B57C-878D50FB4CD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"307d60497ca7d46076790dae57eda5827cdba638","datavalue":{"value":"monotone quantifier","type":"string"},"datatype":"string"},"type":"statement","id":"Q1361405$18913423-E7E2-4767-8F13-639285AC0A33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c23ab83b0e0b7402d2b88769b37817a48d25bf49","datavalue":{"value":"branching","type":"string"},"datatype":"string"},"type":"statement","id":"Q1361405$4FA400B4-B335-486E-9996-2E356C35202E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fd8ec53649bbe68c3449b0f3d5e610160ce640fc","datavalue":{"value":"Ramseyfication","type":"string"},"datatype":"string"},"type":"statement","id":"Q1361405$1DC6B407-ECA2-4A74-990B-9E2F42DC4083","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3cd0a1ed7fcb2fd82880b0f7f3e51d909d8f8dea","datavalue":{"value":"resumption","type":"string"},"datatype":"string"},"type":"statement","id":"Q1361405$018374E9-342C-40E7-9D5F-F042A1B8D25E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"186ba5d7d08fbd9d45d1e6dea6ec6b7cf9b387c8","datavalue":{"value":"polyadic lifts","type":"string"},"datatype":"string"},"type":"statement","id":"Q1361405$5EBAB37B-3C27-4CFA-AF12-99A5BAC40937","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a2ac3f30d773ef1894fb2eb52711e135b17d0158","datavalue":{"value":"definability","type":"string"},"datatype":"string"},"type":"statement","id":"Q1361405$A0E8148D-B1B5-4DE3-9791-E0812840F53C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"62e02371642cec8856a2b0f1982452bbc08d0d63","datavalue":{"value":"finite models","type":"string"},"datatype":"string"},"type":"statement","id":"Q1361405$07C2F8A4-1539-469E-BCDB-8AB4211FEED3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8e7d635305e31426b285a1d3fe2f1307ae4e0760","datavalue":{"value":"polyadic quantifiers","type":"string"},"datatype":"string"},"type":"statement","id":"Q1361405$870A8082-B301-43E0-8DAC-6038A0B4AFA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"06059c11269d258bbccac60c4e9a619d8f9e5b9a","datavalue":{"value":"relativization","type":"string"},"datatype":"string"},"type":"statement","id":"Q1361405$8F1CA1EB-868B-478A-AF99-728D30AFA05F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb06b3c61aaaeefbd9a6ae48efc57ee7c0a288a5","datavalue":{"value":"Ehrenfeucht-Fra\u00efss\u00e9 game","type":"string"},"datatype":"string"},"type":"statement","id":"Q1361405$D1991E85-80F3-4868-8D60-033F3734ADFE","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"6537e4dbc27d6024722d6db5255b901cc30f77dd","datavalue":{"value":{"entity-type":"item","numeric-id":1177860,"id":"Q1177860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1361405$05AB1278-6279-490D-84AA-8EE36153717B","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":"Q1361405$9D67DEBE-A4A7-4E95-A9E1-2D50623E1A72","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"518aa0fb8a1443591efdf8e7079aa487c49fe8e6","datavalue":{"value":{"entity-type":"item","numeric-id":1361404,"id":"Q1361404"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0d47a1d00d022844c9516d280d570eb769806d0a","datavalue":{"value":{"amount":"+0.8129343390464783","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":"Q1361405$D8D575A3-F02A-4420-AF71-22AD855C52D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9a162f527f70d513b7515c5ff5e9d9e5447a6466","datavalue":{"value":{"entity-type":"item","numeric-id":4733854,"id":"Q4733854"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"10936564df537f3ec2a1205ac618516824701cda","datavalue":{"value":{"amount":"+0.8116278052330017","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":"Q1361405$261FAB2E-5B2F-4E53-B6BF-64C8537E07DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2ca51355f164d68af93dc59ee0b31a8f2a1977d3","datavalue":{"value":{"entity-type":"item","numeric-id":964457,"id":"Q964457"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9f13d7082eac1574d6167d2858ec6d19e054b835","datavalue":{"value":{"amount":"+0.7890475988388062","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":"Q1361405$AD73C78C-D35A-40BC-BBAE-BFE191DE9CDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"726bea4e76da4cfbeeaa75a8d918ec17e8168a8e","datavalue":{"value":{"entity-type":"item","numeric-id":3003360,"id":"Q3003360"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6652cf476c6cbafcd844013dc7c1e2f4bbda07ad","datavalue":{"value":{"amount":"+0.7809706926345825","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":"Q1361405$1BB4FB87-FAAD-4515-BC6F-96B049AED567","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1361405","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1361405"}}}}}