{"entities":{"Q1908814":{"pageid":1919556,"ns":120,"title":"Item:Q1908814","lastrevid":69431826,"modified":"2026-04-13T06:57:46Z","type":"item","id":"Q1908814","labels":{"en":{"language":"en","value":"Second order theories with ordinals and elementary comprehension"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 851905"}},"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":"Q1908814$EB688C99-FAB5-41EA-AB02-EB7EFCA0B7F2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7d72844cb33c0134de5066de5296e338b37a04c1","datavalue":{"value":{"text":"Second order theories with ordinals and elementary comprehension","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1908814$9EAA960C-26D7-4550-8456-F4268A8CFC73","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0116028e3606ec0a267871cf408489fdaefe34fc","datavalue":{"value":"0846.03028","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1908814$753C2E82-A1BE-4B85-9DE2-6B93910567C9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f09e865d312c3b1bc33372805b71cefc9339b7cd","datavalue":{"value":"10.1007/BF02391553","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1908814$58ECD7C4-A3F3-4B04-9B8C-B1F2E0F8EA73","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"34cb696ce5008e0ad8b0b39e02b98fb8b38cd33a","datavalue":{"value":{"entity-type":"item","numeric-id":194997,"id":"Q194997"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1908814$6757CAB4-358D-486A-847E-1285BCAAD557","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"703e8b987ff5a02d9a59e4ce9f4b68bdce3e6ac3","datavalue":{"value":{"entity-type":"item","numeric-id":588960,"id":"Q588960"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1908814$1E0FD2F0-73D8-4BEF-A54C-9B30EA55990A","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":"Q1908814$2A47B1C9-53F8-47AE-9B5F-30C564AF5CDF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"eb43f4a549dcdc32240181214b2f8f1fe8474a00","datavalue":{"value":{"time":"+1996-09-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":"Q1908814$068F0DAA-98DD-4237-A98B-3746AB3877F1","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"d3f4dcf9bbada36f50a3408cf5c054f216c3b11d","datavalue":{"value":"We study elementary second-order extensions of the theory \\(\\text{ID}_1\\) of noniterated inductive definitions and the theory \\(\\text{PA}_\\Omega\\) of Peano arithmetic with ordinals. We determine the exact proof-theoretic strength of those extensions and their natural subsystems, and we relate them to subsystems of analysis with arithmetic comprehension plus \\(\\Pi^1_1\\) comprehension and bar induction without set parameters.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1908814$5B3465EE-1DAA-4B2B-9F84-D88611A8A269","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d971f250f4b60bd91da7e9350568180af141e6af","datavalue":{"value":"03F03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1908814$1026CDCC-C4EF-4888-8ADF-22D065311DBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4cb4544bfd0397cd4a315ee326499c372f013de5","datavalue":{"value":"03F35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1908814$1BF56479-8BC5-4AC8-BCA0-0B8D72CC653B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cde05172e5f9c37cef740a3519be6dc5014d282e","datavalue":{"value":"03D70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1908814$7C8BF3D4-F89D-400E-B426-6387D11126ED","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"91317d9db99f7a83036cc4519d960dac3d9d8ed5","datavalue":{"value":"851905","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1908814$D1C124DF-ACA8-4432-9AB6-2F01432F0B69","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e928ef71c0e7c501fd4e474de74400a15fc3e89d","datavalue":{"value":"second-order arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1908814$3FDF9B13-5DA4-43AF-9DD6-981874584393","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e5da146e31d178cbad7e2b63563a35cb7c547f8a","datavalue":{"value":"elementary second-order extensions","type":"string"},"datatype":"string"},"type":"statement","id":"Q1908814$53F11C21-8DEE-426C-B4DB-4D536E77AE3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"70069efd410315900f2bf16a0133ae36112e66f2","datavalue":{"value":"inductive definitions","type":"string"},"datatype":"string"},"type":"statement","id":"Q1908814$16896218-4112-4543-A217-BA8896552C80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"51cd11305b7b43e6fdec6c2b528b7abac57cca1a","datavalue":{"value":"Peano arithmetic with ordinals","type":"string"},"datatype":"string"},"type":"statement","id":"Q1908814$92BB65E9-BDDF-4CA5-9473-28F19FF58446","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7c9d42b2a8e8f10bc0defb7ff4991bcf0f90417e","datavalue":{"value":"proof-theoretic strength","type":"string"},"datatype":"string"},"type":"statement","id":"Q1908814$83B3B18C-D5B3-42D2-987D-B4EDCCB7AD7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"45c78721141b4f13208948b9a581723f4d49bc35","datavalue":{"value":"subsystems of analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q1908814$C825D9DE-77CA-46AF-8643-294D765E56BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4c72ed165d20bcaff8a0ac4d00dfa4c58ee8c4c7","datavalue":{"value":"arithmetic comprehension","type":"string"},"datatype":"string"},"type":"statement","id":"Q1908814$77F43C02-C93C-4551-B9F1-02C3C0D404F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3ecd18eca3fc9713df6a82ddda202d74f024f012","datavalue":{"value":"bar induction","type":"string"},"datatype":"string"},"type":"statement","id":"Q1908814$F53AD955-AB11-433B-9120-9CA0E9654BCF","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":"Q1908814$9DDDDB2A-087A-4188-AB1E-D38B7100477D","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":"Q1908814$48E4DE4F-5B64-4E53-B493-9A7F5CD6F3DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b9f954579b11b61654d613eb6bf07408594b31ed","datavalue":{"value":{"entity-type":"item","numeric-id":4295223,"id":"Q4295223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1908814$7104DEE3-3B27-4999-8302-C2784B6AE59F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c165ff1f162c68d8c431ce2def1730099f39078b","datavalue":{"value":{"entity-type":"item","numeric-id":3671968,"id":"Q3671968"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1908814$95C2F520-F7AF-4B49-ABFE-382BEB25BF03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"976fb4f3d01716802cb0f5b2570ef5544a8a2dff","datavalue":{"value":{"entity-type":"item","numeric-id":3039340,"id":"Q3039340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1908814$E5FB64AA-648C-4B66-ACE7-35A4C8C2FF9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb73f10ef06d2f95cf34fa3f9d1b79e97709c0d1","datavalue":{"value":{"entity-type":"item","numeric-id":1919537,"id":"Q1919537"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1908814$4A315FE6-BE5D-4A07-AE0F-73C8861AE4E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0116a611e86eefe60b27b9f78858f3d08089c740","datavalue":{"value":{"entity-type":"item","numeric-id":3880843,"id":"Q3880843"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1908814$87847797-F19B-472E-8839-7A1DDCEB1788","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ddcae75623ad27e45f301cf7aa223ba87bd8584","datavalue":{"value":{"entity-type":"item","numeric-id":3968911,"id":"Q3968911"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1908814$4D9339BD-9E88-4F52-B5D0-8991CDD52DEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fd228306c03acaf84fd1c55f443623cadcf212a2","datavalue":{"value":{"entity-type":"item","numeric-id":1210139,"id":"Q1210139"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1908814$562B4AEB-4CDC-4B61-8803-911534F693CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"609b8980d15e4aa75fa172eb43965c66e7de8b47","datavalue":{"value":{"entity-type":"item","numeric-id":4032884,"id":"Q4032884"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1908814$F6E57622-94C4-4DC2-B608-91CA06EA82B0","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":"Q1908814$AC687BAD-6358-4AA6-910A-57FA23DF1FDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"33a85999d90e7791331b7c1bc27d1690528cfee4","datavalue":{"value":{"entity-type":"item","numeric-id":3984445,"id":"Q3984445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1908814$965B96F4-D37F-4BF5-871E-61601690AC6A","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":"Q1908814$5DFAF600-7FE2-4B6F-A50C-416F69A96087","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c796d148571935684673da391039e87c3da0abf8","datavalue":{"value":"https://doi.org/10.1007/bf02391553","type":"string"},"datatype":"url"},"type":"statement","id":"Q1908814$C4E685CF-DAC9-4784-AF13-9380B0CDB7C2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4c3eb31e79278e2d102b74fe7c066eaad6516374","datavalue":{"value":"W2069440181","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1908814$83035F39-884C-40CC-AC45-E132134B4A3F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"11504214261f79bd2819af955442e3543887e99e","datavalue":{"value":{"entity-type":"item","numeric-id":3081650,"id":"Q3081650"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"68e5ac1e61d8f711d1bce7195369a651486b7d20","datavalue":{"value":{"amount":"+0.7987790107727051","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":"Q1908814$18995056-40BB-4431-9BB8-465C135A3BF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"25db532d64c56b0b44c0537e3417a253607d57de","datavalue":{"value":{"entity-type":"item","numeric-id":4254639,"id":"Q4254639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2989294630760558b6904ba66f20102f9a508763","datavalue":{"value":{"amount":"+0.7883382439613342","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":"Q1908814$E5E3F6B0-E928-499B-B56F-487F7DF406AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a13ee89cfb27dc28547c26d48c69dc38d8f57a38","datavalue":{"value":{"entity-type":"item","numeric-id":2514846,"id":"Q2514846"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7a0437ab00f21a0c2296277681e7953328de5340","datavalue":{"value":{"amount":"+0.7847659587860107","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":"Q1908814$BFF86FEF-6D40-4D9A-97E1-D729A3EE0C0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"95a83a408442c3db67858a210469ff123540b750","datavalue":{"value":{"entity-type":"item","numeric-id":4628680,"id":"Q4628680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3481421d201682266db214c679a88ace93401ac6","datavalue":{"value":{"amount":"+0.781918466091156","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":"Q1908814$94A51640-2279-48CC-8253-4A42F1E416D7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Second order theories with ordinals and elementary comprehension","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Second_order_theories_with_ordinals_and_elementary_comprehension"}}}}}