{"entities":{"Q1281440":{"pageid":1292190,"ns":120,"title":"Item:Q1281440","lastrevid":57338820,"modified":"2026-03-30T13:38:09Z","type":"item","id":"Q1281440","labels":{"en":{"language":"en","value":"Finite functions and the necessary use of large cardinals"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1267820"}},"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":"Q1281440$F1B5E8A3-5731-47AE-BC5F-3846B9D04DAA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5b6db9e665ef08345137a0cc5286edb1db75fe57","datavalue":{"value":{"text":"Finite functions and the necessary use of large cardinals","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1281440$E97BB104-0687-427C-8836-121FA4FC56C2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"32c90cf9e2e8e5c8858b2f03191d0e85d5a4b3b3","datavalue":{"value":"0941.03050","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1281440$947437D7-0571-437B-B18B-F853569E0B47","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d99b464ee83565517738e18cb5e762bfef2dd65e","datavalue":{"value":"10.2307/121032","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1281440$76F509AB-E80D-4134-9425-071C36465BDB","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"553c7ad508f4615999d4ef926cfdf75d436f510c","datavalue":{"value":{"entity-type":"item","numeric-id":175062,"id":"Q175062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1281440$C78812E6-D248-492D-882E-C437F97E1879","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c926a7842f7994a2e02d7d97d6466af0601a09c0","datavalue":{"value":{"time":"+2000-07-31T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1281440$25E7206F-9D95-493D-B0C8-E40C1CF5C8F2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4b004e5da68e3efeb1c2bea86b654622228b4cc2","datavalue":{"value":"https://arxiv.org/abs/math/9811187","type":"string"},"datatype":"url"},"type":"statement","id":"Q1281440$2E604C56-C410-49B3-A961-935CD417B084","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"0f625f7e84df790f5856dc22db27a009a3b6e19c","datavalue":{"value":"https://eudml.org/doc/120418","type":"string"},"datatype":"url"},"type":"statement","id":"Q1281440$D2417486-E51A-4C7D-9DD7-689FEBE9FAD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"d2b321f077ce6154d5e0903e2c3de4fe6dd369b9","datavalue":{"value":"http://www.math.princeton.edu/~annals/issues/1998/148_3.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q1281440$89D83507-99D1-4FD0-96E4-7F36C91D7EC7","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"c94fca55f989e39d2adcf357ec25ebc7cda762bf","datavalue":{"value":"The main result of the paper is that a certain finitary statement \\({\\mathcal B}\\) can only be proved by using large cardinals. \\({\\mathcal B}\\) is the finite version of the following assertion \\({\\mathcal A}\\) (to which it is equivalent): Let \\(k,p>0\\), and let \\(f_A:A\\to A\\) for each finite \\(A\\subseteq \\mathbb{N}^k\\) be such that for all \\(x\\in\\mathbb{N}^k\\), either \\(f_A\\subseteq f_{A\\cup \\{x\\} }\\) or \\(\\|f_A(y)\\|>\\|f_{A\\cup\\{x\\}}(y)\\|\\) for some \\(y\\in \\mathbb{N}^k\\) with \\(\\|y\\|>\\|x\\|\\), where \\(\\|z\\|= \\max(z_1, \\dots, z_k)\\) for \\(z\\in\\mathbb{N}^k\\). Then for some \\(A\\) and \\(E\\) with \\(|E|=p\\) and \\(E^k \\subseteq A\\), there are at most \\(k^k\\) elements \\(t\\) of \\(A\\) for which one can find \\(z\\in E\\) such that \\(f_A(z)=t\\) and \\(\\|t\\|<\\min (z_1, \\dots,z_k)\\).   \\({\\mathcal A}\\) is provable from ZFC + ``for all \\(n\\), there exists an \\(n\\)-subtle cardinal''. This is shown by using the following key observation: Given \\(k>0\\), \\(f_A: A\\to A\\) for each finite \\(A\\subseteq\\mathbb{N}^k\\), and an infinite cardinal \\(\\lambda\\), there exists \\(f:\\lambda^k \\to\\lambda^k\\) with the property that for every finite \\(X\\subseteq\\lambda^k\\), one can find a finite \\(Y\\subseteq \\lambda^k\\) such that \\(X\\subseteq Y\\) and the graph of \\(f\\upharpoonright Y\\) is order isomorphic to the graph of some \\(f_A(B)\\subseteq \\mathbb{N}^{2k}\\) is order isomorphic to \\(C\\subseteq \\mathbb{N}^{2k}\\) if there is an order-preserving bijection \\(h\\) from the field of \\(B\\) (i.e., the set of all coordinates of elements of \\(B)\\) onto the field of \\(C\\) such that \\(h\\) maps \\(B\\) onto \\(C)\\). Conversely, \\({\\mathcal A}\\) implies that there exists a model \\((W,R)\\) of ZFC which satisfies the existence of \\(n\\)-subtle cardinals for every standard \\(n\\). The (rather technical) proof of this fact takes about two-thirds of the paper.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1281440$3110A9B3-B459-482C-988C-B7E1B1AFE7B8","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"3b505131a94c07467560b76707b78e01a9a72b95","datavalue":{"value":{"entity-type":"item","numeric-id":412068,"id":"Q412068"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1281440$8232AF95-550E-4FE1-8ED5-C6450132B955","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"da00c812255bd7f02dddc14c65a56e042cf0446e","datavalue":{"value":"03E05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1281440$04AD3E5C-16A3-4C3E-B57F-BBB1FF3E3B20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7166df9215f26458e9ca71cabf58a6fddcec10e4","datavalue":{"value":"03E55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1281440$0FE8F909-5F97-4253-BD97-2234A6F638C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d76b54ca3ec41228d05d0d48b5373554ccc0dcb3","datavalue":{"value":"03E30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1281440$498C43B7-6DEF-4A65-A0D0-E82EB783F139","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"599cfecd65a0420bd3c9acce4fbe549b7f5d147c","datavalue":{"value":"1267820","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1281440$54E1D033-1F23-486C-8991-D5C3A3784E10","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c7ec797728e1cdd60fb68c1208ef657d2fc9b30d","datavalue":{"value":"finite function","type":"string"},"datatype":"string"},"type":"statement","id":"Q1281440$D29E738B-D9D3-4554-B576-F1CC3659E874","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"352c2138f8ee862670262721bd9db883db1cdc49","datavalue":{"value":"\\(n\\)-subtle cardinals","type":"string"},"datatype":"string"},"type":"statement","id":"Q1281440$E6869E42-124F-4E4B-8D05-9179EB8C4F16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ebca3a6c115ad9fc460e4a0debbc4ce171f41fbc","datavalue":{"value":"large cardinals","type":"string"},"datatype":"string"},"type":"statement","id":"Q1281440$90312217-BE8B-4B36-9FE2-11BF9D6D3AB5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4db7d460ffc6b3e0069ff40b20b2755df97aa354","datavalue":{"value":{"entity-type":"item","numeric-id":196044,"id":"Q196044"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1281440$C986787E-92F7-49B3-90EA-31B9C7CCBA57","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":"Q1281440$BEDDA1A2-3F96-444E-8605-B7F5EBC7BA55","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"93f1ae622c0b507d31ebe11890c29a845428dc6b","datavalue":{"value":"W2007577694","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1281440$84C714A5-DED3-4E03-8CCE-88DF3C75EC0A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f6838605ec01b0882cebffa6c069590e4d7aa33c","datavalue":{"value":{"entity-type":"item","numeric-id":3721377,"id":"Q3721377"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"089bd5c282945e01ed1eff25738ad0bdddb4c7c1","datavalue":{"value":{"amount":"+0.8924686","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":"Q1281440$F9489F8D-403F-4F22-9F79-5D7504BBFB7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"72f98af700b9dc3c5b9650333a73d5c31cb9c60c","datavalue":{"value":{"entity-type":"item","numeric-id":3305412,"id":"Q3305412"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4d4d76e2effa5114681cf7c84c0a132fc3ce58cc","datavalue":{"value":{"amount":"+0.8844741","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":"Q1281440$25AF0A02-C598-4B91-97CF-3136A1D02A43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e577f54c95fd0bcc68186275e77bdf5ce16f9291","datavalue":{"value":{"entity-type":"item","numeric-id":4037025,"id":"Q4037025"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c28c29c8ab0338245a5cd964f7b61ef1908f6d3f","datavalue":{"value":{"amount":"+0.88340527","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":"Q1281440$CDAD6178-D4F2-4A0E-B919-2D28AF73B0D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e371d3ff27417d63118dc2ee27dc735779a72787","datavalue":{"value":{"entity-type":"item","numeric-id":466945,"id":"Q466945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c3541d101092c9aaf7c33d1ba50d6174adee77de","datavalue":{"value":{"amount":"+0.87947315","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":"Q1281440$53C6A648-CD82-481F-B308-0D58348DBA5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8f7e49681ec959019fdfed221220c8b1cc83771c","datavalue":{"value":{"entity-type":"item","numeric-id":2041969,"id":"Q2041969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"be76aaa9c58ae46fb7b815a2c4efe1f7598a3deb","datavalue":{"value":{"amount":"+0.8794073","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":"Q1281440$AEF86B07-A9CD-4A30-9E79-57FE4FBE1AB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3d72dc583e27eda5560261ee8f4300e94ceb8904","datavalue":{"value":{"entity-type":"item","numeric-id":5489366,"id":"Q5489366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ee61bdbd28e9d7c7cfd6bac057e5d6d89eeb595d","datavalue":{"value":{"amount":"+0.8780413","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":"Q1281440$E3CDD5BA-5AC3-40AD-88B6-22864E0AAE60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fcbb9d7e721d09f64f14d1b5940467c9fac4ab0c","datavalue":{"value":{"entity-type":"item","numeric-id":5884621,"id":"Q5884621"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2f5f14a284a00ded8bc61b22d86de3af070f6e58","datavalue":{"value":{"amount":"+0.8770527","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":"Q1281440$869B19FC-EF4C-49D4-A12D-22DF75CCE969","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f6164e4209c227f27f2f56ac0904d0e386c0f8c6","datavalue":{"value":{"entity-type":"item","numeric-id":4855797,"id":"Q4855797"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4021cd5c22b423c7d5bd7c6ddd6d7fb73173c7f4","datavalue":{"value":{"amount":"+0.8761729","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":"Q1281440$87D33F1F-A805-4893-BEC8-D38452639F00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8832b4b73d0f8c485b027ae26564e79e052e6793","datavalue":{"value":{"entity-type":"item","numeric-id":632980,"id":"Q632980"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d10e5f55c24f396b0672fc982bc3f44dbbfeda22","datavalue":{"value":{"amount":"+0.87441087","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":"Q1281440$9D29B225-7B32-4998-B7C5-416D22D9F7AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"90bc724487a2811f8ff720b35ab5db0501be4c06","datavalue":{"value":{"entity-type":"item","numeric-id":6132567,"id":"Q6132567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"11f53641a3dedfed1fb3e8bb443528e84b608a92","datavalue":{"value":{"amount":"+0.8733684","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":"Q1281440$BBA3BEE5-0953-4A47-B576-D6FD00D50A09","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1281440","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1281440"}}}}}