{"entities":{"Q759749":{"pageid":761598,"ns":120,"title":"Item:Q759749","lastrevid":42679655,"modified":"2025-07-08T10:14:37Z","type":"item","id":"Q759749","labels":{"en":{"language":"en","value":"Reduction of higher type levels by means of an ordinal analysis of finite terms"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3882416"}},"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":"Q759749$BB5D4F44-577B-4827-B6E6-10F3A3983EC4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fb0dbd81620372898ccc23953a69fc8b27d62ec0","datavalue":{"value":{"text":"Reduction of higher type levels by means of an ordinal analysis of finite terms","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q759749$85FF0A2E-67DB-43EB-B3C2-40205DA47242","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c1eaf23fe9b0a9326836268f9ded76666baf8cf0","datavalue":{"value":"0554.03024","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q759749$82332758-BA8E-41C8-AB7F-22B27B143B31","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2876a31fdb4faf0ff55bba07836078fb5acb0327","datavalue":{"value":"10.1016/0168-0072(85)90031-4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q759749$DB5531FC-8292-46FF-A5A4-57D2D9883C69","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"09db71bf8353d171c52fa077151919ce9cd3f474","datavalue":{"value":{"entity-type":"item","numeric-id":759748,"id":"Q759748"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q759749$CD71C52A-7462-4A2C-B9CF-ED9E18E1E20B","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":"Q759749$EF15B516-3952-426A-A672-45CD9255D951","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3c94df5c9af0ede578c52141befd29044de13172","datavalue":{"value":{"time":"+1985-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":"Q759749$BE35C052-9326-4582-9F25-54E57A042AAF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f5e46914699a08f5234ae7d1f790785f71462e0f","datavalue":{"value":"https://pure.rug.nl/ws/files/130207356/1_s2.0_0168007285900314_main.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q759749$82228A4A-68E6-4609-AE3A-99E039F30863","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"b438f130c086d8fd9a1ad4f85b36cb150617cd3e","datavalue":{"value":"The main contribution of this paper is a new method to obtain assignments of ordinals to all finite terms (in extensions of G\u00f6del's T by transfinite recursion) with the property that successors of a term (in the style of Sanchis) always get smaller ordinals. Although the author states on p. 2 that his work has been strongly inspired by Howard's approach [\\textit{W. A. Howard}, J. Symb. Logic 45, 493-504 (1980; Zbl 0444.03029)], in my opinion he really has achieved something new, which is technically highly non-trivial. The usefulness of the result is documented by just one application (elimination of higher type levels) but it seems likely that further applications of his method can be found.    The only criticism I have is that the author's approach is rather formal when compared with Howard's. Howard has succeeded to combine the intuitive clarity of Tait's analysis using infinite terms, where the associated ordinal is just the length of the term, with the simplicity of a system of finite terms. In Howard's paper the fact that reducing the degree of a term by one corresponds to raising its ordinal \\(\\alpha\\) to \\(\\omega^{\\alpha}\\) is clearly explained by an analysis, where finite sequences of certain subterms come up naturally. In the paper under review I could not find an equally convincing explanation of this phenomenon.    Technically, the paper is written very carefully and all proofs I have checked are given with just the right amount of detail.","type":"string"},"datatype":"string"},"type":"statement","id":"Q759749$0B073F0F-B9C8-4CA9-8507-7CA04513D0F3","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"bdc018b891b8556a7fdf66d138a7f3eb40fd760f","datavalue":{"value":{"entity-type":"item","numeric-id":234585,"id":"Q234585"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q759749$D8ECEEE8-C540-4395-A6FF-299CC8CEDE99","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"57eee2f313463199e20b9235bce5c88ea02d3389","datavalue":{"value":"03D65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q759749$5AD888F6-D65C-4868-A381-ADFA73D0CFD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6ee9f5484d11a01fb95552e5bea2154ebac0877","datavalue":{"value":"03D20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q759749$1414C1B9-072C-4138-93F1-884BE18D38C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q759749$A04B5429-88F4-43C3-B579-578FA8B198E6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"40344c2c80644abf0c02b84fd3c47a6f85100421","datavalue":{"value":"3882416","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q759749$B8B2F122-3F80-4514-BD22-8901FDABD924","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b0269b4640976258fd7c321c452f3de60343b1f4","datavalue":{"value":"ordinal assignments","type":"string"},"datatype":"string"},"type":"statement","id":"Q759749$A0844E44-3C5C-461B-9639-EAF7E73593CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"96d75779757875a8c98d144b1f82086b3ec7e90f","datavalue":{"value":"finite terms","type":"string"},"datatype":"string"},"type":"statement","id":"Q759749$18103BC5-6038-4C8A-8C7C-38E6981766CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ba6c9dc245c5eaef7eba3aa40f5d86f30bacfabc","datavalue":{"value":"elimination of higher type levels","type":"string"},"datatype":"string"},"type":"statement","id":"Q759749$2F265185-885A-4685-AE47-436D6B010D00","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":"Q759749$68DD9DA7-DBFC-4D97-8270-4C59607F866C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"23ca8a9de52311bad13b3dc9fe5ed2736191be35","datavalue":{"value":"W2133262398","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q759749$F8101B9F-3C9D-410C-B06B-841736995D5A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"956c663a8c65ca7a493106b21f9b04a9a741383f","datavalue":{"value":{"entity-type":"item","numeric-id":1155602,"id":"Q1155602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q759749$2761F94F-EA51-4824-B381-A4BF6BE26681","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"32abb58c39a4ec8c7a5998cdd99f63bc2359aa7c","datavalue":{"value":{"entity-type":"item","numeric-id":3887455,"id":"Q3887455"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q759749$84C12B62-C86E-403B-9A25-BD7502996879","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"954742cd4d0af163f01ea462b947d91339fe6ca3","datavalue":{"value":{"entity-type":"item","numeric-id":1145694,"id":"Q1145694"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q759749$1311F20E-EFCD-4D93-9075-DD00CC6B867B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a4afd0b3b0b8757574f62e3ae80a63d3876f24e","datavalue":{"value":{"entity-type":"item","numeric-id":5533181,"id":"Q5533181"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q759749$CD7BDFA3-637C-46A6-9BC3-0C232863BC6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f11c026c450b602382d1cec20bd638ffdc192eeb","datavalue":{"value":{"entity-type":"item","numeric-id":2535386,"id":"Q2535386"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q759749$D1949AA0-E2DA-4D67-8743-849E278255FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c59bf00a70c2cce6357ba2427fb74188016b991b","datavalue":{"value":{"entity-type":"item","numeric-id":4079601,"id":"Q4079601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q759749$B7EAFCC5-A703-4FE6-9146-5C868FD087B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"def5659e262d9601c2de72c38ef43bc16faa2300","datavalue":{"value":{"entity-type":"item","numeric-id":1131248,"id":"Q1131248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q759749$5A3FEF25-3157-4911-B9F1-BF3D8E3CB439","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"470c3a40cee7ac4ce767b9c3250e949714f8c1b6","datavalue":{"value":{"entity-type":"item","numeric-id":3949042,"id":"Q3949042"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q759749$B3484BF3-810F-4397-8EAA-E0124BC960F6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"69c86b3bd55dc230c7661188d46a7e8d7946c74a","datavalue":{"value":{"entity-type":"item","numeric-id":4218926,"id":"Q4218926"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b9a4e907c7418a79ba9884892f0cf686f0fe0b93","datavalue":{"value":{"amount":"+0.80059874","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q759749$D4B9F94B-3E65-498B-9EED-4B0960227E1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"74b6badc0436fe1db4100aef49eaeba033e79198","datavalue":{"value":{"entity-type":"item","numeric-id":1374676,"id":"Q1374676"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ca88da3a7649712512d1fd2a21967d457965fd1d","datavalue":{"value":{"amount":"+0.78866833","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q759749$8E4598A4-9E18-4DB3-8873-B618CE66FDDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6dcd9635756431fc567f5bfb22351e485fed984f","datavalue":{"value":{"entity-type":"item","numeric-id":4254685,"id":"Q4254685"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"52b44f10226385a79cf445de256a25a6b908b148","datavalue":{"value":{"amount":"+0.7709634","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q759749$78BEF01C-76FB-4C3D-B790-CF783D6BC551","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b02132abafda3b4a1a0fdca6c643089f43b15048","datavalue":{"value":{"entity-type":"item","numeric-id":676185,"id":"Q676185"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b588daebdf895496188fc929a261f336dff8f056","datavalue":{"value":{"amount":"+0.7609758","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q759749$93D78336-8F3A-4B2A-B60C-0C9410CD6BA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6baee11bddd38f248e5ee900d09d949d8dc92d4c","datavalue":{"value":{"entity-type":"item","numeric-id":3637208,"id":"Q3637208"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"11cd10f5f8f0351fa8278d3909a7b504f32f1d37","datavalue":{"value":{"amount":"+0.7599603","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q759749$5AF8AF83-D8BD-4A8D-8339-16F2DF84FC17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ad22e39bb58feab879f01749a1127a4f74979df3","datavalue":{"value":{"entity-type":"item","numeric-id":2881086,"id":"Q2881086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a1a0cde7ac18cbd7a05f162738e4288527130b0f","datavalue":{"value":{"amount":"+0.7527417","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q759749$5DE19A39-083F-460E-BBE7-CFF4B2AF671B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7154f3325514bba3684594faa8c4f4269f10a0bb","datavalue":{"value":{"entity-type":"item","numeric-id":1128178,"id":"Q1128178"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b300927acf09f0afcc55a7ec4c74ed6af87b8476","datavalue":{"value":{"amount":"+0.7473374","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q759749$CDA136B6-0DF0-4238-BDF8-D16C79AE2114","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4d34903a87817c2cf7368fb8f9ad046db3c04e9b","datavalue":{"value":{"entity-type":"item","numeric-id":4934564,"id":"Q4934564"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"942669cba42e1b6749717f1cd028db6244048a30","datavalue":{"value":{"amount":"+0.74541885","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q759749$42C037F4-2910-4011-891D-55D17D961ACD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f9e9603cf9a98a393edba52f52fecb40efc6e081","datavalue":{"value":{"entity-type":"item","numeric-id":1059069,"id":"Q1059069"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6fdd4071a06bd0ca05a5369df82ac634b635b400","datavalue":{"value":{"amount":"+0.7450583","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q759749$FFACCD31-145F-4FA8-B64C-62E92383A1C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"491ceea890ddba5fb87e791bdf0037450d2907cb","datavalue":{"value":{"entity-type":"item","numeric-id":1825868,"id":"Q1825868"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b0b1aa1f2e0f40d4d4f174a4071047a83abf4e6b","datavalue":{"value":{"amount":"+0.74093086","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q759749$C8C63712-E807-4C3F-AD1A-5D1B96D7999D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:759749","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:759749"}}}}}