{"entities":{"Q805612":{"pageid":807460,"ns":120,"title":"Item:Q805612","lastrevid":42704197,"modified":"2025-07-08T16:22:26Z","type":"item","id":"Q805612","labels":{"en":{"language":"en","value":"Pointwise hereditary majorization and some applications"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4204334"}},"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":"Q805612$2DB243DF-5631-4219-A437-ADDEEECD8864","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"dbc73b0415eaf3cd49377f82251a220b99c07c5a","datavalue":{"value":{"text":"Pointwise hereditary majorization and some applications","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q805612$3D661286-4A80-4CB8-8A69-8F3019125B8D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"44e03d56548265fa873ff839cdaeb7667a098597","datavalue":{"value":"0729.03031","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q805612$DC753567-4F58-4F0E-95EC-EE4F9E77AFB6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d0b12733e2ddb9b5fa9d26b0f0bcaf6c8bae9f6d","datavalue":{"value":"10.1007/BF01794980","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q805612$2B322A0E-3E9E-4837-BA52-8CDD7A9C0243","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3757c450e8ea3891f056e58fdb032b2670ff909f","datavalue":{"value":{"entity-type":"item","numeric-id":175049,"id":"Q175049"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q805612$45488D56-2557-4B1E-BBBF-18D8B8385333","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a0a7cd28a9f85b9c6ad57bd5bb1ae477bfe37846","datavalue":{"value":{"entity-type":"item","numeric-id":114337,"id":"Q114337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q805612$25028F4B-1C9C-4BA2-943E-2C5AF97CDE61","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ebf2f83ceb66feb8490ae2b363c9cada085a3535","datavalue":{"value":{"time":"+1992-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":"Q805612$B3CDF916-2FCB-4A5F-B968-E65107AA4908","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"dcffd9a96becc3b38b06a78c1a40b9b1ab6c8d14","datavalue":{"value":"A pointwise version of the Howard-Bezem notion of hereditary majorization is introduced, which has various advantages, and its relation to the usual notion of majorization is discussed. This pointwise majorization of primitive recursive functionals (in the sense of G\u00f6del's T as well as Kleene/Feferman's PR) is applied to systems of intuitionistic and classical arithmetic (H and \\(H^ c)\\) in all finite types with full induction, as well as to the corresponding systems with restricted induction \\(\\hat H\\upharpoonright\\) and \\(\\hat H\\upharpoonright^ c.\\)  1) H and \\(\\hat H\\upharpoonright\\) are closed under a generalized fan-rule. For a restricted class of formulae this also holds for \\(H^ c\\) and \\(\\hat H\\upharpoonright^ c.\\)  2) We give a new and very perspicuous proof that for each \\(\\Phi^ 2\\in T(PR)\\) one can construct a functional \\({\\tilde \\Phi}{}^ 2\\in T(PR)\\) such that \\({\\tilde \\Phi}\\alpha\\) is a modulus of uniform continuity for \\(\\Phi\\) on \\(\\{\\beta^ 1|\\bigwedge n(\\beta n\\leq \\alpha n)\\}\\). Such a modulus can also be obtained by majorizing any modulus of pointwise continuity for \\(\\Phi\\).  3) The type structure \\({\\mathcal M}\\) of all pointwise majorizable set- theoretical functionals of finite type is used to give a short proof that quantifier-free ``choice'' with uniqueness \\((AC!)^{1,0}\\)-qf. is not provable within classical arithmetic in all finite types plus comprehension (given by the scheme \\((C)^{\\rho}:\\bigvee y^{0\\rho}\\bigwedge x^{\\rho}(yx=0\\leftrightarrow A(x))\\) for arbitrary A), dependent \\(\\omega\\)-choice and bounded choice. Furthermore \\({\\mathcal M}\\) separates several \\(\\mu\\)-operators.","type":"string"},"datatype":"string"},"type":"statement","id":"Q805612$DDEEED66-BF18-4BE8-A4BE-7C04235ADDBC","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"e5a9ddcfef477064bcaaf179121fdf3c5d566789","datavalue":{"value":{"entity-type":"item","numeric-id":175049,"id":"Q175049"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q805612$C8481C50-193B-48F9-9E3E-4C00F57033A8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q805612$B9178790-4E77-4153-9264-64B842F18B80","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ec6da72e237d904f44d6341fe71c85137bcf7e3b","datavalue":{"value":"4204334","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q805612$C48CA1E5-A130-48E2-B925-69682296F6B7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"880189f3ab141434ac60dc229df6c4a00e086156","datavalue":{"value":"intuitionistic arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q805612$F0759544-7AAC-49AC-A30B-8FDC989BE2D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9b3a046ae0b7168368f4fcd98175e2840b40fcb9","datavalue":{"value":"pointwise version of the Howard-Bezem notion of hereditary majorization","type":"string"},"datatype":"string"},"type":"statement","id":"Q805612$41AC4F77-EB41-4993-A86C-18AF64CBACC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"61feba33e41fdf3fb9bb6ef3e0b1520cf907277e","datavalue":{"value":"pointwise majorization of primitive recursive functionals","type":"string"},"datatype":"string"},"type":"statement","id":"Q805612$4393874A-4D3C-4683-B2D6-A488E9B062E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"745fec169852dccc23ff4583447d1e5556dd5648","datavalue":{"value":"classical arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q805612$25654494-3D15-4641-B1E1-8F06B8C1668E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"507c646c61f94a42405a8f88beeab6216c064f7f","datavalue":{"value":"generalized fan-rule","type":"string"},"datatype":"string"},"type":"statement","id":"Q805612$FB609A61-0D7D-41A6-8A8D-D00B0203E785","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":"Q805612$E6CE240F-04CB-449C-A7C0-96523252596F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"255ee49ffb6e409a3ee7cd255cf0ba0ce9b8a9ab","datavalue":{"value":{"entity-type":"item","numeric-id":3699687,"id":"Q3699687"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q805612$54A670CA-0B34-45CC-81BC-964CB3702AD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"923245b7711f14842fc9517fa0850f9560a8ba6c","datavalue":{"value":{"entity-type":"item","numeric-id":3333026,"id":"Q3333026"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q805612$90808096-4C07-4CAD-A334-DC2B5B0A014A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6940c2226d66772c57d00dc74fd33d153e1e51af","datavalue":{"value":{"entity-type":"item","numeric-id":4726462,"id":"Q4726462"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q805612$D5D9A4CE-E3D8-424B-868D-6FDB09A12D0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d357a47c04e8c031646a6927518ecdcc37982e0","datavalue":{"value":{"entity-type":"item","numeric-id":3262780,"id":"Q3262780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q805612$CFDCACF2-C18C-48FE-80DD-2EEF4A109355","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"690eac6707df294089bbb4811045c174c4de9fef","datavalue":{"value":{"entity-type":"item","numeric-id":3260568,"id":"Q3260568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q805612$AB915147-63C9-4E51-8502-FD723FE6B32F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9783bd9af412b69d250467049a5712964830102f","datavalue":{"value":{"entity-type":"item","numeric-id":4002004,"id":"Q4002004"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q805612$B3D7AB7F-E976-49E4-9A64-556DC6F93C57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5866c8cf369b26c2f36d05d1b0e488a542eba870","datavalue":{"value":{"entity-type":"item","numeric-id":4032661,"id":"Q4032661"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q805612$532D3E37-C19D-4519-BB1C-2B6BD09DDA65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e173e3f88a53b33fbc52906169cfc40c731fbc22","datavalue":{"value":{"entity-type":"item","numeric-id":2560813,"id":"Q2560813"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q805612$98052678-2D1A-4F1F-BCB7-BDE05BDBDBF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2dac56f2072a3893c756d692707c0c07bfe6e585","datavalue":{"value":{"entity-type":"item","numeric-id":5519134,"id":"Q5519134"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q805612$57B06AAD-AF3D-4D65-B1A2-E0F47701CF67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"384c88ee747368e498e55b1ebc22017816448ffc","datavalue":{"value":{"entity-type":"item","numeric-id":2265415,"id":"Q2265415"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q805612$19F198D9-A589-4000-A3B2-7FBA26D0D60E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dae4fe7fd404ca1eb2442fe926d64b481ae906b2","datavalue":{"value":{"entity-type":"item","numeric-id":4063418,"id":"Q4063418"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q805612$B2D1EDFB-012F-4639-A0DC-059EF5E36E9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea89e4b72d8d2ea532bc22d6fccc64e4d3c4230e","datavalue":{"value":{"entity-type":"item","numeric-id":4165377,"id":"Q4165377"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q805612$59655A7A-4B8B-40C8-B1BB-9A68D4E6A664","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c18ce159e8864796c806193fd1b4b3a31978f8d7","datavalue":{"value":"https://doi.org/10.1007/bf01794980","type":"string"},"datatype":"url"},"type":"statement","id":"Q805612$DA92E16E-9BAB-4653-A1D0-9C8BC2CA1FC4","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"815f360031702940051a8d83e1cd8f3f3edeb435","datavalue":{"value":"W2039141944","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q805612$CD08116B-DA5D-41B6-8C7E-A610E8F2BBCB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"22cd534c33a92fdb1e238ff242699d1fd7ba30e4","datavalue":{"value":{"entity-type":"item","numeric-id":2011368,"id":"Q2011368"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6702bfedd9d61c4d90762c2a536ae57b4cc0f308","datavalue":{"value":{"amount":"+0.85584986","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q805612$AD9C04BE-32DD-4787-8A5A-55181179F8BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3f9e17bed8d3afdb23fafd78d29e55dcfd148fd7","datavalue":{"value":{"entity-type":"item","numeric-id":1356831,"id":"Q1356831"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"47faa32a94cc702ec404fcf8dbcd613f70c2bc69","datavalue":{"value":{"amount":"+0.8545575","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q805612$67BE3258-8893-45E5-AE98-C876BC0BA5FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"78bc919afc782c0bc6771ed6365543d46ac39987","datavalue":{"value":{"entity-type":"item","numeric-id":1907634,"id":"Q1907634"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0e9c3bdfefcaae3abf097fdeb3f22676cd37ea6a","datavalue":{"value":{"amount":"+0.8543872","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q805612$62A5344A-20B0-48CF-B314-AC2C0BFBC6D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"df2a84a09c64d9af56f566ec0323ba515e133489","datavalue":{"value":{"entity-type":"item","numeric-id":5965347,"id":"Q5965347"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e2156b221d13883dc0b17a6eae5f5438a327dc93","datavalue":{"value":{"amount":"+0.84925073","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q805612$FC21F90C-CFE4-468B-97CE-CBD0D8610E3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"82bda258df7cbd6d2361200969badfb8804a1530","datavalue":{"value":{"entity-type":"item","numeric-id":4810762,"id":"Q4810762"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e3e24a1186da788b268e9efbd3eb519619ac368f","datavalue":{"value":{"amount":"+0.84429365","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q805612$2FA97673-F957-4874-9349-9574C1F3FD39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f5985e81558f3cf41d2afc63cc92a06428cbaee4","datavalue":{"value":{"entity-type":"item","numeric-id":719988,"id":"Q719988"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5e3b27666f0e0ac4513bc8e5bc100ddb1a3da0be","datavalue":{"value":{"amount":"+0.8434655","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q805612$9783779A-D171-486D-B7A0-72C15A323881","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"01efcb58524fd06812393b5b43fa5c4328e7769a","datavalue":{"value":{"entity-type":"item","numeric-id":4228250,"id":"Q4228250"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c64894475eb0e0d0903bb1e19cb4fde79e5cb973","datavalue":{"value":{"amount":"+0.8402702","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q805612$453FE42F-B126-4C4D-AD20-83981E51281B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0b01386d88b2795a5514ed7879cf40d9ba8b288d","datavalue":{"value":{"entity-type":"item","numeric-id":920386,"id":"Q920386"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5d92faf5631e752dde67695ad658b1945d596d52","datavalue":{"value":{"amount":"+0.8391627","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q805612$DF68C519-36D9-4D63-9890-90504BB8995C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:805612","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:805612"}}}}}