{"entities":{"Q1120568":{"pageid":1131317,"ns":120,"title":"Item:Q1120568","lastrevid":66170775,"modified":"2026-04-12T08:01:26Z","type":"item","id":"Q1120568","labels":{"en":{"language":"en","value":"Finite condensations of recursive linear orders"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4101165"}},"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":"Q1120568$426A368F-64C4-4408-A94E-C24D0356D98C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"272d2302d9478f758496ee7094ac68e4825bb516","datavalue":{"value":{"text":"Finite condensations of recursive linear orders","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1120568$8C83CFD6-4773-4118-BA52-2D5B0CB8428B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fdbb8416d7120e196fbbf7fc10eb810a130d0c4b","datavalue":{"value":"0673.03034","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1120568$C678973E-56A1-4CC2-8CB6-08FCF4E62BB1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f592ab487dfa6b8e12f306820a81be4a65bb5aa1","datavalue":{"value":"10.1007/BF00671562","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1120568$351AFB81-E8DF-4603-8F2A-02B6442E3C44","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"23d9a817b36499a09a95b3b83dc51374692c1b91","datavalue":{"value":{"entity-type":"item","numeric-id":1120566,"id":"Q1120566"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1120568$36B100F6-8E42-4504-AC94-1D62F3B7B693","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d82f5b8dc6aa6c027216778c0a961676103e1c88","datavalue":{"value":{"entity-type":"item","numeric-id":1120567,"id":"Q1120567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1120568$B62B69FD-B738-46BF-8980-383E62F105F1","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e34236ca73b92c6ee0bc17431d03c3537a7f0792","datavalue":{"value":{"entity-type":"item","numeric-id":195358,"id":"Q195358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1120568$715DF762-7026-4CA8-951D-6FEC77974C62","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"31a1937240ca4a323604b4728c31d242b5596d7c","datavalue":{"value":{"time":"+1988-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":"Q1120568$F48FEF96-3A86-4A38-A36D-890F24F878D2","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"69de3651b786c15d1c4c6d42d4c0f32b2d353ae0","datavalue":{"value":"This paper answers a question raised by J. Rosenstein: that of locating, in the arithmetical hierarchy, the finite condensation of a recursive linear order type. It was proved that (1) there is a recursive linear order whose finite condensation has \\(\\Pi_ 2-\\Pi_ 1\\) order type, (2) a linear order type is \\(\\Pi_{2n}\\) iff it is the n-fold finite condensation of a recursive type, and (3) for all \\(n\\geq 2\\) an order type is \\(\\Pi_ n\\) iff it is \\(\\Sigma_ n\\) presented.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1120568$400B57FE-AFA1-477E-8E4C-4BF950D01AC0","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"d8a223071fe2fd8762483ef53ce76dd67517481d","datavalue":{"value":{"entity-type":"item","numeric-id":807610,"id":"Q807610"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1120568$00603E20-724F-48C8-BF0D-524B9F797007","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"3fca415580115e1e0a74c69afb3a7d85b0c01d8d","datavalue":{"value":"03D55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1120568$62B22A31-00E8-4D0D-9A54-C9D06DBFE055","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"24363e421bb7b6dfa7fe7a9b1ee54d8da8a06bf1","datavalue":{"value":"06A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1120568$5D49C6A5-247F-4AAA-A838-0C653BDD3F4A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"26580227df1df0ff1dd53016dc88e5333cae99bc","datavalue":{"value":"4101165","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1120568$AD929D38-0E9E-454E-B15A-2CD5707A4962","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6d3317fee091a183b95c82d29dc1e995b7455f26","datavalue":{"value":"arithmetical hierarchy","type":"string"},"datatype":"string"},"type":"statement","id":"Q1120568$FDBDB5B8-2598-48A4-B60D-315149CF1612","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1aacf2f8cca57f9f20c2ab1b97bea58fb2635a75","datavalue":{"value":"finite condensation of a recursive linear order type","type":"string"},"datatype":"string"},"type":"statement","id":"Q1120568$4FCF785D-7412-47DE-BB34-B15909E5B22C","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":"Q1120568$83837528-D13F-4694-BD34-124EBB8A162C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb5799cd398fd3ceebd68f80d2d4e8519543af5b","datavalue":{"value":{"entity-type":"item","numeric-id":3039336,"id":"Q3039336"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1120568$281149B7-5212-4CD5-8851-1883264FAFE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"884df01600aa7a56669fd2509efbf6b7146a03ed","datavalue":{"value":{"entity-type":"item","numeric-id":4722061,"id":"Q4722061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1120568$67F9EAE1-FBD6-4673-B3FE-A1D2803DE05B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e8611c0e5cb76547f46db0a1b329c412df6f0e5d","datavalue":{"value":{"entity-type":"item","numeric-id":3710515,"id":"Q3710515"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1120568$AE8FC65B-295B-4D36-AF98-F0CB61D7EB1E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6352b3804326e431e0b188b09d6b623aa5f4730e","datavalue":{"value":"https://doi.org/10.1007/bf00671562","type":"string"},"datatype":"url"},"type":"statement","id":"Q1120568$C696F2EB-7D4D-4A44-84E5-C2BA10FADFCF","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"91cd4d870cfa44c7de61e529b47e3753f62a9fe8","datavalue":{"value":"W2074465079","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1120568$C0B3E5AD-CB51-4573-A9F1-20701DAE9900","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f1befcf51feea996495f5029135be1c52a29989c","datavalue":{"value":{"entity-type":"item","numeric-id":3695272,"id":"Q3695272"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d5b45013e210d2337828e317c8bf89420825d292","datavalue":{"value":{"amount":"+0.87262362241745","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":"Q1120568$4003DCC7-E180-4C98-8800-B092857194F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8d4601c51bf5d8717652ee646754c9b5312303a3","datavalue":{"value":{"entity-type":"item","numeric-id":4722061,"id":"Q4722061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"76f0d5f8c2400cbabf352f1b1383afbb602ec80c","datavalue":{"value":{"amount":"+0.8075761795043945","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":"Q1120568$40CFAB3A-E39E-42ED-86C6-15B4272AD52C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9d6bc6ddfe866c8c2ce88758cefd2c14cd00ba2a","datavalue":{"value":{"entity-type":"item","numeric-id":4764115,"id":"Q4764115"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"26958cd1ec1289fa0e7c600bf5e137abab5d3b8e","datavalue":{"value":{"amount":"+0.7719401717185974","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":"Q1120568$57BAEAA4-2E14-4DB4-83F9-5BB2A0E41263","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"89319cda3641a475ded8214da4e850506b21afe7","datavalue":{"value":{"entity-type":"item","numeric-id":3710515,"id":"Q3710515"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2a4e323a1b70dd23763414f78036508762d456e0","datavalue":{"value":{"amount":"+0.7704834342002869","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":"Q1120568$FE4238CA-3EBC-4CBC-95A9-4D64638CEBE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2204719c8c3457113555a9cd7a00bc45dbc794a0","datavalue":{"value":{"entity-type":"item","numeric-id":4683149,"id":"Q4683149"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"32d29f65697009f56627f9adc05d136d75e2aabe","datavalue":{"value":{"amount":"+0.7687499523162842","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":"Q1120568$C5F501C2-F215-4A63-A2CC-8286689E5474","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Finite condensations of recursive linear orders","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Finite_condensations_of_recursive_linear_orders"}}}}}