{"entities":{"Q1821772":{"pageid":1832514,"ns":120,"title":"Item:Q1821772","lastrevid":73385424,"modified":"2026-04-14T15:43:14Z","type":"item","id":"Q1821772","labels":{"en":{"language":"en","value":"Categoricity in hyperarithmetical degrees"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3999897"}},"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":"Q1821772$ED00DD90-630C-4200-8D24-EB9D86CECF0C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"739bdd5baefa5f3c7f5fcc197b72417e80cb366f","datavalue":{"value":{"text":"Categoricity in hyperarithmetical degrees","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1821772$EB605801-FFA3-4681-B75D-DC130103D13E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"884a0ba00cedee90966a22103318172f3141f5c3","datavalue":{"value":"0617.03016","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1821772$C8BBEA32-B378-43A6-A2B1-6F0722E25900","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"bc5697001db5b71176c19026aa0fd975cd3ac6c8","datavalue":{"value":"10.1016/0168-0072(87)90038-8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1821772$D882C798-5100-4BE2-8F09-B616C6A8F924","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7e59d7cdbbec99b0ac30571f5599ead43d03c8a5","datavalue":{"value":{"entity-type":"item","numeric-id":799719,"id":"Q799719"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1821772$7E77015C-14D7-4AD7-A9FD-75B4BAF1ABA6","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":"Q1821772$6FB82A8B-041D-425B-A7DA-9E551CF26B30","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5ae48c61eed19d1e1e1f33f9255d5b329362d064","datavalue":{"value":{"time":"+1987-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":"Q1821772$F2267BF4-9C9B-4042-A09B-200AE44E9833","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"39d3384d27c4cced6debf4a4987429c7932169a2","datavalue":{"value":"We obtain, under certain assumptions, necessary and sufficient conditions for a recursive structure to be \\(\\Delta^ 0_{\\alpha}\\)-categorical. This is done using the author's \\(\\alpha\\)-systems to construct suitable \\(\\Delta^ 0_{\\alpha +1}\\) functions. We show how these results may be applied, for example, to superatomic Boolean algebras.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1821772$C6393AE1-AF87-463A-A988-4F5ACBED9A35","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"51c3dc27e13e59ca92a9af5f9c02c332a8b9421a","datavalue":{"value":"03C57","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1821772$CBCD1459-9599-4CE2-9B24-D2EC8C78A600","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d40823595f671f8f347825fd0adc1e31ebeb184f","datavalue":{"value":"03C35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1821772$5F0AEA85-4260-44C1-B415-A9FDB05DB354","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"379be2ae88ac653823960287ba517e23fc9265f4","datavalue":{"value":"03D30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1821772$1E632F55-1CE0-460E-8DF4-6A2A689567D3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6a57a801665de9c271689e9ec83e8eedb316d41f","datavalue":{"value":"3999897","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1821772$8AB8864A-34FD-4E8B-A5B4-87FE0BFE3EDF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"362b65c58fb7e03db57ecc3fe545b34abd8e9636","datavalue":{"value":"recursive structure","type":"string"},"datatype":"string"},"type":"statement","id":"Q1821772$9BEB4D53-99E6-4E21-B009-D8EE9DAD0696","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9cc2ba63029dc5b662eea4155c4294915e535daa","datavalue":{"value":"superatomic Boolean algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q1821772$D74CAB8D-84E8-4A8D-9230-56DCAC4DDA58","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":"Q1821772$81F944AC-5A6F-4E53-B095-A67B272F4FB9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5276bd77fa8d729225f77291ee9e54dcd8712017","datavalue":{"value":"https://doi.org/10.1016/0168-0072(87)90038-8","type":"string"},"datatype":"url"},"type":"statement","id":"Q1821772$24255B86-8517-426A-BFDA-EE9AFAA1FA4B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2fffdee98deffb9e37aca2be4e5c1b3341424935","datavalue":{"value":"W2050198215","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1821772$CA497524-EE5F-4692-A213-11BB5BBB310D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"758b3d841e23e6cc888b9ebfa138ba497030edc0","datavalue":{"value":{"entity-type":"item","numeric-id":1094410,"id":"Q1094410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1821772$1BD025E9-143B-469D-9C9A-561C2A58989C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec1e438bac43bea1246a7f2dfc3538558c1c1287","datavalue":{"value":{"entity-type":"item","numeric-id":3767329,"id":"Q3767329"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1821772$35DA8610-78C3-49B1-92D7-C5A9145A3B3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ca566accdb3335646f098ebd7e54f8c2b019d71","datavalue":{"value":{"entity-type":"item","numeric-id":1106203,"id":"Q1106203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1821772$0E9A1887-2FC6-406A-8EE3-C6D0B2590C00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bbd46e00e025849b54a0892b5e385ef0d563478f","datavalue":{"value":{"entity-type":"item","numeric-id":1393228,"id":"Q1393228"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1821772$FBED600D-4C88-40EF-995B-155CF09C5674","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cc472c4006d08ec38c269978e89f0714a413eb9c","datavalue":{"value":{"entity-type":"item","numeric-id":1247964,"id":"Q1247964"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1821772$906A008A-4F4F-464E-9D22-2B9835251104","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e576ce89587a57392f0f21a1b25045c767f8fadb","datavalue":{"value":{"entity-type":"item","numeric-id":1257890,"id":"Q1257890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1821772$4BD1E80C-5109-4C2F-AF57-0730C1952D26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d1739c2b55475dfd43cc45c16cc81ebdb6214ea","datavalue":{"value":{"entity-type":"item","numeric-id":2547549,"id":"Q2547549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1821772$946F73FB-F92B-4D9A-B6C9-57C37ABB21F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9635365b0780328d7ae22bc69b462e7144999d03","datavalue":{"value":{"entity-type":"item","numeric-id":5573961,"id":"Q5573961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1821772$4C95A1C0-1382-486F-9E11-A34354577462","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b7452e81dd137438b6e484e6775a22a17c2f0df1","datavalue":{"value":{"entity-type":"item","numeric-id":1949167,"id":"Q1949167"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"297a7da8aeb38785fb49b748bb0685a0599019aa","datavalue":{"value":{"amount":"+0.828410267829895","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":"Q1821772$A03CE9CD-3412-4C48-A4BE-A6DC0F7A5810","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b9d811f9ec8bcab3ebc8d80e0889f22a5f3221cc","datavalue":{"value":{"entity-type":"item","numeric-id":5398234,"id":"Q5398234"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5b7e90f931cb129a5b49aa5771c946ed4011549f","datavalue":{"value":{"amount":"+0.800967812538147","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":"Q1821772$4F31D628-D9A1-4370-B349-850F1298F25E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1d21120a11cbbd1bd24c1b8d8f74d74d537e71f6","datavalue":{"value":{"entity-type":"item","numeric-id":3767329,"id":"Q3767329"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f66bc359f69ed699a770d7e50548d382c79868a6","datavalue":{"value":{"amount":"+0.7864814400672913","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":"Q1821772$E8363E01-9D6F-4736-BE6B-8BCBA8F9759F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3d2fd0764948c10d8b1e1e767e7f840efc3f0bba","datavalue":{"value":{"entity-type":"item","numeric-id":2655143,"id":"Q2655143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e62307716685cdbaf4232c404b25c2d6a70993eb","datavalue":{"value":{"amount":"+0.7735779881477356","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":"Q1821772$C21ABC6D-6EC1-4802-A1F0-ACD00C516606","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ec1bf03cca20ea7ffb2c2122e32432fc5e4c8e5f","datavalue":{"value":{"entity-type":"item","numeric-id":2839320,"id":"Q2839320"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cfbdaa0ddb77caeb555e9909b338a2d77518f6e5","datavalue":{"value":{"amount":"+0.7715207934379578","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":"Q1821772$CA6C579C-EBB6-409E-80CA-BD9A42213CFE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Categoricity in hyperarithmetical degrees","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Categoricity_in_hyperarithmetical_degrees"}}}}}