{"entities":{"Q385073":{"pageid":386840,"ns":120,"title":"Item:Q385073","lastrevid":61438449,"modified":"2026-04-10T23:22:41Z","type":"item","id":"Q385073","labels":{"en":{"language":"en","value":"Hyperations, Veblen progressions and transfinite iteration of ordinal functions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6234677"}},"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":"Q385073$2D2993CF-1DC6-4EA9-AE3A-CFDDCA83D0CB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"85bd53af5c088e4a7365ebc4e5d901a4db7301b5","datavalue":{"value":{"text":"Hyperations, Veblen progressions and transfinite iteration of ordinal functions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q385073$815586B3-FF58-4CC7-8843-23DEA369EED6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0a5d1edba042f3be6d5237a68483de10d1c4a790","datavalue":{"value":"1383.03055","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q385073$E30BF70A-DA9F-45F7-88BD-463D72D4BEE3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0ec2ee5f3fb3ad4b04ebc27b1a49c143dcadb098","datavalue":{"value":{"entity-type":"item","numeric-id":385071,"id":"Q385071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q385073$C9FA2E76-90BE-4329-96FC-3B8D1E9FC1F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2188a88b6674acb5d2901ff8f3d0f4e479b75adb","datavalue":{"value":{"entity-type":"item","numeric-id":385072,"id":"Q385072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q385073$6D759E7A-6B37-457A-9D12-5E0EA9A386BA","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":"Q385073$A62E990A-91E9-4AAD-B5C1-AB29EFF1CE26","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9a5446951ef3b18cc54f2eecd6b1de1ff40852bd","datavalue":{"value":{"time":"+2013-11-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q385073$A8117211-A414-4CD9-9E2E-7C7582B6FF17","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c29f1a1acdcae870aa70e015e9705d9ca6d879c5","datavalue":{"value":"https://arxiv.org/abs/1205.2036","type":"string"},"datatype":"url"},"type":"statement","id":"Q385073$2F578999-7541-47EF-9E95-9962DE2DF31B","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"f84ac3ab3ea392e1f5c0784ee5d1f77f45110245","datavalue":{"value":"The authors build transfinite hierarchies of functions that refine hierarchies built in the manner of \\textit{O. Veblen} [Trans. Am. Math. Soc. 9, 280--292 (1908; JFM 39.0102.01)]. The new sequences have the advantage of preserving normality at limits. Additionally, if an initial function \\(f\\) has a well-behaved left inverse, then a sequence of similar inverses can be found for the entire hierarchy generated by \\(f\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q385073$0EFA3D58-73BB-478A-A252-DB3FFD44CA62","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"c2c7a0f70c0b7cc2161585e985e86183cb70d3ef","datavalue":{"value":{"entity-type":"item","numeric-id":335001,"id":"Q335001"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q385073$F96DBFA2-A501-4FC5-92CC-4EEF94735614","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"23ceee6d3c7c93830578b552513a944677a835cb","datavalue":{"value":"03F15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q385073$B6ACDABA-60B2-4470-9EB3-76342B9A7F75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7ae77b7014ae74d050ddd08c7570cbea14e17b7f","datavalue":{"value":"03E10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q385073$843B1EBF-66F8-4E92-9F17-CD9AE19F21AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4c09ea78484192dfb20180fed0b8ec0fbe50483f","datavalue":{"value":"03D60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q385073$63627840-672F-4200-8D5F-DC92550FFB54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"24363e421bb7b6dfa7fe7a9b1ee54d8da8a06bf1","datavalue":{"value":"06A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q385073$A2BD6238-409B-4190-A29C-382DFDA6930A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f4290156a26e8990e6b74309575f65aa12abe283","datavalue":{"value":"6234677","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q385073$75579532-44C5-43D0-8483-F3FDEABEFC85","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"503f76f16f1674758a96c15192462f8da2b23952","datavalue":{"value":"ordinal functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q385073$08087F91-9C67-4F0A-96C6-AE3766B52C7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"afb56ce04176976217b67bcd91541d3027bb7fa2","datavalue":{"value":"transfinite iteration","type":"string"},"datatype":"string"},"type":"statement","id":"Q385073$59EFADAF-5172-4792-BF10-953738E95B20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"74d86f38b421db04008b11a7078d522e4d003a0b","datavalue":{"value":"Veblen progressions","type":"string"},"datatype":"string"},"type":"statement","id":"Q385073$F44CCA86-2981-4BA2-979C-DDD6D0B72AA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fd3dc1436650450123fb0d8226ddf356b99a334d","datavalue":{"value":"normal functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q385073$D1C4AB5E-298C-4424-AEB7-D162DF2892B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4dabaf4b2a581a91d39ac14fa1223fd85a9a9c63","datavalue":{"value":"cohyperation","type":"string"},"datatype":"string"},"type":"statement","id":"Q385073$AB85E30F-BFE2-4319-A604-B2DAC7AB1E20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d1a21112fc6972412ef07deb7a034369da296e49","datavalue":{"value":"adjoint","type":"string"},"datatype":"string"},"type":"statement","id":"Q385073$1C600BBC-7EF5-47DE-852E-9A952220B7EE","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"62487f5ed91a36989140f8c857880b105e4122cc","datavalue":{"value":"Q58883293","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q385073$7C288BA6-EEF1-4300-894B-59B73A8CD5DC","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":"Q385073$8F0F78C8-59B3-4841-82D4-298CCEDA05C8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"712f0b3ab3321bb05b3f1d21891d2f88997e4cd5","datavalue":{"value":"W2143956643","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q385073$4FEF5A3E-AA50-4098-8D3B-40F8845EE339","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a6528d67ac237dd684da51a8ea95c3c539d11f6","datavalue":{"value":{"entity-type":"item","numeric-id":1877092,"id":"Q1877092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q385073$6FCC800A-EB59-4CD7-BFCE-0A59D42430F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c1d19367b398f6a5ed34dff0391299ce7d8c6315","datavalue":{"value":{"entity-type":"item","numeric-id":3772212,"id":"Q3772212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q385073$5BFF54BA-9107-466C-AFAA-C626F97A149A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e7f910cf9afe79ee57cf24ea805ed50f78ba6da7","datavalue":{"value":{"entity-type":"item","numeric-id":5544287,"id":"Q5544287"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q385073$B8D64263-BF85-4A58-8DA3-A7D94DA76B71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5caf83d33956ae1c5e79580fb86e4883dbbe564f","datavalue":{"value":{"entity-type":"item","numeric-id":2904409,"id":"Q2904409"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q385073$CC54A8EA-26AF-4021-97CC-CBA0BD483C86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"99ed5d4dc6a27184f9b503206e637b294a24667c","datavalue":{"value":{"entity-type":"item","numeric-id":4644499,"id":"Q4644499"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q385073$28BDCEE5-085E-4620-9473-3281A3934FE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0d2f617f4c1fbac8be1b03334d44fa885ea1edda","datavalue":{"value":{"entity-type":"item","numeric-id":1935874,"id":"Q1935874"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q385073$2A991CB2-3BF1-4369-B8A5-5CB0CF21A537","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"241b192b59afef255b1d3b82606e86f5c662465c","datavalue":{"value":{"entity-type":"item","numeric-id":3684117,"id":"Q3684117"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q385073$EF30AE0A-1098-45E5-B7F4-D89143170823","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"640583a9a08f540da2d2286fb3721e3efd3596e8","datavalue":{"value":{"entity-type":"item","numeric-id":5626637,"id":"Q5626637"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q385073$026743D8-21BE-4007-A51F-248C5237970A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a9c760059e7dedbb8b7864d59fb746fef23ead35","datavalue":{"value":{"entity-type":"item","numeric-id":930618,"id":"Q930618"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q385073$863BB483-5F28-49D5-A063-94B56538A6B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b7c3e6815cd921fc7767de9db6783bde242a686c","datavalue":{"value":{"entity-type":"item","numeric-id":4143279,"id":"Q4143279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q385073$80709EEE-8C46-4FC6-9B6F-79D54F57BDEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e52bae6a6e1a18dbdbcc66dc9d5087301033447","datavalue":{"value":{"entity-type":"item","numeric-id":2566073,"id":"Q2566073"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q385073$176AC677-B755-4735-9B7F-097A4C43C61B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c620e3740bfd6c901dbeb5f2b3ff7b3c692b42f9","datavalue":{"value":{"entity-type":"item","numeric-id":1006619,"id":"Q1006619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q385073$E2522C91-317C-43C0-BA49-AC6D524EA6BA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d6e2229079151d32e57c415da3fe24b9a56f233b","datavalue":{"value":"10.1016/J.APAL.2013.01.002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q385073$95688489-3C05-41F4-B57C-1E40D37F1714","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ea16db6d234d96f46cde818c1521fd8f9e1fce64","datavalue":{"value":{"entity-type":"item","numeric-id":2865735,"id":"Q2865735"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3fc9e4d3d90b429d1ffd535d2634eb5e5f3572fa","datavalue":{"value":{"amount":"+0.7806145548820496","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":"Q385073$6905A06F-38ED-4AA8-B41A-A5B021CFE0E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"03b6eafbaec57219d940312059ef2c5bc2a597cc","datavalue":{"value":{"entity-type":"item","numeric-id":4133629,"id":"Q4133629"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"da29fb03efd6a91a9aa3a210ff872825d0bac075","datavalue":{"value":{"amount":"+0.7375064492225647","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":"Q385073$B53B1A2A-DE62-4F5A-90D2-2DB4D019C504","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"11c220f7ff1ecdfcf06aed8c6292a6e6ddd86600","datavalue":{"value":{"entity-type":"item","numeric-id":3684117,"id":"Q3684117"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a9b35df937dbca382ae935f2972275fb1b97f9e7","datavalue":{"value":{"amount":"+0.7327311635017395","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":"Q385073$2F03FAEE-FBE9-4AC2-8919-70AB0E30A23C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5d7a93f72f24ab47b55cb5ae55750657d0bb0b54","datavalue":{"value":{"entity-type":"item","numeric-id":953278,"id":"Q953278"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"376cc7bce37783784137fc21688ffcab43593ffe","datavalue":{"value":{"amount":"+0.7272634506225586","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":"Q385073$16636119-716E-4A12-8898-3754D630ABFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7fc2cce59b163f45cba50054c0e2d77508a80c3a","datavalue":{"value":{"entity-type":"item","numeric-id":4304140,"id":"Q4304140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9c10f4084ce39db2b0b5c1906fad5c01c19e5547","datavalue":{"value":{"amount":"+0.7142572999000549","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":"Q385073$8321F250-DF55-449D-9900-0662916BE256","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Hyperations, Veblen progressions and transfinite iteration of ordinal functions","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Hyperations,_Veblen_progressions_and_transfinite_iteration_of_ordinal_functions"}}}}}