{"entities":{"Q3199408":{"pageid":3210116,"ns":120,"title":"Item:Q3199408","lastrevid":86646908,"modified":"2026-06-04T03:53:14Z","type":"item","id":"Q3199408","labels":{"en":{"language":"en","value":"Generalized Hyperarithmetic Theory"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4174915"}},"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":"Q3199408$CD3A383C-D360-4CED-8AE4-2B6A432D4305","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"744455e030fcacc5c934573129b420bd5286183a","datavalue":{"value":{"text":"Generalized Hyperarithmetic Theory","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3199408$CC148245-742B-463D-95C7-787FE5860E2F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b28298dfbe98d2625013780cb43ed7fee2c6e7e9","datavalue":{"value":"0714.03040","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3199408$CC2916A2-CC0C-4778-AEA7-A1591F2A6762","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6310f47b5d6e884d0d45ff98b6c9a388825cb743","datavalue":{"value":{"entity-type":"item","numeric-id":998134,"id":"Q998134"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3199408$31E6D0EA-2256-4378-99F7-510DC2B13A44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a89229a66bdfdb3e2e5619b7e8031866b3343269","datavalue":{"value":{"entity-type":"item","numeric-id":189917,"id":"Q189917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3199408$AE9A2EC8-D1B3-4179-96F2-089F4E0E3617","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d8799c40959ae8ff71bbf3cf3439e413c339966c","datavalue":{"value":{"entity-type":"item","numeric-id":1503938,"id":"Q1503938"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3199408$6A282840-01A0-43F8-AA72-65286A14C590","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"70d2fbf8bcd48a5ca1ac752985098b379d0dbb65","datavalue":{"value":{"time":"+1990-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":"Q3199408$918D67C8-0010-4638-B23A-12905833201E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"4c09ea78484192dfb20180fed0b8ec0fbe50483f","datavalue":{"value":"03D60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3199408$6CAB7377-AE86-400E-B504-B6B32EB6E7C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b3636caf529c49b2a7d814c7a65de2b21aedf761","datavalue":{"value":"03E15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3199408$9E414C11-E0D5-4104-99BC-98C16C87AE40","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8f5aa69a4904a93a18cf977d4b1273d1b550943b","datavalue":{"value":"4174915","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3199408$14A5649A-650C-479D-A5D9-36B1EDCBD67F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"df6b89917db0f34641e78099ab5b046e3666b44b","datavalue":{"value":"admissible ordinal relative to a cofinal subset of ordertype \\(\\omega \\)","type":"string"},"datatype":"string"},"type":"statement","id":"Q3199408$79291E16-E13C-4FC5-A66C-B86237E61B21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0d71da6ef3657fada5da10fb7f5a916bca3681e5","datavalue":{"value":"amenable set","type":"string"},"datatype":"string"},"type":"statement","id":"Q3199408$249881FD-55CF-4A5D-A82A-936497CB310C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d2c7885fbf24c61cd96f972a450cea061005bea1","datavalue":{"value":"generalization of hyperarithmetic theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q3199408$97484B55-00AB-451F-91D6-371C96BF783F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5c8319cfc85c1c8141aff7b9fad86a09bc58bc2c","datavalue":{"value":"\\(\\omega \\) -like ordinals","type":"string"},"datatype":"string"},"type":"statement","id":"Q3199408$5D66B765-B4D8-44DC-A44A-16CEC588E496","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"875f4722c488b3dd9924712f6ea14fa985bcb55b","datavalue":{"value":"ordinal notation system","type":"string"},"datatype":"string"},"type":"statement","id":"Q3199408$8921183D-56BB-4A71-9505-12230ED0AF7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"355b0b08179e3c168930afa914369e7a478827dc","datavalue":{"value":"separation theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q3199408$FC9D9423-D1A7-4759-BABD-4D7FA8CC9ED2","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":"Q3199408$FB53AFE2-00D9-4117-AF8D-AFA7E5A8E7F8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4d674333be07d6e73f2a4a3be5589dec16ba3ad4","datavalue":{"value":"https://doi.org/10.1112/plms/s3-60.3.417","type":"string"},"datatype":"url"},"type":"statement","id":"Q3199408$B597AC7B-087E-49BF-B435-5AB662E53E3E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"cf9bcf2285f2641f00d9fa5e59760444fc4e1de4","datavalue":{"value":"W1991118952","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3199408$E9029588-C7BB-4827-802F-F0311F188CD8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ddf833d1cad8a58686b76e198499605337094ada","datavalue":{"value":"10.1112/PLMS/S3-60.3.417","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3199408$ACD1F258-50DD-443B-83E4-2C8523FEFB6B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aed13585ca478441d4883e419673f20768bdffcf","datavalue":{"value":{"entity-type":"item","numeric-id":4934284,"id":"Q4934284"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"64116212857428b827b8cd5023abd546c2c19fec","datavalue":{"value":{"amount":"+0.7529681324958801","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":"Q3199408$D9B5C3B2-EEC2-4AA2-9774-ED2ABF6D804A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3359b188f85805d34bae7162bae77d3e45564a5a","datavalue":{"value":{"entity-type":"item","numeric-id":3753992,"id":"Q3753992"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f54ec3297bc6f30db70c60424b1d6a6b38a54baa","datavalue":{"value":{"amount":"+0.7495784163475037","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":"Q3199408$F4417133-1CE3-47F1-8809-743D76D3A25D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f9e9603cf9a98a393edba52f52fecb40efc6e081","datavalue":{"value":{"entity-type":"item","numeric-id":1059069,"id":"Q1059069"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fffa7467c1fddb807ded9a2259e4ffcc3ad222c5","datavalue":{"value":{"amount":"+0.7392116189002991","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":"Q3199408$2DED16C3-D2F0-4F27-BDF9-B16175B96355","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4bf4b8c4d22001ac57969daed71c6c835ed1dbba","datavalue":{"value":{"entity-type":"item","numeric-id":4132504,"id":"Q4132504"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c20be0f628bf7e350cf101b0d509a8051feb6166","datavalue":{"value":{"amount":"+0.7321798205375671","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":"Q3199408$599AE1EE-76B4-4723-B358-7D12F3C2CDF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9642a95ded970a2b8b964d74e7eeca674415c89c","datavalue":{"value":{"entity-type":"item","numeric-id":4551993,"id":"Q4551993"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8eaa4caefc3695d62f9a820ee7f3f383f7294199","datavalue":{"value":{"amount":"+0.7317166924476624","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":"Q3199408$61C9179B-A5B7-4ED4-A99D-64537578C910","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Generalized Hyperarithmetic Theory","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Generalized_Hyperarithmetic_Theory"}}}}}