{"entities":{"Q1306791":{"pageid":1317541,"ns":120,"title":"Item:Q1306791","lastrevid":67350882,"modified":"2026-04-12T17:02:12Z","type":"item","id":"Q1306791","labels":{"en":{"language":"en","value":"An existential fragment of second order logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1348043"}},"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":"Q1306791$03249D71-5475-4237-BBC4-FDA72134ECEB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"371327d46a097520558056f7641fd21f391466f0","datavalue":{"value":{"text":"An existential fragment of second order logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1306791$26381151-FF73-4619-95DC-96DBFF3D6DA2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5a26a6465fd48563198715ff12eed576a35b05e5","datavalue":{"value":"0936.03009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1306791$6FA26B23-341F-4C5C-8245-3FF878AF701D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2477c4438484cc2d4b93c5ee2a14c06fcc0c2090","datavalue":{"value":{"entity-type":"item","numeric-id":948885,"id":"Q948885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1306791$E8CB8FFE-AB53-4D2A-99C2-DC359513FC09","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a0a7cd28a9f85b9c6ad57bd5bb1ae477bfe37846","datavalue":{"value":{"entity-type":"item","numeric-id":114337,"id":"Q114337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1306791$5015B1AB-A775-444B-AD7A-7CC7F2C0AFEC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9ff6f78d2c46342fc5d8d801323510e9e41b4f43","datavalue":{"value":{"time":"+2000-05-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1306791$DB6E4DC1-9C7E-448C-8DEB-78757BDA5ED9","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"1dd6517744032989957aa2d3a9ad132e3dcb87e9","datavalue":{"value":"The author deals with the set SO(\\(\\exists\\)) of those second-order sentences in a finite relational signature, whose quantifier prefix is an arbitrary string of second-order quantifiers followed by a string of existential first-order quantifiers. This fragment of second-order logic is shown to be decidable with respect to finite satisfiability; some other model-theoretic properties of it (compactness, finite submodel property) are also discussed. Using Ramsey theory in a somewhat unusual context, the author obtains a few non-definability results for SO(\\(\\exists\\)). At last a hierarchy of finite-variable fragments of SO(\\(\\exists\\)) is examined.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1306791$3861B195-4B46-406F-AE27-C5EF1AA6E0F7","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"24e70c767ee0c26b0d348d13cd32cb7416cc7b76","datavalue":{"value":{"entity-type":"item","numeric-id":466879,"id":"Q466879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1306791$D3F9E86D-642B-47C2-915D-F28F77BAF460","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"dd8503cb84d44ac2adb520ebbb11872e6dc1ec3b","datavalue":{"value":"03B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1306791$CEBF4C28-6CA1-49F5-9B4B-7DDB5A5A9999","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1306791$FEA08129-9670-494A-A48F-577467E2FBAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1306791$301E0F17-FCEA-452F-9436-6790500E192C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b58df756e27df0e7b4d6d54dbbfd9015b563e63d","datavalue":{"value":"03C13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1306791$1B39FB22-C9F5-4808-B6A3-A64DCF70C0BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cd1ebd9dd665e7350d17a40eafa30f7b99b8c1e0","datavalue":{"value":"03C85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1306791$970EEF42-AFFE-4AB1-A63D-C62AD8017302","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8b0f166240d9dc937c89dbc2241079deae14191f","datavalue":{"value":"68Q19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1306791$227903AC-DE80-44D6-AEDB-6831A0A84F08","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1efd7061275d49451b36a0639b6995face62c53c","datavalue":{"value":"1348043","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1306791$E93F35FE-D66E-4015-AA6E-DD5048FB1446","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q1306791$B87E78E6-4A40-4766-B031-FB23217D76A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"54e4c688bb0bdf7bc7e71c5e77f1c31b88f62832","datavalue":{"value":"finite structure","type":"string"},"datatype":"string"},"type":"statement","id":"Q1306791$E586E619-A9FC-4735-ABE5-7D65112DC45D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dd21b22ca94cfb71b412528bf633687d34b57866","datavalue":{"value":"finite submodel property","type":"string"},"datatype":"string"},"type":"statement","id":"Q1306791$275DEBCE-AC91-4716-9CF0-C4D58C70B2E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d756dbdf813bbb21507e5d756936d486ceb6d073","datavalue":{"value":"non-definability","type":"string"},"datatype":"string"},"type":"statement","id":"Q1306791$85497E1D-1EED-405B-A465-78C233C61A60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5e01102226a676edcf182ed47a9896bd215db761","datavalue":{"value":"second-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1306791$046AAF96-9419-4453-A42B-ADD0B3A226F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"88f9e038ce90ce67b356cbe14c3c3f15dfb789be","datavalue":{"value":"Ramsey theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q1306791$F14717BF-9AB2-43F3-85BE-B31546A9FE8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9ca03f46842bad00dc95e567b2e06f1f2f7a38f1","datavalue":{"value":"finite-variable fragments","type":"string"},"datatype":"string"},"type":"statement","id":"Q1306791$1112BA41-B19A-4C7B-8926-9CC750D76A9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"352e0e98b1946578a4d14d613a018d2c7e6139e7","datavalue":{"value":"finite satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q1306791$EE074C93-E7CD-4EC2-9FAB-64BBCDDA63D1","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":"Q1306791$3D064986-D0F5-4E8F-9F59-C50296BAD151","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"052711a7907663777346c96516d20a043d17ccd6","datavalue":{"value":"https://doi.org/10.1007/s001530050126","type":"string"},"datatype":"url"},"type":"statement","id":"Q1306791$74F0E4AD-0057-4D74-AC73-CCD9AA24F200","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"55522b0fa954efbbecf50952305bfceb3622a0e8","datavalue":{"value":"W2043214415","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1306791$3913642E-B1A7-4594-9A71-FFE85C6A98E0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6170871e5004e7dc24a620c844b4478a95bab3f1","datavalue":{"value":"10.1007/S001530050126","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1306791$A08C87F7-78BF-4E2E-AD5D-DF95EC5C9140","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fbd47da975f8513bd9cb72bb92c89c79ea12fdfe","datavalue":{"value":{"entity-type":"item","numeric-id":5499648,"id":"Q5499648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d56d790bae367cf6544a81f48a77097004f6087f","datavalue":{"value":{"amount":"+0.7798231840133667","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":"Q1306791$0B1113A2-A085-4D1E-99D0-7F2692F31908","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1e9b81cf1901c48d711554662ba0c0cd454599a1","datavalue":{"value":{"entity-type":"item","numeric-id":4406309,"id":"Q4406309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5a4ca4b2669300b7e567148dbf55277c07b95903","datavalue":{"value":{"amount":"+0.7637852430343628","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":"Q1306791$5C4F3E5D-BC12-4E71-BA28-1B897B313177","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"145e16102924489d49fb4c46ee8eede861d58952","datavalue":{"value":{"entity-type":"item","numeric-id":920075,"id":"Q920075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7c26da081dd98f9289d7e8e5635b701a8e8969c9","datavalue":{"value":{"amount":"+0.7548540234565735","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":"Q1306791$AA825833-2393-429F-9CDF-15FCE6128FC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7cb8b5764c9c105db866a3c236599c6a69c93a31","datavalue":{"value":{"entity-type":"item","numeric-id":2947165,"id":"Q2947165"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"297e8d648df0e59b6f33ed06474b6023a4c72b55","datavalue":{"value":{"amount":"+0.7384312152862549","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":"Q1306791$316893BF-F9D1-4C03-8852-500A8887F3B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ccd3baca0b6a5bbecb03900edcc967692ccdd30d","datavalue":{"value":{"entity-type":"item","numeric-id":4391423,"id":"Q4391423"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5a810b3a7a7c5c27fff4aa328906bce1a0d24f3f","datavalue":{"value":{"amount":"+0.7339683771133423","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":"Q1306791$92273FC8-5685-4C10-A137-C3F5BE410122","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"An existential fragment of second order logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/An_existential_fragment_of_second_order_logic"}}}}}