{"entities":{"Q1058509":{"pageid":1060357,"ns":120,"title":"Item:Q1058509","lastrevid":66159393,"modified":"2026-04-12T07:56:54Z","type":"item","id":"Q1058509","labels":{"en":{"language":"en","value":"Ultrafilters and types on models of arithmetic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3900730"}},"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":"Q1058509$CFFC194E-CA33-49D0-8CA5-355AF19D77CF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"945eb7793bf3c23cfe03d1003c18d294577615f8","datavalue":{"value":{"text":"Ultrafilters and types on models of arithmetic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1058509$4298E161-3C4A-4FBD-A937-395D1CD88E24","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"97f45d93791f7f39afc3ade4a635ff060efd1cb6","datavalue":{"value":"0565.03014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1058509$A28C9800-5105-46E0-81BA-02C5ED587B8E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"df38e92493bb55d55c0700be5e9c881058e65c97","datavalue":{"value":"10.1016/0168-0072(84)90027-7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1058509$10998CF2-DDDD-4179-92CA-658D99CE6CC1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e92aa916dd03ab724f0c385989ec9de26ac046ca","datavalue":{"value":{"entity-type":"item","numeric-id":498617,"id":"Q498617"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1058509$195845C7-1DF9-4035-BEBE-50AA15A33BE2","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f91a4bcbc93435aed71775d25a4c5cd09e26f12d","datavalue":{"value":{"entity-type":"item","numeric-id":122505,"id":"Q122505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1058509$662F4FB4-123C-4033-8978-ABF99E41C926","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2ee0f220147ae8bc749a64db56839865dbc4f127","datavalue":{"value":{"time":"+1984-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":"Q1058509$31E1D33E-92AF-45BF-877D-EE90CA592BDF","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"5ad49960d95eb6931b6c4ca18bc3db5f5c6d15a0","datavalue":{"value":"The author studies partition properties of models \\(M=<I,R>\\) (where \\(R\\subseteq {\\mathcal P}(I))\\) of fragments of second order arithmetic in terms of the existence of certain special ultrafilters on R. The notion of a definable ultrafilter is introduced, it is an ultrafilter U such that the family of subsets of I which are codable in the appropriate ultrapower of M is R itself. Several characterizations of partition properties by means of the existence of appropriate ultrafilters are obtained. Especially the properties \\(I\\to (I)^ 2_ 2\\) and \\(I\\to (I)^ 3_ 2\\) are characterized in this way. This throws some new light on the famous problem: does \\(I\\to (I)^ 2_ 2\\) imply \\(I\\to (I)^ 3_ 2?\\) One of the theorems proved in the paper gives a partial answer to this problem. Mainly, if M is a model of arithmetic comprehension, then \\(I\\to (U)^ 3_ 2\\) iff \\(I\\to (U)^ 2_ 2\\) for some kinds of ultrafilters U (where \\(I\\to (U)^ m_ n\\) should be read as usual with the additional remark that the required homogeneous set is in U). Some of the characterization theorems concern types of M instead of ultrafilters U. In analogy with various kinds of ultrafilters on N, various kinds of types are considered, e.g. p-points and selective types.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1058509$C0E3BFDA-B129-4DED-9BEC-9AA7C2B7D92C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"31eb4b2fe460225d8220386b6d12b964cafd1ca3","datavalue":{"value":"03C62","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1058509$73CD7A51-5376-4D4B-BF26-8748271005BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a22eb1f642cbb79777784e33676c61b720925aab","datavalue":{"value":"03H15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1058509$03A7AF98-DBA2-4FFB-B67C-013788B02853","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0b029cd77b00cdbc53b799cb5da0b0dc5491b651","datavalue":{"value":"3900730","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1058509$A282B456-5773-46C7-BA64-4785EDECBDF7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fe26bc07c3a373ac7bd819678cd207591b67a3e1","datavalue":{"value":"partition properties","type":"string"},"datatype":"string"},"type":"statement","id":"Q1058509$521C3245-0389-4E11-902D-7FA510CB79EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a94a32cba2f7f246ee32595b396cb774085e0175","datavalue":{"value":"fragments of second order arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1058509$D185A8C3-197C-4586-ACAD-95C930563B4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0ce954f956224be4f7fe7fb7f05fb1776f831f56","datavalue":{"value":"definable ultrafilter","type":"string"},"datatype":"string"},"type":"statement","id":"Q1058509$BA713927-68A9-4787-90BD-2CD630B82F54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4c72ed165d20bcaff8a0ac4d00dfa4c58ee8c4c7","datavalue":{"value":"arithmetic comprehension","type":"string"},"datatype":"string"},"type":"statement","id":"Q1058509$458111A5-F4A6-4973-8BC1-56763BB41A28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"485447b25ea9ae3ba0e28b66b16f57c15b7c1fe1","datavalue":{"value":"types","type":"string"},"datatype":"string"},"type":"statement","id":"Q1058509$A8E411F5-B658-4E55-B4FC-13928823B637","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":"Q1058509$ABD8DB88-BD79-4EF0-A0AE-7801DCA7027C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f0fa085524d7cf77a84cd76a8a481e575aec8498","datavalue":{"value":"https://doi.org/10.1016/0168-0072(84)90027-7","type":"string"},"datatype":"url"},"type":"statement","id":"Q1058509$BAAAAB4A-AC53-48A1-9662-86C576A3A18F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c3046dd5accccd3638871d3ae031aedb26bfeb07","datavalue":{"value":"W1965442101","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1058509$33B3DCBA-9801-45D1-9D2C-FCB3403686AF","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ddf7ee56a860be3253d0e9ea1aa932108ddf1e2","datavalue":{"value":{"entity-type":"item","numeric-id":3858182,"id":"Q3858182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1058509$07FFE26B-C426-40F3-86E1-12905A75982B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a2bc751a4d6ef81a79a95719a43335b1e86b237d","datavalue":{"value":{"entity-type":"item","numeric-id":4049063,"id":"Q4049063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1058509$D70D4773-57C4-4D74-AE52-C4EECA528363","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e42485afb6399c2f7d5ea3757040b420d8fab7de","datavalue":{"value":{"entity-type":"item","numeric-id":4135507,"id":"Q4135507"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1058509$C1A68117-6876-435A-B84F-C7632516D5E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f0f8c9891b72cae5c390a353febaea60256df77","datavalue":{"value":{"entity-type":"item","numeric-id":5686035,"id":"Q5686035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1058509$31D65469-B075-4E62-AEB7-59AF85E8B899","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"94ee281cc86a76849f7a3e3739459ac72bed758b","datavalue":{"value":{"entity-type":"item","numeric-id":5638306,"id":"Q5638306"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1058509$9DA7FF84-3D34-4833-A30A-40C7D1AC3616","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7bf55938734eef23d2122429a51d9074bc4cba44","datavalue":{"value":{"entity-type":"item","numeric-id":3335777,"id":"Q3335777"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1058509$EBCAE377-7154-4E30-A252-292CBC35D4E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"969103bc6afb0358a7e320fe99e5ca398f3551cb","datavalue":{"value":{"entity-type":"item","numeric-id":3912581,"id":"Q3912581"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1058509$60DA64D2-12EB-4185-834C-E629754A0E35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0d3c32a4fb9a3f04d796d08c0ab22ff4b2032544","datavalue":{"value":{"entity-type":"item","numeric-id":4096940,"id":"Q4096940"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1058509$A37FBC42-E67B-44EB-BD99-0B188324E91C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f26bfd5f925a623cfb1eec360c3c78276804f06","datavalue":{"value":{"entity-type":"item","numeric-id":3852172,"id":"Q3852172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1058509$5842893D-7D55-4143-BFB2-B486AC23CAE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7bc68fbc256a340ad9770614b514ab49182f4bdd","datavalue":{"value":{"entity-type":"item","numeric-id":5677475,"id":"Q5677475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1058509$43C551EC-8922-4244-B973-7FB577CEBFB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dc655957845557e913551b1da587d1754bae13ac","datavalue":{"value":{"entity-type":"item","numeric-id":4138726,"id":"Q4138726"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1058509$EE0F9143-5077-4AF2-9C71-9C9EA8C54690","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be33dcd27b47275b37a31e307842c94a443f0aff","datavalue":{"value":{"entity-type":"item","numeric-id":3949043,"id":"Q3949043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1058509$1A5178E2-DC6F-4416-9F1F-31A0672B28BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7358e709accd976b1dddd3d15df66f55546a3f62","datavalue":{"value":{"entity-type":"item","numeric-id":1225615,"id":"Q1225615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1058509$6428D8AB-5D1E-4057-8E85-DAA67D9F20ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b5784e330e314d12460a880d71a4d7dc851b1702","datavalue":{"value":{"entity-type":"item","numeric-id":3858245,"id":"Q3858245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1058509$9E6284C0-A0BE-4F84-B6E4-5A686AAC995A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"503b441b930b5773c0867ebcc9feade669ad3128","datavalue":{"value":{"entity-type":"item","numeric-id":5571692,"id":"Q5571692"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1058509$072BF71B-7DE6-4A72-AE73-5B3A83D46E8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd1588076bb08a7bfdcfc8b766d1722251e381fa","datavalue":{"value":{"entity-type":"item","numeric-id":4168613,"id":"Q4168613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1058509$EA25C8BE-A9C9-4088-92FB-323D8F0F6FC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5f75404b85aec9d3f8d81a90cf7f18337600389e","datavalue":{"value":{"entity-type":"item","numeric-id":3884109,"id":"Q3884109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1058509$4243026B-35E9-41EB-811E-E451FCFD8D21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b7380fea77cc4e959062d18a6eda644608aa87be","datavalue":{"value":{"entity-type":"item","numeric-id":4405156,"id":"Q4405156"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1058509$7AA0269C-13B4-487F-AE8A-9FADBB00E910","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a5715b8efcd14b420cdbda7fa68964c3629acfa","datavalue":{"value":{"entity-type":"item","numeric-id":3931394,"id":"Q3931394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1058509$9C5E1574-9BED-40C3-B1BB-D0B59ED3C829","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aef407998fb8e0ad5e496b69623f8818fd9f6c95","datavalue":{"value":{"entity-type":"item","numeric-id":3041166,"id":"Q3041166"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1058509$5639B5DF-E9AB-40DA-BC6F-4AA2279C9B27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1c3396435de6849adf0afda1d41b6be85bdeba9e","datavalue":{"value":{"entity-type":"item","numeric-id":3912582,"id":"Q3912582"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1058509$66B52E5F-7346-498B-9645-998FFB595974","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"328e35b66786abe4407bd879b71875b0e01d1132","datavalue":{"value":{"entity-type":"item","numeric-id":3754621,"id":"Q3754621"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"014e412f03874a20cdcc0282fb6cb0600b4de111","datavalue":{"value":{"amount":"+0.9073578","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1058509$889C93A5-5DBE-4B37-BAEE-9B56D235308C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e1b5a3d9c239daaca50adecffbdff7c3afffe72c","datavalue":{"value":{"entity-type":"item","numeric-id":2842826,"id":"Q2842826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bfbe7ee4e3b9474828277e1518ca5b8c99f0050c","datavalue":{"value":{"amount":"+0.90390944","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1058509$76DE7F78-C032-4F48-AAD5-049BB57EA53F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e27e3ff084724cc97b56d05e092adc2d34349044","datavalue":{"value":{"entity-type":"item","numeric-id":4381409,"id":"Q4381409"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"21be63508758f359f8fc45aef353b8e55bc0e0c6","datavalue":{"value":{"amount":"+0.898273","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1058509$1AAED04D-30A8-4E7A-8F04-AD987EC961E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3b37273ff9ad51340a8f2ad89d594a57ef7d40e9","datavalue":{"value":{"entity-type":"item","numeric-id":5122021,"id":"Q5122021"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"51f2f62a18fd2e8336f5560eec20c5914ac1eddd","datavalue":{"value":{"amount":"+0.89511997","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1058509$93BAB358-7B93-44A3-B786-B88427894A60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2633192babadc0a361303751581a537b08b4febe","datavalue":{"value":{"entity-type":"item","numeric-id":3063978,"id":"Q3063978"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"833ab307e03f03cc1c6258fedb9810d09b244631","datavalue":{"value":{"amount":"+0.89201117","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1058509$C300C0D1-0779-4C2E-96CB-8476DC64D2A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"44da4d74145975b023c0187d54c599ce99d1367a","datavalue":{"value":{"entity-type":"item","numeric-id":4406337,"id":"Q4406337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8eeb41aaef01e4aa372ce92bf8bcf71e1d56c51a","datavalue":{"value":{"amount":"+0.8915869","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1058509$816FF30E-E2B5-48C8-973B-8FD34D6825AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c3f5a04ad2e5c381dc2e17d93572f7826abaefec","datavalue":{"value":{"entity-type":"item","numeric-id":3343960,"id":"Q3343960"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"29c73c2587a458330b5b1d7fab98d889c7ee6488","datavalue":{"value":{"amount":"+0.890955","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1058509$A062F856-5288-42C3-8AC9-CC7D2AAF7B9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d72f0ff4757a10a0f1773d3177b5f738eb07c475","datavalue":{"value":{"entity-type":"item","numeric-id":3680818,"id":"Q3680818"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7c4f2cc42b9a74f912bc55d47732678b8a956469","datavalue":{"value":{"amount":"+0.8908734","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1058509$511D304D-3F04-48BF-BB5A-BA7038D16EAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"705d68767f0c1b6e2483b82f1a2688f9fc8b1a6c","datavalue":{"value":{"entity-type":"item","numeric-id":3322105,"id":"Q3322105"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cb522d671567c00656a49c041d5457584e64fa56","datavalue":{"value":{"amount":"+0.89056796","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1058509$92D618E0-0CFC-4D63-BA6B-499CFC419AA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ad939fadf0db44f06c22946a3c86aadaca08e286","datavalue":{"value":{"entity-type":"item","numeric-id":1097274,"id":"Q1097274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4fc756e65c4fccb80c76e34eb6265f8ed753697d","datavalue":{"value":{"amount":"+0.88787174","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1058509$EEA325F9-9776-499D-8369-93B131704ABA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Ultrafilters and types on models of arithmetic","badges":[]}}}}}