{"entities":{"Q923078":{"pageid":924926,"ns":120,"title":"Item:Q923078","lastrevid":65377074,"modified":"2026-04-12T02:10:44Z","type":"item","id":"Q923078","labels":{"en":{"language":"en","value":"Constructions by transfinitely many workers"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4170893"}},"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":"Q923078$7038A74F-DBA1-447D-BC0A-75DF1AA571CF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"354a83fb99384c810da9adbe4825f13c0df23c7d","datavalue":{"value":{"text":"Constructions by transfinitely many workers","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q923078$52DE9314-957D-4F49-950A-FA1205EAC1FF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d559aca2013d0ead46aca978655c83a71dcbbe84","datavalue":{"value":"0712.03035","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q923078$71913CBE-FB49-4FD4-A09A-16FCFEC77EB7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2309f4478a8caec8c7e3500f8aa45567bab07fa4","datavalue":{"value":"10.1016/0168-0072(90)90022-T","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q923078$0B0EA6C1-A3AD-47B5-9635-761F83BE6AE5","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":"Q923078$73865F45-6B68-4FB3-996A-E8E8FA08204A","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":"Q923078$87061BEC-1FF0-494E-8C9C-0964AA98CAAC","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"1324e4dbf6e0f86e7d20570a3469cc8c188e7236","datavalue":{"value":"There have been quite a number of constructions in recursion theory, particularly recursive algebra and model theory, where one constructs a recursive (or r.e.) object with certain highly nonrecursive properties. For instance, \\textit{L. Feiner} [Thesis, MIT 1967] constructed an r.e. boolean algebra not isomorphic to a recursive one by coding in \\(\\underset{\\tilde{}} 0^{(\\omega)}\\) in a highly nonuniform way. Similarly \\textit{R. Watnick} [J. Symb. Logic 49, 563-569 (1984; Zbl 0585.03015)] essentially showed that if A is an ordering presentable in \\(\\underset{\\tilde{}} 0^{n+2}\\) then there is a copy of \\((\\omega +\\omega^*)A\\) presentable in \\(\\underset{\\tilde{}} 0^{(n)}\\). The first explicit mention of a general technique for `higher level' priority and coding arguments has an unpublished result of Harrington via what he called the ``method of workers''. This is a (not clearly described) way of imagining certain types of priority argument that is particularly suited to inductive arguments. For instance a normal \\(\\Pi_ 2\\) argument has 3 workers, one (the true path worker) worker (2) at level \\(\\underset{\\tilde{}} 0''\\) and issues instructions knowing the `true path', worker 1 approximates this at level \\(\\underset{\\tilde{}} 0'\\) via relativised limit lemma and worker 0 works at the recursive level to approximate workers 1's instructions.    This idea, whilst easy to describe is difficult to formalize, and there have been a number of attempts of metatheorems and formalizations. Ash and his students have produced a series of papers [e.g. \\textit{C. J. Ash}, Ann. Pure Appl. Logic 47, 99-119 (1990; Zbl 0712.03021)] where precise model theoretical metatheorems are given for inductive arguments using so-called ``\\(\\alpha\\)-systems''. In the present paper, as well as in J. Symb. Logic 55, 787-804 (1990), the author proposes a different formalization closer to the spirit of Harrington's original. Again the formulation is rather model theoretical. The current paper looks at systems for transfinitely many workers (i.e. \\(n<\\omega_ 1^{ck})\\). As with most of the metatheorems the difficulty in using them seems to be in verifying the hypotheses. As with many (all?) worker arguments the proofs are presented in a slightly sketchy fashion.    There is some further different but related recent work by \\textit{S. Lempp} and \\textit{M. Lerman} on iterated trees of strategy [see, e.g., Lect. Notes Math. 1432, 277-296 (1990; Zbl 0702.03019)].","type":"string"},"datatype":"string"},"type":"statement","id":"Q923078$E552D339-58B5-4115-9FD2-A1E59518ACE9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"18bdc3e9791879423538829d590ed2da8e1e9db6","datavalue":{"value":"03D25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q923078$27F84399-418E-4A76-9E82-08330E7E4AC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"379be2ae88ac653823960287ba517e23fc9265f4","datavalue":{"value":"03D30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q923078$203082D8-87D4-4CDF-BC0A-005E00D2A281","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1267197712a0b8481bdd51a65bbac0428b08dd13","datavalue":{"value":"03D45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q923078$319F2CA0-2E8E-4479-8E1C-46DB6C1B52FB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"821e1fc06e386848ce4e29ac9f802b6852b6dfcf","datavalue":{"value":"4170893","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q923078$3BF74389-F6DA-423E-B57B-D8C2E42E413D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ae7ad4f75e8e9786ff191736cac9d1f3fd70150c","datavalue":{"value":"constructions in recursion theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q923078$467B38F7-B2E8-415A-A68E-F6CF66F21988","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a66555d5ba1c1d22e6b911e01d40811ed262fda4","datavalue":{"value":"method of workers","type":"string"},"datatype":"string"},"type":"statement","id":"Q923078$7DBBA484-A4B6-4D6B-9851-7C5891E10F7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"99dd83ef7f0c96c91b4032628ff1017152923087","datavalue":{"value":"priority argument","type":"string"},"datatype":"string"},"type":"statement","id":"Q923078$A3D5E9DD-7C1D-41C6-8FE8-DD0A5342932F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ddca4875f9b10ec7c1c3cfea343c574bc159b33d","datavalue":{"value":"inductive arguments","type":"string"},"datatype":"string"},"type":"statement","id":"Q923078$04F97682-C54C-42E8-904E-A0CB8A8AB1CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1144629abb37000e855c98c523ffbc17473cb41","datavalue":{"value":"systems for transfinitely many workers","type":"string"},"datatype":"string"},"type":"statement","id":"Q923078$261781CD-EB8B-4C9F-B757-FCA7EE765B4C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6fa8e092697f26e8493ed1bdb5b6bbe79c6f36bf","datavalue":{"value":{"entity-type":"item","numeric-id":494651,"id":"Q494651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q923078$6F8AF7C5-005D-4B2B-8CE3-5C665C2B343D","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":"Q923078$789E2692-C4EC-48C5-B3F7-823EF82758C1","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":"Q923078$648CB422-F6F1-4CA8-B414-5ABAAAD612C4","rank":"normal"}],"P223":[{"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":"Q923078$F7A6D90D-E922-4712-AE51-82AEEC408C46","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":"Q923078$CD6A2EB2-22FF-4DB9-96C8-3C392A158B3D","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":"Q923078$52F7BF5A-0051-4DBC-AF72-D19B89A8F911","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"55b46545876e885d0c5cb24e91e535c6751974ec","datavalue":{"value":{"entity-type":"item","numeric-id":3489981,"id":"Q3489981"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q923078$A0BD6671-88BD-48F7-8187-D11D18A267E1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"adb6d7ee23ab627d75c2f1537d9ae217214978eb","datavalue":{"value":{"entity-type":"item","numeric-id":923076,"id":"Q923076"},"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":"Q923078$DC55D9ED-3830-4B6F-B269-ABC3AFB56B84","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":"c0fe4958e4284c7f72efa1bc6bfe9027a18470b8","datavalue":{"value":{"amount":"+0.7693750858306885","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":"Q923078$F68E274D-8023-4710-8D73-E5F57014029D","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":"ef24b1cf1643123b675ec69751a4c88589522fb3","datavalue":{"value":{"amount":"+0.7693749666213989","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":"Q923078$D042525C-9FF6-4035-93B7-B4CDF79D2001","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":"1f38fc9bc0f4ae4441c3eb619e1801cc3828b0a7","datavalue":{"value":{"amount":"+0.744661271572113","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":"Q923078$75FF8EEF-061B-4748-805E-9DFE0FA6379C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"59984edee4d4e6a2d6cc05949d7cfbd637bec443","datavalue":{"value":{"entity-type":"item","numeric-id":1387095,"id":"Q1387095"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fd8c503e56243b074214b31a5bcec0eec8f8c215","datavalue":{"value":{"amount":"+0.7423010468482971","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":"Q923078$F5A2D119-2A69-4B63-9E24-F9F7E6ED1935","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Constructions by transfinitely many workers","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Constructions_by_transfinitely_many_workers"}}}}}