{"entities":{"Q1777268":{"pageid":1788010,"ns":120,"title":"Item:Q1777268","lastrevid":48484252,"modified":"2026-01-04T23:24:49Z","type":"item","id":"Q1777268","labels":{"en":{"language":"en","value":"An ordinal analysis of parameter free \\(\\Pi^{1}_{2}\\)-comprehension"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2168085"}},"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":"Q1777268$5C8FA01D-1018-496D-8339-BAC85F75E3E4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a60c19c8f7aae21a83e2f6dfa7f2a0307638057a","datavalue":{"value":{"text":"An ordinal analysis of parameter free \\(\\Pi^{1}_{2}\\)-comprehension","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1777268$BCF66D21-B00A-4E5B-ACD8-79827688A931","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0cb83c3d2c10f121b55cd0bb931b5854ebd992a1","datavalue":{"value":"1068.03047","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1777268$3E7DCBAF-2A88-47B4-B7EE-496D8F6E1AA2","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":"Q1777268$8ABCAB76-D564-4C66-A55E-E863383F19EE","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":"Q1777268$E122FBB6-F80C-48AC-AC72-683292BF9A58","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c64595f4f39ba5aa8c317730455f9500451c9c2e","datavalue":{"value":{"time":"+2005-05-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1777268$35C5C1FE-6180-4A9C-966D-19D369196624","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"ce773d5ac1515e391e16f42fd1c9d5fae8f6cabe","datavalue":{"value":"This is the second paper, in series of three, towards an ordinal analysis of \\(\\Pi_2^1\\)-comprehension. The author gives an ordinal analysis of \\(\\mathbf{ {KPi}}\\) plus the assertion that there exists a stable ordinal (a theory corresponding to \\(\\Delta_2^1\\)-comprehension, bar induction and \\(\\Pi_2^1\\)-comprehension for formulae without set parameters). Compared with the first paper of the series [\\textit{M. Rathjen}, ``An ordinal analysis of stability'', Arch. Math. Logic 44, No. 1, 1--62 (2005; Zbl 1068.03046), reviewed above], the additional technical difficulty is that the ordinal representation system requires ``collapsing'' functions -- now called, more adequately, projection functions -- which ``project down intervals \\([\\phi,\\beta]\\) of ordinals below \\(\\pi\\). What distinguishes it from the last paper [\\textit{M. Rathjen}, An ordinal analysis of iterated \\(\\Pi_2^1\\) comprehension and related systems. Preprint, 85 pages] in the series is that such intervals are not too complicated in that they do not contain stable ordinals \\({}> \\pi\\)'' [p.~264].","type":"string"},"datatype":"string"},"type":"statement","id":"Q1777268$BD41EA01-1A2F-4BB3-97DC-BD8CBEF8CC2B","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":"Q1777268$D00A323B-2B88-4F9F-A921-B56E6A1B64E2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"23ceee6d3c7c93830578b552513a944677a835cb","datavalue":{"value":"03F15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1777268$7FFF1947-D3B0-4403-910B-AF6338ED9FC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4cb4544bfd0397cd4a315ee326499c372f013de5","datavalue":{"value":"03F35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1777268$97EDFD1E-27CB-4C7B-98B7-4B0F5723FA51","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4db09b6a288ffb6e3b40a4fc41adabe58e78a9b6","datavalue":{"value":"2168085","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1777268$B0CD90CC-9379-4FDE-AD31-1D2B887A4A42","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f763be8f9480641fc901542d7275479ffb03b5c0","datavalue":{"value":"Ordinal analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q1777268$5D5ADAAE-84C4-4F99-9AD9-519D46712C1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5b9c482f21f263eb15a896321830fa1df80c5ea7","datavalue":{"value":"Pi-one-two-comprehension","type":"string"},"datatype":"string"},"type":"statement","id":"Q1777268$82DDCE1B-6E36-43B1-BE9A-72AEA6BC7F60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3ffd9ecf09b04298cecf0f69dfeb9f2df46c723a","datavalue":{"value":"Kripke-Platek with stable ordinals","type":"string"},"datatype":"string"},"type":"statement","id":"Q1777268$F9C37317-7002-477E-94DE-E67085634F30","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":"Q1777268$C31C51A0-224D-4525-9751-0A165555F608","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"75fb6f672bd61aeda0ebb1171b20bb410d3cc44e","datavalue":{"value":"https://doi.org/10.1007/s00153-004-0232-4","type":"string"},"datatype":"url"},"type":"statement","id":"Q1777268$9EFD941C-2C3F-419F-8750-A9549A0F732C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5b5bfcae9d1879d9bede8bf85d1fb0f9ecce0098","datavalue":{"value":"W1986871386","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1777268$EBC2568A-DA32-464F-8F09-3FFD0AB7C522","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":"Q1777268$9E9F4D44-428C-43F3-8280-711ECA58F649","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":"Q1777268$6A565D43-ACEA-41DE-823C-D79E9EAC3B72","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":"Q1777268$D2D4EC23-6823-4356-B537-2E41B2FEEEE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3af6d79cb7627680af279f9390de4528d7005030","datavalue":{"value":{"entity-type":"item","numeric-id":5344166,"id":"Q5344166"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1777268$D060DDA7-762A-4C3B-A43A-51D7D3BBAADA","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":"Q1777268$F4C5AF60-0D23-4B66-A611-5C1C533CF3EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"638d28b2baea18e6ece5760cb80ce35ea8d92024","datavalue":{"value":{"entity-type":"item","numeric-id":5672886,"id":"Q5672886"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1777268$D44ED2DD-60AE-4C9C-98F1-BAAB28A3FB31","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":"Q1777268$A43638E3-1B92-45FB-805F-0A6ECA810169","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":"Q1777268$CF29DA7C-389D-434D-8103-5846172E6FF6","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":"Q1777268$10746FD8-4F8C-4937-A5BB-694B141618D1","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":"Q1777268$9C23CC7D-5B50-45CD-AF09-254FE135CC45","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":"Q1777268$FD5D002D-A8FE-4769-AF42-14057A8ECFCD","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":"Q1777268$DA7E7F26-B0D9-4790-8291-3A0DB4DDEBB5","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":"Q1777268$7C01DC21-BA11-4706-8259-EC536C62F268","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":"Q1777268$5D56E4C0-AF64-4C12-9AAC-9FB97A1A3598","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":"Q1777268$3513F72F-AE8C-4078-A955-3CA3116B6C8F","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":"Q1777268$BE0D30E0-AC45-460B-BC3F-9896345F1A63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b2f210ba66854b3129bda72f277893be01b8e816","datavalue":{"value":{"entity-type":"item","numeric-id":4302424,"id":"Q4302424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1777268$399DAC1F-53C0-47CB-A5D0-B18304ECE2F6","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":"Q1777268$2AB812A6-BE81-452F-A249-4952DEBC6F12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03f48f65b0d0bb8c9c02df48186fc1ecf0523097","datavalue":{"value":{"entity-type":"item","numeric-id":4154561,"id":"Q4154561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1777268$E2788FCB-EE36-454B-AFA3-801AB13C3C4C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"dae7338e1481392a6fc6b60d1aa39b2de6755826","datavalue":{"value":"10.1007/S00153-004-0232-4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1777268$77361F35-1BF5-4902-BBE0-716B0C43CEB5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e2e05b2f3e8698880f2694275fc9b07e5350c716","datavalue":{"value":{"entity-type":"item","numeric-id":1765099,"id":"Q1765099"},"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":"Q1777268$F107800A-C873-42A2-ABCE-F1EBA1B2B59D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6a7766428c6ea3186789559fcbb0f6d222114a3d","datavalue":{"value":{"entity-type":"item","numeric-id":4215633,"id":"Q4215633"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"471f5f3fdea593eadd7ec1f5fb96367dd49f1d46","datavalue":{"value":{"amount":"+0.8455467820167542","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":"Q1777268$CE2DC795-8C7C-4459-8C53-CFC09CE36EE2","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":"67f07f003fb008570285a267300f1985171515c2","datavalue":{"value":{"amount":"+0.7927312254905701","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":"Q1777268$626DDB95-1FF6-4247-A764-C90D172C1DE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b9eec386bd8861de82173f433acbe111d11a1060","datavalue":{"value":{"entity-type":"item","numeric-id":4873894,"id":"Q4873894"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"19f218731115472033e3eb31d3724b7bff74b04e","datavalue":{"value":{"amount":"+0.7849279046058655","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":"Q1777268$1275FB8C-89AA-47A8-AA91-BB7CADD74B09","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":"368cbd7cb3c0354a8f36b9c03589e758c41a0920","datavalue":{"value":{"amount":"+0.7845340967178345","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":"Q1777268$D89C6DDC-2D3F-4E6A-B2DA-05FD30AB215D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1777268","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1777268"}}}}}