{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,18]],"date-time":"2025-11-18T09:08:36Z","timestamp":1763456916506},"reference-count":18,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[1992,7,1]],"date-time":"1992-07-01T00:00:00Z","timestamp":709948800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Arch Math Logic"],"published-print":{"date-parts":[[1992,7]]},"DOI":"10.1007\/bf01794980","type":"journal-article","created":{"date-parts":[[2005,6,20]],"date-time":"2005-06-20T15:36:58Z","timestamp":1119281818000},"page":"227-241","source":"Crossref","is-referenced-by-count":19,"title":["Pointwise hereditary majorization and some applications"],"prefix":"10.1007","volume":"31","author":[{"given":"Ulrich","family":"Kohlenbach","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"BF01794980_CR1","doi-asserted-by":"crossref","first-page":"652","DOI":"10.2307\/2274319","volume":"50","author":"M.A. Bezem","year":"1985","unstructured":"Bezem, M.A.: Strongly majorizable functionals of finite type: a model for bar recursion containing discontinuous functionals. J. Symb. Logic50, 652\u2013660 (1985)","journal-title":"J. Symb. Logic"},{"key":"BF01794980_CR2","unstructured":"Bezem, M.A.: Bar recursion and functionals of finite type. Dissertation, Utrecht 1986"},{"key":"BF01794980_CR3","doi-asserted-by":"crossref","first-page":"913","DOI":"10.1016\/S0049-237X(08)71126-1","volume-title":"Handbook of mathematical logic","author":"S. Feferman","year":"1977","unstructured":"Feferman, S.: Theories of finite type. In: Barwise, J. (ed.) Handbook of mathematical logic, pp. 913\u2013972. Amsterdam: North-Holland 1977"},{"key":"BF01794980_CR4","first-page":"593","volume":"10","author":"S. Feferman","year":"1963","unstructured":"Feferman, S., Levy, A.: Independence results in set theory by Cohen's method II (abstract). Notices Am. Math. Soc.10, 593 (1963)","journal-title":"Notices Am. Math. Soc."},{"key":"BF01794980_CR5","doi-asserted-by":"crossref","first-page":"73","DOI":"10.1007\/BF02007142","volume":"24","author":"W. Friedrich","year":"1984","unstructured":"Friedrich, W.: Spielquantorinterpretation unstetiger Funktionale in der h\u00f6heren Analysis. Arch. Math. Logic24, 73\u201399 (1984)","journal-title":"Arch. Math. Logic"},{"key":"BF01794980_CR6","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1002\/malq.19850310102","volume":"31","author":"W. Friedrich","year":"1985","unstructured":"Friedrich, W.: G\u00f6delsche Funktionalinterpretation f\u00fcr eine Erweiterung der klassischen Analysis. Z. Math. Logik Grundlagen Math.31, 3\u201329 (1985)","journal-title":"Z. Math. Logik Grundlagen Math."},{"key":"BF01794980_CR7","doi-asserted-by":"crossref","first-page":"280","DOI":"10.1111\/j.1746-8361.1958.tb01464.x","volume":"12","author":"K. G\u00f6del","year":"1958","unstructured":"G\u00f6del, K.: \u00dcber eine bisher noch nicht benutzte Erweiterung des finiten Standpunktes. Dialectica12, 280\u2013287 (1958)","journal-title":"Dialectica"},{"key":"BF01794980_CR8","series-title":"Lect. Notes Math.","first-page":"454","volume-title":"Mathematical investigation of intuitionistic arithmetic and analysis","author":"W.A. Howard","year":"1973","unstructured":"Howard, W.A.: Hereditarily majorizable functionals of finite type. In: Troelstra A.S. (ed.) Mathematical investigation of intuitionistic arithmetic and analysis. (Lect. Notes Math., vol. 344, pp. 454\u2013461) Berlin Heidelberg New York: Springer 1973"},{"key":"BF01794980_CR9","first-page":"1","volume":"91","author":"S.C. Kleene","year":"1959","unstructured":"Kleene, S.C.: Recursive functionals and quantifiers of finite types. I. Trans. Am. Math. Soc.91, 1\u201352 (1959)","journal-title":"Trans. Am. Math. Soc."},{"key":"BF01794980_CR10","unstructured":"Kohlenbach, U.: Theorie der majorisierbaren und stetigen Funktionale und ihre Anwendung bei der Extraktion von Schranken aus inkonstruktiven Beweisen: Effektive Eindeutigkeitsmodule bei besten Approximationen aus ineffektiven Eindeutigkeitsbeweisen, pp. xxii + 278. Frankfurt: Dissertation: 1990"},{"key":"BF01794980_CR11","doi-asserted-by":"crossref","unstructured":"Kohlenbach, U.: Effective bounds from ineffective proofs in analysis: an application of functional interpretation and majorization. (A) J. Symb. Logic (to appear)","DOI":"10.2307\/2275367"},{"key":"BF01794980_CR12","series-title":"Lect. Notes Math.","doi-asserted-by":"crossref","DOI":"10.1007\/BFb0060871","volume-title":"Extensional G\u00f6del functional interpretation. A consistency proof of classical analysis. Springer","author":"H. Luckhardt","year":"1973","unstructured":"Luckhardt, H.: Extensional G\u00f6del functional interpretation. A consistency proof of classical analysis. Springer (Lect. Notes Math. Vol. 306) Berlin Heidelberg New York: Springer 1973"},{"key":"BF01794980_CR13","series-title":"Lect. Notes Math.","doi-asserted-by":"crossref","first-page":"233","DOI":"10.1007\/BFb0079554","volume-title":"Proof theory symposium Kiel 1974","author":"H. Luckhardt","year":"1975","unstructured":"Luckhardt, H.: The real elements in a consistency proof for simple type theory I. In: Diller, J., M\u00fcller, G.H. (eds.) Proof theory symposium Kiel 1974. (Lect. Notes Math. Vol. 500, pp. 233\u2013256) Berlin Heidelberg New York: Springer 1975"},{"key":"BF01794980_CR14","volume-title":"Einige Anwendungen von unendlichen Termen und Wertfunktionalen","author":"H. Schwichtenberg","year":"1973","unstructured":"Schwichtenberg, H.: Einige Anwendungen von unendlichen Termen und Wertfunktionalen. M\u00fcnster: Habilitationsschrift 1973"},{"key":"BF01794980_CR15","series-title":"Proc. Symp. Pure Math.","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1090\/pspum\/005\/0154801","volume-title":"Recursive function theory","author":"C. Spector","year":"1962","unstructured":"Spector, C.: Provable recursive functionals of analysis: a consistency proof of analysis by an extension of principles formulated in current intuitionistic mathematics. In: Dekker, J.C.E. (ed.) Recursive function theory. Proc. Symp. Pure Math. Vol. 5, pp. 1\u201327, AMS, Providence, R.I. 1962"},{"key":"BF01794980_CR16","series-title":"Lect. Notes Math.","doi-asserted-by":"crossref","DOI":"10.1007\/BFb0066739","volume-title":"Metamathematical investigation of intuitionistic arithmetic and analysis","author":"A.S. Troelstra","year":"1973","unstructured":"Troelstra, A.S.: Metamathematical investigation of intuitionistic arithmetic and analysis (Lect. Notes Math. Vol. 344) Berlin Heidelberg New York: Springer 1973"},{"key":"BF01794980_CR17","doi-asserted-by":"crossref","first-page":"584","DOI":"10.2307\/2272902","volume":"39","author":"A.S. Troelstra","year":"1974","unstructured":"Troelstra, A.S.: Note on the fan theorem. J. Symb. Logic39, 584\u2013596 (1974)","journal-title":"J. Symb. Logic"},{"key":"BF01794980_CR18","doi-asserted-by":"crossref","first-page":"194","DOI":"10.2307\/2272120","volume":"42","author":"A.S. Troelstra","year":"1977","unstructured":"Troelstra, A.S.: Some models for intuitionistic finite type arithmetic with fan functional. J. Symb. Logic42, 194\u2013202 (1977)","journal-title":"J. Symb. Logic"}],"container-title":["Archive for Mathematical Logic"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01794980.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF01794980\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01794980","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,9]],"date-time":"2019-05-09T11:08:21Z","timestamp":1557400101000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF01794980"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1992,7]]},"references-count":18,"journal-issue":{"issue":"4","published-print":{"date-parts":[[1992,7]]}},"alternative-id":["BF01794980"],"URL":"https:\/\/doi.org\/10.1007\/bf01794980","relation":{},"ISSN":["0933-5846","1432-0665"],"issn-type":[{"value":"0933-5846","type":"print"},{"value":"1432-0665","type":"electronic"}],"subject":[],"published":{"date-parts":[[1992,7]]}}}