{"entities":{"Q2743650":{"pageid":2754389,"ns":120,"title":"Item:Q2743650","lastrevid":83041589,"modified":"2026-05-07T05:38:45Z","type":"item","id":"Q2743650","labels":{"en":{"language":"en","value":"\\(\\Gamma_0\\) may be minimal subrecursively inaccessible"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1652348"}},"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":"Q2743650$F52B1A3A-DB00-4DEF-9FD4-58FAF27EFE74","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"135b5919343625171b7de6bc66e6971197928e3e","datavalue":{"value":"0990.03044","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2743650$87A3E7B1-519B-4491-AE13-8AA32BB6DF75","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"35c1c300a719bd5f4d1087a4b9df89abcc695541","datavalue":{"value":{"entity-type":"item","numeric-id":408159,"id":"Q408159"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2743650$D4F15F78-92A0-4615-95E1-84EC2C16C4B6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"bdfa6cba6260f9a6202ecedb776f440ed4a5fcda","datavalue":{"value":{"time":"+2001-11-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2743650$FF974C3E-1727-499D-A1BB-8BEBC10B5A0C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"23ceee6d3c7c93830578b552513a944677a835cb","datavalue":{"value":"03F15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2743650$24E80A7B-93D6-4470-AC48-1733AB475A2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3fca415580115e1e0a74c69afb3a7d85b0c01d8d","datavalue":{"value":"03D55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2743650$662806C7-6114-412E-AF86-F17165765B09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6ee9f5484d11a01fb95552e5bea2154ebac0877","datavalue":{"value":"03D20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2743650$F24BA366-1B67-448B-B98B-AFD3AF2E0764","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8770bf69535d1fb7675f39a6858fda857ca7dde9","datavalue":{"value":"1652348","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2743650$3690172A-E812-4E81-984E-AC8578F5A264","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f2ac5e8a29fc81be83fd6dde6f623801cc6d2482","datavalue":{"value":"classification of recursive functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q2743650$06EB34BC-8980-45EE-9741-A5E4061569DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83d5dcaa7aef3dc9ddc3eab92a7db35d53442c07","datavalue":{"value":"proof theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q2743650$7F9B5B44-A149-48D1-9129-454B6FE92A7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6d0fef728d016ff585ee4c9090c498700a08f345","datavalue":{"value":"subrecursively inaccessible ordinal","type":"string"},"datatype":"string"},"type":"statement","id":"Q2743650$CBAF516C-22BD-46F4-8767-DFD906C6AC3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a099d82e9276b91a07feadfab123b4c1c6cdc059","datavalue":{"value":"fundamental sequences","type":"string"},"datatype":"string"},"type":"statement","id":"Q2743650$908C2D94-5A32-4BA6-B7AC-486CA687EC4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eba97781dec966e4d1de3b8b0d6e5ba78afd5f2f","datavalue":{"value":"hierarchies","type":"string"},"datatype":"string"},"type":"statement","id":"Q2743650$B43372AD-EBBE-42CC-80CB-16956236F5BB","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":"Q2743650$0F1F3B23-13FE-4DD7-850B-C8355CB38514","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6f08403ecffbaa985a68150803bc2acb1efe73d0","datavalue":{"value":"W2022346644","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2743650$273321D1-09F3-4FAF-9E48-6168BE0F64CC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1873c1b349df5454c90e5acddeb63d9be9eb3c90","datavalue":{"value":"10.1002/1521-3870(200108)47:3%3C397::AID-MALQ397%3E3.0.CO;2-Y","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2743650$D8D615B4-B1C3-4F16-8D02-46F5E43F2639","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5aefccbddf24e0af0d8c8bac291cac07195563f4","datavalue":{"value":"https://doi.org/10.1002/1521-3870(200108)47:3%3C397::aid-malq397%3E3.0.co;2-y","type":"string"},"datatype":"url"},"type":"statement","id":"Q2743650$5CAF20D3-691B-487E-B9ED-477C5D6A1D99","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c461895bc25b23f06a59160d6ea903f5da6e9358","datavalue":{"value":{"text":"\\(\\Gamma_0\\) may be minimal subrecursively inaccessible","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2743650$7111A876-38FB-4F21-AE20-0D44C9BBC5D5","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"68cefe03c91c7bc1481d1ede29225e2a54af1e4c","datavalue":{"value":{"entity-type":"item","numeric-id":6561648,"id":"Q6561648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2743650$9403F493-7683-4BD3-AC23-400071AD93D6","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"6612e8d4136341328db40bf4d54331689508f931","datavalue":{"value":"The author demonstrates that \\(\\Gamma_0\\) can be a subrecursively inaccessible ordinal. He first modifies the definition of fundamental sequences (to limit ordinals), and then shows that the fast- and slow-growing hierarchies based on these sequences match up for the first time at \\(\\Gamma_0\\), which is the definition of subrecursive inaccessibility. He, further, gives two Grzegorczyk-type hierarchies up to \\(\\Gamma_0\\) that both classify the \\(<\\Gamma_0\\)-recursive functions. One hierarchy is based on the new fundamental sequences, and the other on those used by \\textit{S. Feferman} [J. Symb. Log. 33, 193-220 (1968; Zbl 0162.02201)]. The author gives a clear presentation of basic ideas and directions, but the details need an awful amount of symbols, case distinctions, etc., due to the nature of the subject.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2743650$13641568-44EF-4050-B5B8-6224D15E0569","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"11d82720b3754a42f639997350af9a4237b3f4d8","datavalue":{"value":{"entity-type":"item","numeric-id":4304133,"id":"Q4304133"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ce6181ce2d0d6e8387829db5a7085563dd1ddbc1","datavalue":{"value":{"amount":"+0.7898392081260681","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":"Q2743650$912E9B42-963A-4FD9-A010-0C0F81DE8F2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a9b942b9010b0fb9d630a3616c54811a96090591","datavalue":{"value":{"entity-type":"item","numeric-id":4664259,"id":"Q4664259"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"939132839622fc7bb7fe4388d5e43a50d0f47cc4","datavalue":{"value":{"amount":"+0.7725350260734558","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":"Q2743650$CA40D37A-B5F6-455C-83C2-3EBB50E79E5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"30b503465b1f92ff11f49cd7868e7100ba129b44","datavalue":{"value":{"entity-type":"item","numeric-id":3828001,"id":"Q3828001"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6501910f74446a63dcadaa3c830fb4c5949306f4","datavalue":{"value":{"amount":"+0.7468694448471069","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":"Q2743650$AA97BE06-0FC5-4533-8A96-48884447278F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aa4208ca7497ec444bef5c405d12efd68902fc6d","datavalue":{"value":{"entity-type":"item","numeric-id":3028996,"id":"Q3028996"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4b5a882344ed80abdc1ea089509738cc88733615","datavalue":{"value":{"amount":"+0.7409985065460205","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":"Q2743650$D2B4FCAC-872B-4093-829D-89382005F420","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e440a8cd7050cbad777567360bb3a4b33ab1a837","datavalue":{"value":{"entity-type":"item","numeric-id":1908812,"id":"Q1908812"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"48804321583cd7a45a6157da7a520b2559d74cc4","datavalue":{"value":{"amount":"+0.7297735810279846","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":"Q2743650$9225258E-C025-4E65-9ACD-7DB6415F3991","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"\\(\\Gamma 0\\) may be minimal subrecursively inaccessible","badges":[]}}}}}