{"entities":{"Q1102955":{"pageid":1113707,"ns":120,"title":"Item:Q1102955","lastrevid":49168888,"modified":"2026-01-06T17:05:00Z","type":"item","id":"Q1102955","labels":{"en":{"language":"en","value":"Eine Erweiterung T(V') des Ordinalzahlensystems \\(C_{\\Omega}(\\Lambda _ 0)\\) von G. J\u00e4ger. (An extension T(V') of the ordinal system \\(C_{\\Omega}(\\Lambda _ 0)\\) by G. J\u00e4ger)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4051609"}},"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":"Q1102955$9CF2C9BC-C82D-42C2-BDAD-F716FD998ED7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a8ca68dfc26501ee453ff401b95349fb8ccce9e4","datavalue":{"value":{"text":"Eine Erweiterung T(V') des Ordinalzahlensystems \\(C_{\\Omega}(\\Lambda _ 0)\\) von G. J\u00e4ger. (An extension T(V') of the ordinal system \\(C_{\\Omega}(\\Lambda _ 0)\\) by G. J\u00e4ger)","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1102955$D864489F-F508-4292-A1CA-52A519679109","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"044f57344e06939b68b514d56052c89b1875ad9e","datavalue":{"value":"0645.03054","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1102955$3101CF60-F670-4702-8326-559FFF36E653","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"894964d08f853bd05515d3a50fde92476f120748","datavalue":{"value":"10.1007/BF01625837","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1102955$51AEA92C-312E-4636-B038-1B4421F0E30C","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":"Q1102955$84D8E89F-E0B6-4A9B-A371-2092827DF2A5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"31a1937240ca4a323604b4728c31d242b5596d7c","datavalue":{"value":{"time":"+1988-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":"Q1102955$92E98C4D-234A-4B68-9F1A-D4A3331BDB11","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"c26cea902790af76fbc9ef94d65379ae74c337d8","datavalue":{"value":"In this paper the author develops a system of ordinal notations by extending the system \\textit{G. J\u00e4ger} introduced in ``\\(\\rho\\)-inaccessible ordinals, collapsing functions and a recursive notation system'' [ibid. 24, 49-62 (1984; Zbl 0545.03031)]. J\u00e4ger uses for his system (collapsing functions \\(\\Psi\\alpha\\) and) functions \\(I\\beta\\) which map the least weak Mahlo cardinal \\(\\kappa\\) into itself. Instead of these \\(I\\beta\\), the author considers functions IA, where A is a matrix \\(\\left( \\begin{matrix} \\alpha_ 0...\\alpha_ n\\\\ a_ 0...a_ 0\\end{matrix} \\right)\\) of ordinals which corresponds to the ordinal \\(\\kappa^{a_ 0}(1+\\alpha_ 0)+...+\\kappa^{a_ n}(1+\\alpha_ n).\\) Thus he returns to a construction which he had employed in his first paper on ordinal notations. The ordinal V' chosen to denote the system is defined to be the least ordinal \\(\\eta\\) for which \\(I\\left(\\begin{matrix} 0\\\\ \\eta \\end{matrix} \\right)=\\eta\\) holds. It is the least regular ordinal which is not accessible in the system. It is different from the least ordinal V which cannot be desribed in T(V') and which is considerably smaller than V'. V is the supremum of the sequence \\((V_ n)\\) defined by \\(V_ 0:=0\\), \\(V_{n+1}:=I(V\\) \\(0_ n)0\\). V is not regular. In a postscript the author communicates that the well-ordering of the system T(V') can be proven in a system of second order arithmetic with the axiom schema of \\(\\Pi\\) \\(1_ 2\\)-comprehension. Thus the order type of T(V') is shown to be smaller than the proof-theoretic ordinal of \\(\\Pi\\) \\(1_ 2-CA\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q1102955$C4346C68-34C6-4863-AE35-D7F1F3498301","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"23ceee6d3c7c93830578b552513a944677a835cb","datavalue":{"value":"03F15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1102955$19E40133-F4A4-4076-9274-CFD53C467D08","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3eaf1a061a0d024de46747e7b012b6207d654d4c","datavalue":{"value":"4051609","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1102955$9C06B052-9D46-4DFE-B757-F3129E1E2413","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d7a066fd2fcde9961356acc2dba461374d669dc0","datavalue":{"value":"hierarchy of Veblen-functions for inaccessible ordinals","type":"string"},"datatype":"string"},"type":"statement","id":"Q1102955$B8A6A54E-AA5C-467A-B7F0-8658B5DC1492","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"323cbba876bd9daa12d41e37cee779083e3a88dd","datavalue":{"value":"ordinal notations","type":"string"},"datatype":"string"},"type":"statement","id":"Q1102955$584AB984-834A-45FC-AD59-FAD4080E3C35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"69235f81b7fc121d83d2998a48a98fe2899f5326","datavalue":{"value":"well-ordering","type":"string"},"datatype":"string"},"type":"statement","id":"Q1102955$B095FF2B-1A33-47FB-B448-377E1F694B0F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4e5fef2cb58ba7e72630b708054b000e89de9ad0","datavalue":{"value":{"entity-type":"item","numeric-id":766353,"id":"Q766353"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1102955$025B043B-111C-4D55-BA57-52400686B8AE","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"0580dd4129e5d6439921b513d45494c072f33534","datavalue":{"value":{"entity-type":"item","numeric-id":1288968,"id":"Q1288968"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1102955$AAE3DA53-549C-4A31-A84A-6A856EEB66C7","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":"Q1102955$B8902ED5-3383-42D4-A577-EC5E2A142078","rank":"normal"}],"P223":[{"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":"Q1102955$8F76098C-E62F-4665-8E02-D68FDFD44CC8","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":"Q1102955$C62ABF57-2C2A-4EA8-BA1A-00E3EAB750D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"29ffdb5f609972b5e61b742f9aacd4fe427f5eb7","datavalue":{"value":{"entity-type":"item","numeric-id":2651619,"id":"Q2651619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1102955$82D5E3F4-3612-4A22-BE7A-00AF46794A7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f862bb62231f7383c6b6a4617db6b6d843cfa03","datavalue":{"value":{"entity-type":"item","numeric-id":4726251,"id":"Q4726251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1102955$F53A96FC-1C77-4E34-979B-774B5460AD97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d15ce98cbd13813efdb2285504eb7077156b045b","datavalue":{"value":{"entity-type":"item","numeric-id":1102279,"id":"Q1102279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1102955$F1DE7631-5D03-487E-A68B-D24448B4AB3E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3d95f1cde2766d35c13522885aebafc4ae650245","datavalue":{"value":{"entity-type":"item","numeric-id":1102279,"id":"Q1102279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c84fa1e21b05c9707804184a98794a25f6e7fa04","datavalue":{"value":{"amount":"+0.8557260036468506","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":"Q1102955$B1087CD6-1736-475E-BBB0-541F3320123F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fe0557296652a5869405687fd1781a1a5fae1d8c","datavalue":{"value":{"entity-type":"item","numeric-id":4295245,"id":"Q4295245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"01da3153e48067bc7aa7de9c471420fb2944be63","datavalue":{"value":{"amount":"+0.8557125329971313","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":"Q1102955$81D72427-D7DC-4D61-AEB9-E7C796CE26C6","rank":"normal"},{"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":"b808e746c5fd762f025d6c2be29eb916d8a3a001","datavalue":{"value":{"amount":"+0.8555154204368591","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":"Q1102955$A39C6AE3-577E-41BE-A8F1-BB45F38E140E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"57993fce62baf5e38642fb41f75f32d9c3340d83","datavalue":{"value":{"entity-type":"item","numeric-id":3035277,"id":"Q3035277"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bb8102392c08152f06842c39c4fc2dc4eebb619e","datavalue":{"value":{"amount":"+0.8010424971580505","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":"Q1102955$63091EA9-F623-4179-88FD-DB367FC36EFB","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":"b67a5e766a7bd8c8b202ef601b8e60f04976790a","datavalue":{"value":{"amount":"+0.8004152178764343","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":"Q1102955$73CBB31C-2DF9-4A4A-A8DC-37C84C404939","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1102955","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1102955"}}}}}