{"entities":{"Q923076":{"pageid":924924,"ns":120,"title":"Item:Q923076","lastrevid":65377056,"modified":"2026-04-12T02:10:44Z","type":"item","id":"Q923076","labels":{"en":{"language":"en","value":"Labelling systems and r.e. structures"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4170879"}},"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":"Q923076$2272055F-C221-482A-BB87-19757842FF97","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c5f1f413a7eb203eeb3c8cea994d4e8fc5c121c2","datavalue":{"value":{"text":"Labelling systems and r.e. structures","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q923076$0F79D068-F8E4-4E35-95AF-A0471E31A966","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"55009db9503f5c0e7cc245e7918f615ef1f08b59","datavalue":{"value":"0712.03021","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q923076$85E49E21-5FAB-43D6-AFB6-8AED69C7C5E3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ec6d87750666097f01b4c9009f1ce84ce3b31bea","datavalue":{"value":"10.1016/0168-0072(90)90065-A","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q923076$8FA1586E-24CA-410E-85CE-A455DCDCFA97","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":"Q923076$83448736-6BC1-42B6-97A1-ACDF0C360250","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":"Q923076$A1AC817A-CFAA-4210-A0D0-CDE2A53D59B1","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":"Q923076$1D83B128-7DB3-4ED4-942E-C14E5244751F","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"5412c3183d4b4583eaf1ce6db7f129bcb681afde","datavalue":{"value":"In Ann. Pure Appl. Logic 32, 113-155 (1986; Zbl 0631.03016), the author introduced a formal framework for the development of inductive \\(\\underset{\\tilde{}} 0^{(\\alpha)}\\)-priority arguments \\((\\alpha <\\omega_ 1^{ck})\\). This paper contained the first metatheorem for such arguments, and formalized the earlier `method of workers' of Harrington and even earlier specific constructions such as \\textit{L. Feiner}'s in J. Symb. Logic 35, 365-374 (1970; Zbl 0222.02048). Since then the author and his students have refined and recast his metatheorem in a series of papers. In the one under review, he presents labelling systems which are appropriate for construction of r.e. (rather than only recursive) structures. Some applications (such as those in the lines of the paper reviewed above (see Zbl 0712.03020)) are discussed. The reader should also consult the author's recent game theoretical formulation in ``A construction for recursive linear orderings'' [J. Symb. Logic (to appear)], as well as related work by \\textit{J. F. Knight} [Ann. Pure Appl. Logic 48, 237-259 (1990; Zbl 0712.03035)] and by \\textit{S. Lempp} and \\textit{M. Lerman} [Lect. Notes Math. 1432, 277-296 (1990; Zbl 0702.03019)].","type":"string"},"datatype":"string"},"type":"statement","id":"Q923076$0C6E5B2E-C213-4753-8E45-3CB6C0C25B0D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"51c3dc27e13e59ca92a9af5f9c02c332a8b9421a","datavalue":{"value":"03C57","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q923076$090B5C3C-9547-4103-804A-EF10DA4516CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1267197712a0b8481bdd51a65bbac0428b08dd13","datavalue":{"value":"03D45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q923076$E8A35C5F-29B1-4C1F-9012-778D6694B5A3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e285ae80316b8f5580d103da6f6dee3348ce71ef","datavalue":{"value":"4170879","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q923076$DD5322C5-62CC-41C3-BE10-F2D7B9B60A40","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"100b6ed221592d9a273872af1235cfe5add113da","datavalue":{"value":"\\(\\alpha \\) -systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q923076$5610EC6C-B842-49BA-B56D-7EA3EC09A2FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4cc617dc2d6e5c27a683bc9a391b3a7da3577d2f","datavalue":{"value":"recursively enumerable structures","type":"string"},"datatype":"string"},"type":"statement","id":"Q923076$DC55C43E-881A-4554-A938-15DDDC2C9A50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7faebd01a23007c1ef7a85f65f3c1a7d4619a2dd","datavalue":{"value":"labelling systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q923076$1EDAA5A7-553A-4A15-97F0-B8FEB4CF305D","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"8055ef4c08baf7aae068108b5a3771ed10ad54de","datavalue":{"value":{"entity-type":"item","numeric-id":247180,"id":"Q247180"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q923076$497FF7B4-D3C0-4A0D-86E5-67328DFFA8B6","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":"Q923076$65C0854F-B97B-48B5-B4E0-DC984231451F","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":"Q923076$15404F43-E51D-483C-ABFB-18A2E9C210AB","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":"Q923076$E2FBA219-E8AD-4A37-BCDB-CF0B9324BF99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff5a5c976723aae226a75add549dd3d7aa355e43","datavalue":{"value":{"entity-type":"item","numeric-id":1821772,"id":"Q1821772"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q923076$33DE35CE-5836-403D-9F09-CB8E40ADA987","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"78460e66b40f734f2a647402e46b0e9c5daba583","datavalue":{"value":{"entity-type":"item","numeric-id":3484823,"id":"Q3484823"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q923076$40F8F7BF-DA67-409A-B20D-08B13A25F333","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"12465133a544550ec8800578943dc3d8c050d028","datavalue":{"value":{"entity-type":"item","numeric-id":923075,"id":"Q923075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q923076$714A722D-3C18-4838-90FB-94371B345366","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":"Q923076$3AFC2641-3700-4D2E-BDD9-F1181EC16C7D","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":"Q923076$31E14949-308C-4EBF-94D4-6D23C5F213A4","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":"Q923076$8C68E9CE-1AE3-4714-966B-32FD1C71AC70","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"45521ecbad87bec0e21357acf5edd4eaaca37370","datavalue":{"value":"https://doi.org/10.1016/0168-0072(90)90065-a","type":"string"},"datatype":"url"},"type":"statement","id":"Q923076$0B2F04A0-4704-4A63-ACE4-3091A8A0A936","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6b706fa2a438ac8baa16f428c9f55b1166f50925","datavalue":{"value":"W1990814476","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q923076$1AEC015B-E02E-4CE4-9CF3-CD732F880A82","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c5371dcd48a8b79df1d6b43cbc168789060d5c27","datavalue":{"value":{"entity-type":"item","numeric-id":923078,"id":"Q923078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ad96be7f7978982519dbc377b6ae754c7069b35a","datavalue":{"value":{"amount":"+0.7777086496353149","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":"Q923076$9B1A0978-1801-444E-B09B-A354B2551238","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":"0f124bf99ac066082b7ff52e1c9d4220be970451","datavalue":{"value":{"amount":"+0.7388187050819397","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":"Q923076$F8BFF3D2-1EF3-49DA-A280-FBF3A5825E6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f6f8c34b2e86e926647c9e33b73f609654c0017c","datavalue":{"value":{"entity-type":"item","numeric-id":1923576,"id":"Q1923576"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f80e91a8ce69afdf6df7067ed84a4f5e47e668bd","datavalue":{"value":{"amount":"+0.7328269481658936","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":"Q923076$783B4E58-E664-49AD-89F5-C88030BA5F6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"715b01b9e4b5d8e8ffc511ec424ae9d86a535e50","datavalue":{"value":{"entity-type":"item","numeric-id":4323050,"id":"Q4323050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a208f056dfd6a307c1c4dfb6f5a103f65c2e264a","datavalue":{"value":{"amount":"+0.7328267097473145","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":"Q923076$397273A0-B925-4FC6-8FD3-97B55FB1F450","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"15af27a568d3b63dbd8d5f96af1586148a070294","datavalue":{"value":{"entity-type":"item","numeric-id":4836053,"id":"Q4836053"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0362872e13cf49b8a6dc750ea8d41df5d3e77c02","datavalue":{"value":{"amount":"+0.726986825466156","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":"Q923076$FC27D1A3-E149-4E23-8D9F-A9AB81D11A49","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Labelling systems and r.e. structures","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Labelling_systems_and_r.e._structures"}}}}}