{"entities":{"Q5536268":{"pageid":7565828,"ns":120,"title":"Item:Q5536268","lastrevid":109991102,"modified":"2026-11-14T19:57:24Z","type":"item","id":"Q5536268","labels":{"en":{"language":"en","value":"Metarecursive sets"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3251415"}},"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":"Q5536268$BADF42A0-67CC-48F7-9448-8B657B4D898D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f45b8b0d982aecf58ed6aef5b25e353d56ab4cfb","datavalue":{"value":{"text":"Metarecursive sets","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5536268$98FB56EB-A9DB-4D1C-B234-ECA1068E1F69","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ddadbd2e671f5883ada14951f6b77a2daf787934","datavalue":{"value":"0156.25203","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5536268$5FC0DE49-8AAF-4747-8E6D-F79EEECF9D05","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e3f1012cd1a4c5172dc13fd2155502f5147a977a","datavalue":{"value":"10.2307/2269621","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5536268$01F891AA-84A9-4C6E-91AD-69FE0CD031EE","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":"Q5536268$35AF8D8B-EF6E-42A6-A099-8CFE3AAD2449","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ab34ba425bc9591434354330de0028b3a960e2ed","datavalue":{"value":{"entity-type":"item","numeric-id":1238802,"id":"Q1238802"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5536268$D854CCCC-D41B-441E-8FD4-4E76CFA21846","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6218d42f0175ef35f91c4900eb5db86484a9463d","datavalue":{"value":{"entity-type":"item","numeric-id":2710590,"id":"Q2710590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5536268$BE5951E8-9FF9-4FFE-87A1-FCC9ABD0F0C6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"cc846cc700dc846702740028966828f297420cb4","datavalue":{"value":{"time":"+1965-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":"Q5536268$8CB8509D-037E-48CA-9D57-0D6E1E83DE92","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a76809e6e13a9b128d4d9d3334abbb066fa95d13","datavalue":{"value":"3251415","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5536268$F2982E0F-6B16-40D6-9BAC-C5D1C777028C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"06aca432496264a4189a9a8b528e128b9e01a6fd","datavalue":{"value":"mathematical logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5536268$6AE22D72-047F-431A-9DAE-4BDEDBA8C0CF","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":"Q5536268$E6A6DC5B-F571-4565-A098-6332B00BE263","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7833973beb44c268932568a09b54d0f7e18721c7","datavalue":{"value":"https://doi.org/10.2307/2269621","type":"string"},"datatype":"url"},"type":"statement","id":"Q5536268$EAD1C534-FD3D-497E-B629-53D69A3FD413","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"da1f05820bf8645ee98a53a2e19ecd1e4fcdcd86","datavalue":{"value":"W4213345207","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5536268$B59C5852-56B1-4112-A13A-77480179C38A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3183fe1b285e34ab4afafe2135598ac868bd7630","datavalue":{"value":{"entity-type":"item","numeric-id":2520837,"id":"Q2520837"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5536268$6CD8F5CA-0A58-43B4-A9C2-F5B2E7BC9EAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"89001f0d95d8af2283c3eaac6df53bb8b88854c1","datavalue":{"value":{"entity-type":"item","numeric-id":2626204,"id":"Q2626204"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5536268$9CDFEFB9-D655-464B-818A-A95AFDBC9CC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d938e2cf16a516c25169e92ed68817a27d01f44d","datavalue":{"value":{"entity-type":"item","numeric-id":5845382,"id":"Q5845382"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5536268$ED418CB9-C183-4DB5-8DCD-437427324D43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c78020da47e0eece67216713da75789cba236d83","datavalue":{"value":{"entity-type":"item","numeric-id":3228608,"id":"Q3228608"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5536268$B9E2AAEC-7D60-41AF-AD61-3BC0385831F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3c6d07dd80de4de8f6f1d51aa5d78e790a6fd51","datavalue":{"value":{"entity-type":"item","numeric-id":5812175,"id":"Q5812175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5536268$753449AE-0096-4683-A647-2525A15F5A9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dae26af80a5696fa8c01db658b71f7ff80167bbe","datavalue":{"value":{"entity-type":"item","numeric-id":3248015,"id":"Q3248015"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5536268$EE1A8D16-4C9A-40D4-B316-C164C341DFFE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7a1d4d343889492e30dd853837039fd3cd08322a","datavalue":{"value":"03-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5536268$B206A4C6-3FCE-469D-BC78-41093F4C19E8","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"8fd40168bf85755c8684d297bc0a462a3e35c74f","datavalue":{"value":"This is a fundamental paper concerning generalizations of recursion theory, and it, along with the papers cited below, are required reading in the subject. Metarecursion theory is recursion theory on the recursive ordinals. Using any \\(\\Pi_1^1\\) set \\(\\mathbf{Q}\\) of unique notations for \\(\\omega_1\\) we have the following definitions: a metafinite set (of recursive ordinals) is a hyperarithmetic subset of \\(\\mathbf{Q}\\);  a metarecursive set is a \\(\\Delta_1^1\\) set with respect to \\(\\mathbf{Q}\\); a metarecursive function has a \\(\\Pi_1^1\\) subset of \\(\\mathbf{Q}^2\\) as its graph; meta-r. e. and bounded are defined in obvious ways. A simple analogy with an ordinary-recursion-theory triviality is: metafinite if and only if bounded and metarecursive. This is typical, and two of the most important examples, which assist in the ``lifting up'' of priority arguments, are: the union of a metafinite set of metafinite sets is metafinite; the range of a metarecursive function restricted to a metafinite set is metafinite. The two results proved along these lines are: the existence of a maximal meta-r. e. set (where maximal is defined by a very strong analogy); Post's problem (where relative metarecursiveness is defined in a weak way -- there is some question about the correct relativized definition). However, there exist bounded, meta-r.e. sets which are not metafinite; this and a more general phenomenon called irregularity stand in the way of lifting up priority arguments. For further clarification on all these points, see \\textit{G. E. Sacks}' subsequent paper [Trans. Am. Math. Soc. 124, 1--23 (1966; Zbl 0149.24704)]. An early section of the paper under review discusses various approaches to generalizing recursion theory. This section, although interesting, could use further clarification and should be read in conjunction with Kreisel's earlier paper [Theory of Models, Proc. 1963 Int. Symp. Berkeley, 190--205 (1965; Zbl 0225.02040)]. It is then shown that metarecursion is \\(\\omega_1\\)-recursion in the sense of \\textit{S. A. Kripke} [Meeting of the Association for Symbolic Logic, April 21, 1964, J. Symb. Logic 29, 161--162 (1964; \\url{doi:10.2307/2271646})]; much that can be said for metarecursion can be said for \\(\\alpha\\)-recursion for admissible \\(\\alpha\\) (again see Sacks ibid.).","type":"string"},"datatype":"string"},"type":"statement","id":"Q5536268$25A4B11F-3787-4D5F-BBB1-2E17E49C8B58","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Metarecursive sets","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Metarecursive_sets"}}}}}