{"entities":{"Q503254":{"pageid":505021,"ns":120,"title":"Item:Q503254","lastrevid":62319396,"modified":"2026-04-11T05:16:32Z","type":"item","id":"Q503254","labels":{"en":{"language":"en","value":"Genericity for Mathias forcing over general Turing ideals"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6673864"}},"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":"Q503254$939FAAC7-D26C-4242-AF65-BDFE875110DB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4c001cb26442b73a3a4a3c31e9139e2868a07bb8","datavalue":{"value":{"text":"Genericity for Mathias forcing over general Turing ideals","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q503254$2C074896-0BE2-4C2C-813F-27ABB6C6592F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"60dbcf1c74669f099e2f8c9ac488d1ac68998948","datavalue":{"value":"1377.03031","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q503254$D8D1CA5E-8748-47AD-A9F2-BFFF12C55C86","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"013387cf05741829c5cb1447cab126ab3f6ccb0e","datavalue":{"value":{"entity-type":"item","numeric-id":435198,"id":"Q435198"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q503254$C1C30F91-C841-4A76-B854-FC0D27FE3E73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"df47b160552dc894c1aa471ca705195c5906bca7","datavalue":{"value":{"entity-type":"item","numeric-id":375887,"id":"Q375887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q503254$E9FB911D-AFDF-4252-868A-9E883C8BAA4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"702608decc0920c233c40f165cf5db0fa81362ff","datavalue":{"value":{"entity-type":"item","numeric-id":1032638,"id":"Q1032638"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q503254$FC6EBD4F-8493-46A2-BBA1-F4258E09336C","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":"Q503254$987894C0-7239-46FB-9109-8293C238DEC0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"279070e611f2298850bed427831a83010cbb2be1","datavalue":{"value":{"time":"+2017-01-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q503254$599A525B-ED8E-41B3-AA0E-78D07C1F0B03","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c4b0a3dc8b074f0e68542c5c901c4b8bf8c23333","datavalue":{"value":"https://arxiv.org/abs/1505.02226","type":"string"},"datatype":"url"},"type":"statement","id":"Q503254$6CD9EDA7-3474-410A-A19F-4CACD5C9C957","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"93d02fd8e72361d20254d4626a0d590e512125cd","datavalue":{"value":"Mathias forcing is one of the best-known notions of forcing from set theory for adding a real number to the ground model. The conditions of Mathias forcing are pairs \\((F,X)\\) of a finite set \\(F\\subseteq\\omega\\) and an infinite set \\(X\\subseteq\\omega\\) whose minimal element is larger than the maximum of \\(F\\). \\((F^{\\prime},X^{\\prime})\\) is said to extend \\((F,X)\\) if and only if \\(F\\subseteq F^{\\prime}\\subseteq F\\cup X\\) and \\(X^{\\prime}\\subseteq X\\). Intuitively, \\(F\\) is a set of elements that will definitely belong to the new set, while \\(X\\) consists of possible candidates for further additions.  Various notions of forcing for adding real numbers have become relevant in computability theory as well. In particular, Mathias forcing is frequently used, e.g. in the reverse mathematics of combinatorial principles. Here, the conditions are additionally constrained to satisfy a certain requirement of effectivity (such as being recursive) and genericity is restricted by, e.g. merely demanding that all dense sets definable with a formula of a certain complexity are intersected.  The paper under review investigates Mathias forcing when the conditions come from an arbitrary countable Turing ideal \\(\\mathcal{I}\\), the genericity requirements considered being \\(n\\)-\\(\\mathcal{I}\\)-genericity for \\(n\\in\\omega\\) (usually \\(n\\geq 3\\)), which means that every set definable from the parameter \\(\\mathcal{I}\\) by an arithmetical \\(\\Sigma_{n}\\)-formula is met or avoided, and \\(\\mathcal{I}\\)-genericity, which means \\(n\\)-\\(\\mathcal{I}\\)-genericity for all \\(n\\in\\omega\\).  We mention some of the results. It is shown that, for any ideal \\(\\mathcal{I}\\) and any \\(A\\notin\\mathcal{I}\\), there is an \\(\\mathcal{I}\\)-generic \\(X\\) such that \\(A\\) is not Turing-reducible to \\(X\\) (Proposition 3.2). As an application, a new proof is given of the existence of \\(X,Y\\subseteq\\omega\\) such that \\(X\\) grows faster than any function recursive in \\(Y\\), while \\(Y^{\\prime\\prime}\\) is not Turing-reducible to \\(X^{\\prime}\\) (Corollary 3.3). More information on the reals computable from \\(n\\)-\\(\\mathcal{I}\\)-generic reals is obtained in Corollary 4.3: If \\(G\\) is \\(n\\)-\\(\\mathcal{I}\\)-generic, \\(n\\geq 3\\) and \\(X\\) is \\(\\Delta_{n}\\) in \\(\\mathcal{I}\\) and computable from \\(G\\), then \\(X\\) belongs to \\(\\mathcal{I}\\). On the other hand, when \\(X\\) is \\(3\\)-\\(\\mathcal{I}\\)-generic and \\(Y\\subseteq X\\) is \\(3\\)-generic for the ideal generated by \\(X\\), then \\(X\\) is not computable from \\(Y\\). Finally, if \\(n\\geq 3\\) and \\(G\\) is \\(3\\)-\\(\\mathcal{I}\\)-generic, then a set \\(X\\) which is generic for the ideal of recursive sets is computable from \\(G\\) (Theorem 5.6). The related claim that, for any ideals \\(\\mathcal{I}\\subseteq\\mathcal{J}\\) and every \\(\\mathcal{J}\\)-generic, there is some \\(3\\)-\\(\\mathcal{I}\\)-generic real computable from it remains an open question (Question 5.5).  The paper is carefully written and briefly recalls the basic notions from the theory of forcing. Still, the reader is required to have a considerable background of computability theory.","type":"string"},"datatype":"string"},"type":"statement","id":"Q503254$0DA49CF4-A40F-4E35-83AF-08033DA10BCF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"86e7d9065663fa3ffd8f6c70df93df9f4742e385","datavalue":{"value":"03D28","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q503254$33CF8C7F-46CE-42CA-842B-3C9FDE885EED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"98885bd1c25b8006ce085f2a50fc8ac0c1b6bdcd","datavalue":{"value":"03E40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q503254$845C448C-D4E7-431A-BDF3-3CF390465B11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bfc1b1c272474384546bcd37c9164f9d239a9903","datavalue":{"value":"03D32","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q503254$B28ED3C8-9BF8-43D5-A4BB-AD2CF10EC08C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4360a3cfd8e657af32addfcb7ca1e57dc87719ba","datavalue":{"value":"03E75","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q503254$EB953EBE-BB95-4FC1-8696-F99524656963","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6b929315ec42ba26e6354f30dd2c507ee127b2bc","datavalue":{"value":"6673864","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q503254$78D5E606-E5D4-443B-B384-F22565AE8123","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"916643e476c65c69f963eef9344a958ed2c99ed1","datavalue":{"value":"computable Mathias forcing","type":"string"},"datatype":"string"},"type":"statement","id":"Q503254$26807D69-98D8-4557-A06C-73E78A2A30DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c8d8b1d67384cd642422b7e762b22af41307ae4c","datavalue":{"value":"recursion theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q503254$084909A7-75B1-4818-A25F-E8B9A9BB370F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1b84022423b79a4f0a01dd341a809dafe6d973b5","datavalue":{"value":"Turing ideals","type":"string"},"datatype":"string"},"type":"statement","id":"Q503254$75FE106F-04D5-4834-8845-C6FCFDAE671B","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":"Q503254$ACA4278F-AAC6-43A0-8136-AF56DFAC27B6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1fb4ff89465f45e80b6a6b5bc81b6e2a98d4057c","datavalue":{"value":"W2962795890","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q503254$369A6EA1-911C-4492-A003-FACF45F2E9B1","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4406afb7b67b3797abff84260722b0bb09f81cc","datavalue":{"value":{"entity-type":"item","numeric-id":5477626,"id":"Q5477626"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q503254$2CD45099-5B4B-49D2-81DF-2DBF20C736BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5520fffd53d1ba5d09a68a5c4d1e6789ea4f26cd","datavalue":{"value":{"entity-type":"item","numeric-id":2453068,"id":"Q2453068"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q503254$C5714F92-C55F-44C2-BA9F-6A309E24E604","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4fe1f8f54ba03c49cff0d68f7b9824a34fdf219b","datavalue":{"value":{"entity-type":"item","numeric-id":2732267,"id":"Q2732267"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q503254$C6BC6892-1502-4B93-AF65-D788779CD333","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"39cedc3fa24c35e0eebfec1ed71c8ecf5a4a8447","datavalue":{"value":{"entity-type":"item","numeric-id":1938403,"id":"Q1938403"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q503254$B8C770A6-C89A-4C7F-827E-6325B0CB43B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8f85186927e9336c9a482f6b073e24580eb2fbbc","datavalue":{"value":{"entity-type":"item","numeric-id":3630579,"id":"Q3630579"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q503254$2196E873-2637-45E8-B036-A6EF7E7D5663","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1426762377715ccec104f47d5406e4a840d54bc4","datavalue":{"value":{"entity-type":"item","numeric-id":5549803,"id":"Q5549803"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q503254$2FFD1AB9-6E9F-4CF8-ADB3-02CDA715FDE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6a45c80e903392eb8b3b993547de46171e902443","datavalue":{"value":{"entity-type":"item","numeric-id":1394222,"id":"Q1394222"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q503254$8A813D33-8943-4739-B5B2-5CB493A6F93F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d69df0a0537188c5035dc1690fb4ebf6327592c","datavalue":{"value":{"entity-type":"item","numeric-id":2652167,"id":"Q2652167"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q503254$C75E2F96-709D-408D-B89D-201723532100","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7456392ba6402a2398a43c3568dad7f52da20183","datavalue":{"value":{"entity-type":"item","numeric-id":4147976,"id":"Q4147976"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q503254$D01FD2CE-D35E-4BAD-9949-F34B8E38593D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3145791be41afb1e842f815f01a740997a825544","datavalue":{"value":{"entity-type":"item","numeric-id":1913632,"id":"Q1913632"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q503254$2FFA1544-6007-47D8-B1AC-78DFC656EA85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c388b60232439703fa64a3e14f0b073849f7bb2a","datavalue":{"value":{"entity-type":"item","numeric-id":5573379,"id":"Q5573379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q503254$C170C72B-7CEA-44C1-A498-E0A14EAB8F63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e47a2b9d13405189c02127187179ae3a2b67315a","datavalue":{"value":{"entity-type":"item","numeric-id":2864221,"id":"Q2864221"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q503254$AFB53E8E-EC92-4D81-A667-605E0EEAFBAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f43224d188437f230ea76494d0a43aec915f05f0","datavalue":{"value":{"entity-type":"item","numeric-id":4198744,"id":"Q4198744"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q503254$19A5D275-16E4-4B52-A79D-F4FAB972DD4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a75fb05ff45c85c418587a5c71d455d08c4df02a","datavalue":{"value":{"entity-type":"item","numeric-id":768100,"id":"Q768100"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q503254$B09F6A44-2BCD-4D4E-9BF1-A5541F8D04BC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8eee564cc7d440aeefc5ba0596cc4dcfda79de1e","datavalue":{"value":"10.1007/S11856-016-1420-8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q503254$A23CA48A-A70C-4D66-8977-544A4644CC86","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d0b2379970857ddbc97884f9fc0e399f30c11cfa","datavalue":{"value":{"entity-type":"item","numeric-id":2453068,"id":"Q2453068"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c9cab6ff0049da66c81c8fe86c7f6e15b46452cc","datavalue":{"value":{"amount":"+0.93800604","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":"Q503254$CC2F0887-E449-40A2-9725-F2905B74F12F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dd76ea4c076df33ce2dedd516348b61786ce7e1c","datavalue":{"value":{"entity-type":"item","numeric-id":2904402,"id":"Q2904402"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"74edeec951b406623dd94b037766c2a9ffd9fe26","datavalue":{"value":{"amount":"+0.8670076","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":"Q503254$A6D930D0-90D7-4C52-AD6F-ABFD6DA7E389","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fb89d4f7b261fe3108f6c24a8534def6171eb973","datavalue":{"value":{"entity-type":"item","numeric-id":1680155,"id":"Q1680155"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ae87a692fc99ee436e80d2c4e648e5aca29a32fb","datavalue":{"value":{"amount":"+0.8668654","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":"Q503254$1D741F62-D7B2-49F9-BD8B-E298D4FDEB02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2befe2d1666b46d6bc45ad0476bc0c31d5821fad","datavalue":{"value":{"entity-type":"item","numeric-id":3317774,"id":"Q3317774"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8694c961d739d0029a85d562780d1f6e3f4c3440","datavalue":{"value":{"amount":"+0.8656153","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":"Q503254$C466DF8B-BB87-4B8E-ABA6-84E026D3423D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4fa24b1e99c1b218b38122b7faa9eb95e2adc3f9","datavalue":{"value":{"entity-type":"item","numeric-id":5477350,"id":"Q5477350"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"96585508c9c41b853351df7a799440e449a0d9c9","datavalue":{"value":{"amount":"+0.8635675","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":"Q503254$AD630958-A471-4B4E-A0D1-42FBC26BD076","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"626702b8fd35a0a6cac6a0f60eb770e12e0f5e49","datavalue":{"value":{"entity-type":"item","numeric-id":2209009,"id":"Q2209009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0424cb282d04ff1f7b1d62d6c5b0c9bcf3e891a9","datavalue":{"value":{"amount":"+0.86163425","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":"Q503254$75F900B7-2BC0-4438-B401-2DF8F68C1CFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5852c6b405de3cc9e838b9e8c6aec9036d2038f3","datavalue":{"value":{"entity-type":"item","numeric-id":5693600,"id":"Q5693600"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7a130ec88597494fa98c7a5559ebc381dcb4482d","datavalue":{"value":{"amount":"+0.85935724","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":"Q503254$6F226336-806D-4339-9692-F0B05B78CFF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1a3092d3f79ac7379074a2e87427abe44bb5f1ac","datavalue":{"value":{"entity-type":"item","numeric-id":3441433,"id":"Q3441433"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8243330c3e1302ce14fff629b1091818da2a2766","datavalue":{"value":{"amount":"+0.85848176","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":"Q503254$D59099C0-033F-4E2A-A5A9-8F731A2F09DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f7d73fcf63b6b3c7eaa4b38d1c467ad81c3e1d56","datavalue":{"value":{"entity-type":"item","numeric-id":334983,"id":"Q334983"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9de066c8c97b91ce8c6a89177e76ca14a377a96f","datavalue":{"value":{"amount":"+0.85522974","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":"Q503254$D6DD9166-675C-4A5A-9D29-CC8AFFEB5E96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eae89e9d84cfd6d50c5f4a3d64718b304b6199a7","datavalue":{"value":{"entity-type":"item","numeric-id":5338333,"id":"Q5338333"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9e5d5cfb8e18118acb711884a6f56c0fcdcadc53","datavalue":{"value":{"amount":"+0.85492086","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":"Q503254$973BA9F5-75B1-48BE-84FC-1EA2B1E9D34D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Genericity for Mathias forcing over general Turing ideals","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Genericity_for_Mathias_forcing_over_general_Turing_ideals"}}}}}