{"entities":{"Q1765099":{"pageid":1775841,"ns":120,"title":"Item:Q1765099","lastrevid":48419293,"modified":"2026-01-04T16:31:12Z","type":"item","id":"Q1765099","labels":{"en":{"language":"en","value":"An ordinal analysis of stability"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2137162"}},"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":"Q1765099$66F8F407-70C6-484E-9D97-E71CEE390957","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"078d36446b3dd104f198615016660ef43a8cf506","datavalue":{"value":{"text":"An ordinal analysis of stability","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1765099$ED2C4AFA-5AFB-4BBC-A7B8-38A78F2FB4A4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f998b3cd511c4f7fd6b40d22a8a96402cdd7aed6","datavalue":{"value":"1068.03046","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1765099$ADA206C8-5FC5-4747-946C-97435BBC9FC9","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":"Q1765099$923BC2CA-D20A-4FE8-A151-118DD89458F3","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":"Q1765099$0B0E9236-817B-4C13-9879-AD6112813B81","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e6fd9f57da46494686492c936ca92ef875382ca4","datavalue":{"value":{"time":"+2005-02-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1765099$E1744DB1-83E4-42BE-B39E-C252DBE2AF14","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"a737adeaf931f8faf76b3f01afde0abd6a4189cd","datavalue":{"value":"The author gives an ordinal analysis of \\(\\mathbf{ {KPi}} + \\forall \\varrho \\exists \\pi. \\pi\\) is \\(\\pi + \\rho\\) stable. This paper is the first, in a series of three, towards an ordinal analysis of \\(\\Pi_2^1\\)-comprehension (which corresponds to \\(\\mathbf{ {KP}} + \\Sigma_1\\text{-separation}\\)). The presented case is ``not too complicated'' since in the ordinal representation system which is based on \\(\\nu\\)-indescribable cardinals ``the collapsing functions still collapse single points'' [p.~2]. The following papers of this series [\\textit{M. Rathjen}, ``An ordinal analysis of parameter free \\(\\Pi^{1}_{2}\\)-comprehension'', Arch. Math. Logic 44, No. 3, 263--362 (2005; Zbl 1068.03047), reviewed below; An ordinal analysis of iterated \\(\\Pi_2^1\\) comprehension and related systems. Preprint, 85 pages] will use collapsing functions which ``collaps points from an interval'' [p.~2].","type":"string"},"datatype":"string"},"type":"statement","id":"Q1765099$E44E3AD8-06F4-4065-8628-1AD6AF025CC3","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"698ef69cf2501558685cb66472f90d21aa909f07","datavalue":{"value":{"entity-type":"item","numeric-id":194998,"id":"Q194998"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1765099$5188FF86-A72B-4DB8-82BC-261F3BB40CBA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"23ceee6d3c7c93830578b552513a944677a835cb","datavalue":{"value":"03F15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1765099$2B7C1F65-EFCA-4EBA-AF6B-FB7CB59A7500","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4cb4544bfd0397cd4a315ee326499c372f013de5","datavalue":{"value":"03F35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1765099$8AB545D0-22E2-4CBF-AEC4-099E339586D3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7d99152a2549de43a95952557b068990102d6811","datavalue":{"value":"2137162","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1765099$87C527FF-A130-489B-8FE3-A7C0E74BA21D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"664c217a1a00d62effaec670f5656be452525922","datavalue":{"value":"ordinal analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q1765099$2FDC887A-BD88-4C05-8938-AF0E57316240","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5aefbc132040bccd2d606673a729bc945c76d0f7","datavalue":{"value":"Kripke-Platek","type":"string"},"datatype":"string"},"type":"statement","id":"Q1765099$23A29DC2-F546-4B23-9371-E457C0A11F25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"34b44e7b40021effdee26093512bde7058814281","datavalue":{"value":"stability","type":"string"},"datatype":"string"},"type":"statement","id":"Q1765099$68CB91A0-A766-4380-AB30-6E61D97286FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5b9c482f21f263eb15a896321830fa1df80c5ea7","datavalue":{"value":"Pi-one-two-comprehension","type":"string"},"datatype":"string"},"type":"statement","id":"Q1765099$BD569584-7562-49F1-9344-BE29FDD05C45","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":"Q1765099$CD422CBE-2920-4BEE-B262-241882E3CC18","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"fe0f6d13af8839b5eda4dfb162f19d4ae42db49c","datavalue":{"value":"https://doi.org/10.1007/s00153-004-0226-2","type":"string"},"datatype":"url"},"type":"statement","id":"Q1765099$1034B657-C775-430B-8251-273849F44BF0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f3f7e7274f236898838074d05f05122e9c3c256a","datavalue":{"value":"W2016079395","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1765099$7DAE25CC-E89A-4160-8C48-AE12921FFA7C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"8973abb951181b5865d7e8e53e525f0e4b9b6f41","datavalue":{"value":{"entity-type":"item","numeric-id":4075450,"id":"Q4075450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1765099$BBE2FAB5-D4B7-44AB-8D05-703A188D3D02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f43c482b602f05488701d197a989abad413a86d3","datavalue":{"value":{"entity-type":"item","numeric-id":3138829,"id":"Q3138829"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1765099$B48C5429-3F89-4559-A84D-42EBD58C595D","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":"Q1765099$F32AE108-84C3-49FA-8AE3-5642EAD44784","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":"Q1765099$652C8038-BEF9-4F8E-9587-1EDD03C14975","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1d6aa8771d831b76ce84d229a9e335539dc75ab","datavalue":{"value":{"entity-type":"item","numeric-id":4159049,"id":"Q4159049"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1765099$76A4E0AE-4F0A-41C5-A602-E1F0105E0F19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d3b1bb354afd2b79f7ab5c3406b5230d6055702b","datavalue":{"value":{"entity-type":"item","numeric-id":2276954,"id":"Q2276954"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1765099$D6ED03AC-9E58-4276-A551-CAD3BF81712C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ec6af83f9a6c90ef054757ef63aea9bbf0884e2","datavalue":{"value":{"entity-type":"item","numeric-id":803124,"id":"Q803124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1765099$8C491FEA-A80A-4F44-9A82-4A6D430AC0E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a019f48c952acfae395126bfe7d30ae0e9f39f91","datavalue":{"value":{"entity-type":"item","numeric-id":4304798,"id":"Q4304798"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1765099$E61D4791-1C9C-49DF-A66E-8A6676049A37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3eab381919a0f8ddd112866505d097b2c043172f","datavalue":{"value":{"entity-type":"item","numeric-id":1322453,"id":"Q1322453"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1765099$0755690C-3D3C-443D-8D70-5ACCF7A899E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"442321204f0846e6d42ccce9aff806849d058e00","datavalue":{"value":{"entity-type":"item","numeric-id":1332853,"id":"Q1332853"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1765099$4212FC9D-AA99-44C5-B993-33E3C644BCA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dc17e04af4bdbbac3426f952031299f7a13fb2f7","datavalue":{"value":{"entity-type":"item","numeric-id":4873894,"id":"Q4873894"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1765099$1981FB5B-BACD-4DF5-9702-76C9A811F0DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"916746dc03607d40228c71b62b930a926c881aef","datavalue":{"value":{"entity-type":"item","numeric-id":1777268,"id":"Q1777268"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1765099$354CDC98-4F0D-4FB7-9C94-A6CAC3218477","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b27d6328a8e957c4e03f846607d83586f006ef66","datavalue":{"value":{"entity-type":"item","numeric-id":4262568,"id":"Q4262568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1765099$DE3DC1E1-775B-4559-A50B-93179B414D9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6df365e2750bcc90fe63e52a82b25a29336cdac5","datavalue":{"value":{"entity-type":"item","numeric-id":4079598,"id":"Q4079598"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1765099$A8C896AC-37D5-4C9F-B898-7BECDACD7D84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e07ae007fd7d2773d6f84a20f1d34b8ce24af5d6","datavalue":{"value":{"entity-type":"item","numeric-id":4040890,"id":"Q4040890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1765099$357E2FE5-0990-457E-B488-E286E7FE050B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e21aa2c8417444bb3098b83ec743e607734c3bfb","datavalue":{"value":{"entity-type":"item","numeric-id":3285631,"id":"Q3285631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1765099$3D582126-B6FA-42AC-B003-4CCEC617CE2C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e030ebe721bd427d82ce3b8909635a191ca26ca7","datavalue":{"value":"10.1007/S00153-004-0226-2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1765099$283DEC84-B1F9-4F6A-8FC4-A6A849399293","rank":"normal"}],"P1643":[{"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":"aeed76e82090abc9c702ee2d3a2a7179cded6035","datavalue":{"value":{"amount":"+0.8722189664840698","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":"Q1765099$63ABF723-BB26-4A14-A17E-17B74296D218","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":"c99e5eda7242ae71d34af7b03198fb1bd7571168","datavalue":{"value":{"amount":"+0.8675541281700134","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":"Q1765099$2F880A4E-DBFC-4001-9C00-A28D03FEB292","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"57c6e74f0dc692143d060bf08d947a0a68fceff2","datavalue":{"value":{"entity-type":"item","numeric-id":4325775,"id":"Q4325775"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"603bfef316d2319b021c437338926be7383a7dab","datavalue":{"value":{"amount":"+0.7950071692466736","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":"Q1765099$F36D622C-D9A6-485C-A2EB-D0C87FBDE683","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9642a95ded970a2b8b964d74e7eeca674415c89c","datavalue":{"value":{"entity-type":"item","numeric-id":4551993,"id":"Q4551993"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eebba8325da1c4e1d4761a730104b56d993f6e76","datavalue":{"value":{"amount":"+0.7921442985534668","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":"Q1765099$ACAA4214-BB92-4A14-A9BB-B83DBDB12E06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dbbe010b804df7cb6804c79e100d84689cde3255","datavalue":{"value":{"entity-type":"item","numeric-id":920986,"id":"Q920986"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"08dd809695010087e6a723525c4030811b0ba009","datavalue":{"value":{"amount":"+0.7887146472930908","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":"Q1765099$DAF14AEE-4DD6-4A1F-BF2D-6FC339A483A6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1765099","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1765099"}}}}}