{"entities":{"Q281010":{"pageid":282777,"ns":120,"title":"Item:Q281010","lastrevid":60623313,"modified":"2026-04-10T18:07:21Z","type":"item","id":"Q281010","labels":{"en":{"language":"en","value":"On elementary theories of ordinal notation systems based on reflection principles"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6578643"}},"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":"Q281010$3293411A-3841-46B0-9345-BB77F7361929","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9245acef58d640b609633792ee0b1ed47e8009f1","datavalue":{"value":{"text":"On elementary theories of ordinal notation systems based on reflection principles","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q281010$6D47E13B-69DA-49C2-A521-57ED288A9D80","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2d0adb8dbd1e11390980189571c65ff6bd894454","datavalue":{"value":"1373.03124","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q281010$4F6F8895-4BA2-4E7F-8506-D851F01D54BA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4986f48d45d9500d3b4404bdb60aa36d9c686616","datavalue":{"value":"10.1134/S0081543815040124","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q281010$608B623C-3D3B-4924-9024-2DBEC332B259","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"52ab463cca8ead400441fcc2b4fac1f6fbb55915","datavalue":{"value":{"entity-type":"item","numeric-id":251486,"id":"Q251486"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q281010$712595E6-4B9D-4188-BCA1-0652AB945E80","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5080655d79bf372c5c5ce3cef49e38026d2edcb7","datavalue":{"value":{"time":"+2016-05-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q281010$4F600AEB-3912-4A4E-881C-7151A28A524F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"48a6e0544a081066d23b1b0969ca89dfdafbcc5d","datavalue":{"value":"https://arxiv.org/abs/1312.3002","type":"string"},"datatype":"url"},"type":"statement","id":"Q281010$D4F6451D-F9D5-49B7-97E8-E66B17F066AE","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"c1b014471186a1c36dc441c097f5ac8619ba5d4f","datavalue":{"value":"There are several different ``natural'' ordinal systems for the ordinals below \\(\\varepsilon_0\\) [\\textit{G. Lee}, Ann. Pure Appl. Logic 147, No. 1--2, 48--70 (2007; Zbl 1121.03080)] which are of interest in the proof-theoretic analysis of Peano arithmetic. In [Arch. Math. Logic 42, 515--552 (2003; Zbl 1026.03041); Ann. Pure App. Logic 12, 103--123 (2004; Zbl 1048.03045)], \\textit{L. D. Beklemishev} has introduced a constructive ordinal notation system for the ordinal \\(\\varepsilon_0\\). In the paper under review, this system and its fragments for smaller ordinals \\(\\omega_n\\) (towers of \\(\\omega\\)-exponentiations of height \\(n\\)) are considered. These systems are based on polymodal provability logic \\textbf{GLP}. It is proved that the full system and its fragments for ordinals \\(\\geq \\omega_4\\) have undecidable elementary theories. Further, the fragments of the full system for ordinals \\(\\leq \\omega_3\\) have decidable elementary theories. At the end, the decidability of the elementary theory for ordinal notation systems with weaker signatures is proved.","type":"string"},"datatype":"string"},"type":"statement","id":"Q281010$E1FD50E1-864C-4AA9-89BA-A8CAF66E1389","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"4f8e4d6d96d31b6da2906ce2893c15ec96871a66","datavalue":{"value":{"entity-type":"item","numeric-id":190353,"id":"Q190353"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q281010$FA163795-5E08-49DF-B8CE-2E8AD618B59E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"23ceee6d3c7c93830578b552513a944677a835cb","datavalue":{"value":"03F15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q281010$5FDB66CA-D716-41A7-A1A0-F33279FACF50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b638c7935436ccffba7a737e2b57436cbbd2533c","datavalue":{"value":"03F45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q281010$03580910-0816-456D-B665-546CB71DF401","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q281010$CD0CB236-AD0F-4D16-9935-D52CEF070CB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q281010$1B484B0C-952E-43EF-9CD2-37094039A02F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4dd17e948ef0e266d136e969bf8283741afbd898","datavalue":{"value":"03F25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q281010$0ABD7720-497E-46D3-801C-21677C1BF60F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c5d741599eff8213447b6d8eee7b595f8da98722","datavalue":{"value":"6578643","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q281010$67BC958A-16FA-4A7A-9264-040CBCC74A5C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"875f4722c488b3dd9924712f6ea14fa985bcb55b","datavalue":{"value":"ordinal notation system","type":"string"},"datatype":"string"},"type":"statement","id":"Q281010$0828897D-D1B3-443E-A122-400F0C92D014","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e857c1738dfa989f206dd5622615f9fd26e2b6a2","datavalue":{"value":"polymodal provability logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q281010$7D37CD97-4616-48F6-8ECC-BE19B46C8A71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"99ee05629b9a9922243c638c305891b1e618c760","datavalue":{"value":"reflection schemes","type":"string"},"datatype":"string"},"type":"statement","id":"Q281010$DBA4DAC5-D263-486C-BFA0-E192EF6BFE19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q281010$0FB150EA-5817-48AA-8E58-26555572E9F8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"74dd024ad12b1c706f73d65b42eadcaf1d37b243","datavalue":{"value":{"entity-type":"item","numeric-id":2120975,"id":"Q2120975"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q281010$5B960942-D648-4250-B24C-4296B3E0CA65","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":"Q281010$492F5E00-8E94-4147-9B96-DBD119F86ED5","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"34c2140d076703a39dcbcb7779c23b262d94fdad","datavalue":{"value":{"entity-type":"item","numeric-id":1407608,"id":"Q1407608"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q281010$A6267D76-FBF6-4D85-A36F-DA7821E4BC73","rank":"normal"},{"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":"Q281010$145C0839-9203-456E-B0B5-7A665457028F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"adfa7552e485598aa5ecf7b430881d0fdd8d66cb","datavalue":{"value":{"entity-type":"item","numeric-id":5483298,"id":"Q5483298"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q281010$4CCC5CA7-C3DE-4C92-A00F-2C7800A2C78D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"51b807e573c90c1a55e76c5f70d24384d226604c","datavalue":{"value":{"entity-type":"item","numeric-id":3372439,"id":"Q3372439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q281010$C777229D-FFC6-41D6-BC13-7CA0C8AC3FE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"62e115d916a7004866ff3dee586c37489e5690e6","datavalue":{"value":{"entity-type":"item","numeric-id":2920116,"id":"Q2920116"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q281010$6506E4E8-7B6A-4235-8E62-6019D7CD5811","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"87f085a1b58cd8bcb7d30fbd3ed547f79e107291","datavalue":{"value":{"entity-type":"item","numeric-id":5608006,"id":"Q5608006"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q281010$61F60D8D-5E30-4CC2-A384-9D657F2BB7C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d819eb91a549b758563901fbb2f861928fbe34fa","datavalue":{"value":{"entity-type":"item","numeric-id":4336637,"id":"Q4336637"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q281010$957A1F4D-F58E-4CD2-B872-0CFC611CD250","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb044c7442b7a1aa13f726f8f2ea257954ae384b","datavalue":{"value":{"entity-type":"item","numeric-id":5769518,"id":"Q5769518"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q281010$858AE195-17E1-4A18-9499-E6B4F3579AE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e4ce3fad6c046a0e9dc4db6f32c79d2619f2ee41","datavalue":{"value":{"entity-type":"item","numeric-id":3910512,"id":"Q3910512"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q281010$9880FE74-535B-4A14-9545-3ADC3ABE1CA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2b5eefa44d02c0c1145ed1ff5e72674eb3cc13a1","datavalue":{"value":{"entity-type":"item","numeric-id":5462986,"id":"Q5462986"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q281010$177F2CCD-4562-4A7B-B8E2-205D91DA00A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3e17004707a40ca5984f2b3c6a46d75b6e7fdd4c","datavalue":{"value":{"entity-type":"item","numeric-id":1585741,"id":"Q1585741"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q281010$81635C32-CBAA-42A9-9357-E4E69359898B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9288bf9e5d4edf35ccf3b3881a1dda64b056728a","datavalue":{"value":{"entity-type":"item","numeric-id":4384146,"id":"Q4384146"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q281010$77D16B6E-0AC2-4D1D-BE61-E18F780E8C2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea1eafc0ead9e3cdb6744350a20df7cc24c881f0","datavalue":{"value":{"entity-type":"item","numeric-id":5287692,"id":"Q5287692"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q281010$BE032BD8-F911-4DD6-8F2B-5420DD771294","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"466be3c62d075f8dd9bd7a67ff8112de4aecc6ff","datavalue":{"value":{"entity-type":"item","numeric-id":5772803,"id":"Q5772803"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q281010$CBAA6719-A8C2-429F-9D82-D806D6C0B6CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"583df72505025738331be38b541f2229c469585f","datavalue":{"value":{"entity-type":"item","numeric-id":1238803,"id":"Q1238803"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q281010$BE16D036-7C7C-427E-83B6-09BF1C9320C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9293e7731d50631175e47d5a8b7595a5a6a427e3","datavalue":{"value":{"entity-type":"item","numeric-id":5596794,"id":"Q5596794"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q281010$2FBCECA1-D401-4E30-BE8F-55DFC98ECD31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe3e9ebc9e9cb462d6969d989f25e6d27f819e6d","datavalue":{"value":{"entity-type":"item","numeric-id":2370371,"id":"Q2370371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q281010$F85E71B3-8C0F-4E49-8FFB-0DE56B6273E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"77abde622e1969ea3eca6abad7b2f7e5c0046037","datavalue":{"value":{"entity-type":"item","numeric-id":4650150,"id":"Q4650150"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q281010$9C413FC2-115F-4698-A627-779F37B9E62E","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":"Q281010$91F2589B-3D5C-473D-9D95-24DABE968CC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6629326274d1895876e66168171702b70b52bfc8","datavalue":{"value":{"entity-type":"item","numeric-id":4934564,"id":"Q4934564"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q281010$D75DE501-1537-4807-88F0-51C3259B5BBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9635365b0780328d7ae22bc69b462e7144999d03","datavalue":{"value":{"entity-type":"item","numeric-id":5573961,"id":"Q5573961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q281010$D19FAC66-B750-44C6-A0BF-FDC05C12CFBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d2c7bbd8aeb065572be5518f5b89cf1cd49c3a0","datavalue":{"value":{"entity-type":"item","numeric-id":3718711,"id":"Q3718711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q281010$A5048E0E-842A-4B1A-9CE0-F97CDCA13E20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b01f3c9efa192a49157794cc5646843be5e89451","datavalue":{"value":{"entity-type":"item","numeric-id":1086559,"id":"Q1086559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q281010$1A6466F8-2778-49BD-BB15-2563625797E6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7f13125766d63dd4f6e116a2cc39acadd7a712b5","datavalue":{"value":"W2964204347","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q281010$E4D7A102-4F27-4D1D-8126-6B14956EFF4A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"28b0a037a7c1ce4b07b07ce799c1add29cf598e6","datavalue":{"value":{"entity-type":"item","numeric-id":2370371,"id":"Q2370371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0182fe365e8be7b4c13d4270d65731f624ba8629","datavalue":{"value":{"amount":"+0.791468620300293","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":"Q281010$CF49583D-AFB6-4DE8-B0E6-EF350440DF30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1e3ccc43351e4fbf6cf858ccc1688cc08c1b9089","datavalue":{"value":{"entity-type":"item","numeric-id":1877092,"id":"Q1877092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6fc44e0e230a75b76b61b49f0a160df440264a73","datavalue":{"value":{"amount":"+0.785926342010498","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":"Q281010$264F536E-5204-44E8-975C-C29447BE15C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b893d0fe6537bdf6de922ff97b37331fdb5c75b2","datavalue":{"value":{"entity-type":"item","numeric-id":4934566,"id":"Q4934566"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"138c76ebb1f6a827bab8b93aef4490c586fea797","datavalue":{"value":{"amount":"+0.7786000967025757","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":"Q281010$58240CBB-5DFE-4056-84A1-B2D30C9DD66F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"37505173f71ce81b1d21c33286618788cf362f96","datavalue":{"value":{"entity-type":"item","numeric-id":2862108,"id":"Q2862108"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"40dc04d8eb01dba397caf2ad020e69e05326b53e","datavalue":{"value":{"amount":"+0.7775189280509949","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":"Q281010$09F44D53-87C8-4B1E-B038-148248C018D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"865cb4e7a9bd5838c8c9f94424fdcc6dcd089f87","datavalue":{"value":{"entity-type":"item","numeric-id":1109029,"id":"Q1109029"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bd7670d64372b16f1341867c0f267bd4d8a4ef48","datavalue":{"value":{"amount":"+0.7772460579872131","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":"Q281010$95DC96B4-4943-40A4-BAE9-2BAABA1F192D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On elementary theories of ordinal notation systems based on reflection principles","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_elementary_theories_of_ordinal_notation_systems_based_on_reflection_principles"}}}}}