{"entities":{"Q920986":{"pageid":922834,"ns":120,"title":"Item:Q920986","lastrevid":65397114,"modified":"2026-04-12T02:18:54Z","type":"item","id":"Q920986","labels":{"en":{"language":"en","value":"Ordinal notations based on a weakly Mahlo cardinal"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4164833"}},"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":"Q920986$1147F258-4577-4A33-B943-8744E14FA741","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6760150f19427a349bc69438c9aa5eb2368d6076","datavalue":{"value":{"text":"Ordinal notations based on a weakly Mahlo cardinal","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q920986$125D90B8-75D4-4BD4-BE75-2552DB502E33","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"100bedbf3ed8b8fbae5673462d1fa927c5bb5ce3","datavalue":{"value":"0709.03042","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q920986$E8772F2B-3AC7-4256-9C91-BDF2BACFD463","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4d694959bc81f7624f3a58c47b476af3f61d26d9","datavalue":{"value":"10.1007/BF01651328","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q920986$17F7D809-154A-42E7-95D3-3933C420E32E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e64bf31f7adc7949599b7092674140bc267c6785","datavalue":{"value":{"entity-type":"item","numeric-id":206562,"id":"Q206562"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q920986$FB2C7F6C-05AC-4B0D-812A-E5958EDC6E99","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":"Q920986$176918BD-5752-4302-9D6D-F5AC0CC4311E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"70d2fbf8bcd48a5ca1ac752985098b379d0dbb65","datavalue":{"value":{"time":"+1990-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":"Q920986$B391B420-715A-4D05-A292-A66649B5E1CE","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"7a8a0c7554cff6b04ad05fe629b04617631fcd1b","datavalue":{"value":"It is well-known that the subsystem of second order arithmetic with \\(\\Delta^ 1_ 2\\)-comprehension and Bar-induction has been up to now the strongest for which there is a computation of its proof-theoretic ordinal. This result is due to J\u00e4ger and Pohlers (1982), who used an extension KPi of Kripke-Platek set theory. The standard model of KPi is the initial segment of the constructible hierarchy of L formed by the first recursively inaccessible ordinal.    The next step towards an ordinal analysis of second order arithmetic with \\(\\Pi^ 1_ 2\\)-comprehension is given by a set theory axiomatizing essential features of \\(L[\\mu_ 0]\\), for the first recursively Mahlo ordinal \\(\\mu_ 0\\). The author calls such a theory KPM. The previous results of Harrington and W. H. Richter indicate that a proof theory of KPM would be a starting point for a proof theory of the superjumps and non-monotonic inductive definitions.    The paper under review presents a perspicuous ordinal notation system which is sufficient for the proof-theoretic treatment of KPM. It turns out that the assumption that there exists a Mahlo cardinal helps in simplifying proofs, but is not necessary in full strength.","type":"string"},"datatype":"string"},"type":"statement","id":"Q920986$65B57898-2353-477B-BC9D-6C1121601FC1","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"5b39a071f220ede335b535a94dac9b2e05d71f72","datavalue":{"value":{"entity-type":"item","numeric-id":802552,"id":"Q802552"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q920986$C94857FB-17AC-4445-A52D-98EC5B909B44","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"23ceee6d3c7c93830578b552513a944677a835cb","datavalue":{"value":"03F15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q920986$69A964B8-A5C9-4A5A-8DF2-58FBEFE0A3CD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"be878775e8ed2249363a3029b871f82547bb9210","datavalue":{"value":"4164833","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q920986$54B31200-A13C-4912-A3F3-082CC94988C1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c86fb6e2f6dc38966dde975c9291e500e9db04f2","datavalue":{"value":"weakly Mahlo cardinals","type":"string"},"datatype":"string"},"type":"statement","id":"Q920986$110FDB74-AB6E-4351-A474-140CFE14D256","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"875f4722c488b3dd9924712f6ea14fa985bcb55b","datavalue":{"value":"ordinal notation system","type":"string"},"datatype":"string"},"type":"statement","id":"Q920986$0C726FAC-0BAF-4761-B837-8F536CD76B3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9f50b31ab6beac9f139d832aade7dba04ac2beec","datavalue":{"value":"proof-theoretic treatment of KPM","type":"string"},"datatype":"string"},"type":"statement","id":"Q920986$E72C9FB1-B6F9-49C3-B787-2F123C1ECCF3","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":"Q920986$8FDCF96D-B719-4C9D-AADA-45E54E93C0D5","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b822b85db8677253a219ea1a385eddacb5927738","datavalue":{"value":{"entity-type":"item","numeric-id":1166517,"id":"Q1166517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q920986$ADF68EE3-50EA-43B7-AC93-7A321FE496B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"559d023d291e446bba13d5979c34214548a51934","datavalue":{"value":{"entity-type":"item","numeric-id":1109029,"id":"Q1109029"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q920986$83C7A2DC-62AC-4886-9E98-413CF8076E14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d6eafdf1c139884ac1ff4deb1cb9bb75eab73391","datavalue":{"value":{"entity-type":"item","numeric-id":3690813,"id":"Q3690813"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q920986$3F860A1B-A065-4588-99CF-AF21970821DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4a41e51759b03d93fbc94ef3ba8acf0dd412666","datavalue":{"value":{"entity-type":"item","numeric-id":4040375,"id":"Q4040375"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q920986$92CE5A44-D789-4C8D-A7FF-4C5C0491E4BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cfe447f578e2cb8ec9c17248c32e8835a2af4218","datavalue":{"value":{"entity-type":"item","numeric-id":1212459,"id":"Q1212459"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q920986$197DB635-18F3-4C88-8BB1-20D80D74E29A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0c51450d884b7db77c14a0ec5b7db228e4f4a3b8","datavalue":{"value":{"entity-type":"item","numeric-id":3335775,"id":"Q3335775"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q920986$BD1AFC54-67C8-4DA6-AA0F-BF18F5BEF7AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f26bfd5f925a623cfb1eec360c3c78276804f06","datavalue":{"value":{"entity-type":"item","numeric-id":3852172,"id":"Q3852172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q920986$F78F5DB2-60D6-42E5-9498-D31F5BAE5793","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"126491e29fe2243aa651c260dc3c8aa88f5c48d3","datavalue":{"value":{"entity-type":"item","numeric-id":1109768,"id":"Q1109768"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q920986$863DA973-B9E2-4F38-95A5-43ABB3A8A9A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3798ecd2352848fc7f05ce377ca3bb7ca030a458","datavalue":{"value":{"entity-type":"item","numeric-id":1801306,"id":"Q1801306"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q920986$9156AAFB-6B4D-4F87-9CE1-42AE7BCFE27C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f0447a4553d6358b21953e6f667623e891a479aa","datavalue":{"value":{"entity-type":"item","numeric-id":5665177,"id":"Q5665177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q920986$F942092F-57ED-46A3-9809-583C7C7C847B","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":"Q920986$72E7F7E9-1A10-4BBA-88EE-BDDF3834D8CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"44aea1339abb3df68767b4ef1c19cedb64487cbe","datavalue":{"value":{"entity-type":"item","numeric-id":1102955,"id":"Q1102955"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q920986$C4F1FFB6-2461-4B48-B4E0-04C5ED9B2754","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"9d562b404a061512a23c37398df63ca344eba841","datavalue":{"value":"Q126372173","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q920986$B8A38ED4-C3AD-4628-ACD7-2CED398C2265","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2c551c20ece18e2c0d9d505fb59ec739d5c02723","datavalue":{"value":{"entity-type":"item","numeric-id":4281248,"id":"Q4281248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2080d3c858aabcd83d147d43cba61b95286a3acc","datavalue":{"value":{"amount":"+0.8684278130531311","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":"Q920986$D7FF86A5-5367-4DEB-A005-BF0E87B25DAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ba702e71ee0183cfb552a2631a86dbdc1b305a8f","datavalue":{"value":{"entity-type":"item","numeric-id":1576592,"id":"Q1576592"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b2023781621ee6d83b4391cb53422a27bbf2740e","datavalue":{"value":{"amount":"+0.8680599331855774","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":"Q920986$B9C37AA5-DF78-4BF3-9323-1CCF86EA8BEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"32db7d0e1788af3b2abde1bafb762cdbb7628df8","datavalue":{"value":{"entity-type":"item","numeric-id":1400597,"id":"Q1400597"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b7e4272022cc77e4e1554feb33b6434344eacd5d","datavalue":{"value":{"amount":"+0.8262529373168945","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":"Q920986$265228D0-1D40-4258-88AA-56E3B5169EF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e81bcdfb2c7f987ac676fb890d6733ca02e1ff28","datavalue":{"value":{"entity-type":"item","numeric-id":1777268,"id":"Q1777268"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b7e4272022cc77e4e1554feb33b6434344eacd5d","datavalue":{"value":{"amount":"+0.8262529373168945","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":"Q920986$33A217A8-2758-4A3F-9ECC-63AE8760B9E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"97d5d85e8a86e494044875dc0fcd2d948a95c99e","datavalue":{"value":{"entity-type":"item","numeric-id":803124,"id":"Q803124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ca3038a960a821d082b42d236d9386d39da9f223","datavalue":{"value":{"amount":"+0.8096071481704712","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":"Q920986$AAF15AF1-EEBD-4595-9CC5-FD786F92A241","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Ordinal notations based on a weakly Mahlo cardinal","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Ordinal_notations_based_on_a_weakly_Mahlo_cardinal"}}}}}