{"entities":{"Q2514846":{"pageid":2525589,"ns":120,"title":"Item:Q2514846","lastrevid":73442664,"modified":"2026-04-14T16:00:46Z","type":"item","id":"Q2514846","labels":{"en":{"language":"en","value":"Notes on some second-order systems of iterated inductive definitions and \\(\\Pi_1^1\\)-comprehensions and relevant subsystems of set theory"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6396922"}},"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":"Q2514846$EE79CB9E-860C-48CA-90C8-F437D64FEF97","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"263205e60f693a1e7e3c1b7b495967264a7bfbf8","datavalue":{"value":{"text":"Notes on some second-order systems of iterated inductive definitions and \\(\\Pi_1^1\\)-comprehensions and relevant subsystems of set theory","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2514846$5992842B-5370-4A92-912A-6D5152FD8ED0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"cf70efe6fbdeb5d1585060bbd693f1c5ba7efc50","datavalue":{"value":"1371.03089","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2514846$8C4EE760-9BFA-45F9-8F88-5B8D24E39B15","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"bc037806ca11bf2f8a0a46efc23695c295dd3db7","datavalue":{"value":{"entity-type":"item","numeric-id":450945,"id":"Q450945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2514846$72119264-03DA-4959-8591-877BE1D35156","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f91a4bcbc93435aed71775d25a4c5cd09e26f12d","datavalue":{"value":{"entity-type":"item","numeric-id":122505,"id":"Q122505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2514846$EC4749B4-A0D4-4C65-B785-1734BBEFE629","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"fa47d3e0ba2062e2ce661f751109363b14b792ea","datavalue":{"value":{"time":"+2015-02-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2514846$3D1C72C3-695D-4E9A-82F8-1778E8646EA5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"23ceee6d3c7c93830578b552513a944677a835cb","datavalue":{"value":"03F15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2514846$06451F96-C1C2-4767-AD4E-F42C8F0E98D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2514846$E8BD3003-724B-4D6A-B98F-C5CD877E83B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4cb4544bfd0397cd4a315ee326499c372f013de5","datavalue":{"value":"03F35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2514846$D5F9EB77-110B-4466-8735-91130F0CD930","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5909a1ebc4b7dc784b94f8755cc2e09f44865dd1","datavalue":{"value":"6396922","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2514846$013C134E-5360-47E4-9347-B316999F2DEB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"664c217a1a00d62effaec670f5656be452525922","datavalue":{"value":"ordinal analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q2514846$B62DBADD-16E3-4BC0-8B9F-56D1E01C072D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ba29bc695092e1012b615eb49ec43774f5b5c42a","datavalue":{"value":"inductive definition","type":"string"},"datatype":"string"},"type":"statement","id":"Q2514846$D531F6F7-928F-4C7B-8D56-45D2FCC99308","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6d0adfd565630b16f689e4cf5e40e804ec24c8e5","datavalue":{"value":"\\(\\Pi_1^1\\)-comprehension","type":"string"},"datatype":"string"},"type":"statement","id":"Q2514846$AC184EBB-36CF-4DF9-ADD1-A9A3F8A2502D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3f62e8e1c4d7b443eda51b480fa2916beeb866d7","datavalue":{"value":"Kripke-Platek set theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q2514846$6AD6E006-1C8D-4D60-81D0-989DF7DDCF8D","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":"Q2514846$3820DBAF-2147-402A-BEC6-664A35253443","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"028991c49af8c65bf7e77a335c4af57a317cb045","datavalue":{"value":"https://doi.org/10.1016/j.apal.2014.11.001","type":"string"},"datatype":"url"},"type":"statement","id":"Q2514846$BCBD6F26-F9AE-4E61-9FB3-147728C9C0E5","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b1e0c0c1f5a8e13fd3acd8b70739c941ad2b7665","datavalue":{"value":"W2023241293","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2514846$1E300EB1-6656-4832-BB95-312322A4C1EE","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"889750e6b63c62516f108fd0d35f770cecc8f256","datavalue":{"value":{"entity-type":"item","numeric-id":1264579,"id":"Q1264579"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2514846$D6C1786F-FE56-4166-A412-437D67E732F9","rank":"normal"},{"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":"Q2514846$8B880B7F-2C21-47F4-A50F-3B6504E935AD","rank":"normal"},{"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":"Q2514846$CF1E6E6D-7443-4A5D-A571-29136C5D45E9","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":"Q2514846$BF7401F7-E3E9-494A-8398-EDD3AF941446","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"17fc2e7459eaf322f6bdf4106f28738c73144017","datavalue":{"value":{"entity-type":"item","numeric-id":4198748,"id":"Q4198748"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2514846$2C9AF015-7309-44AA-BE9B-25D0197725CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"795988a055edb64e2872e1fd206565bb5c7a4af7","datavalue":{"value":{"entity-type":"item","numeric-id":5622162,"id":"Q5622162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2514846$D7B88ADB-695F-47FE-9B9D-A027AB30175B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4e65fd5e52ad9e9d47e1618e1eddd97fb13718b8","datavalue":{"value":{"entity-type":"item","numeric-id":3173533,"id":"Q3173533"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2514846$5758E1F1-F7BA-434E-A929-9D8AC8EC317C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c26764e82c9ce1a5fcfcc1bf552b3a6da2b17f4c","datavalue":{"value":{"entity-type":"item","numeric-id":3778746,"id":"Q3778746"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2514846$C434FCAB-7853-4E04-AA91-64D4EFA89FF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"07938c6dc0cbfdc3ba8a7f8b528364b3b071d379","datavalue":{"value":{"entity-type":"item","numeric-id":1908814,"id":"Q1908814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2514846$65575C2D-2FB0-4416-82D5-1A7AC3612B07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8cc2143eb9934bad347b67d1052a1c677ec1b276","datavalue":{"value":{"entity-type":"item","numeric-id":4175275,"id":"Q4175275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2514846$59AC3822-CD9B-4521-A7FF-8B1519232E60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cec940eee0477184e354b8959d22d2df44a783c7","datavalue":{"value":{"entity-type":"item","numeric-id":4215633,"id":"Q4215633"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2514846$2F403864-0724-45C5-9003-85F5833B38A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b24b5b561cde7a5eef6f6e87df461bfda495bb00","datavalue":{"value":{"entity-type":"item","numeric-id":3773877,"id":"Q3773877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2514846$E894A2D2-AE1D-40A4-9ED6-8573C4CDA69A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"da7df1f230b0a1f7c4b06732c60d23fdde79f7f0","datavalue":{"value":{"entity-type":"item","numeric-id":3809793,"id":"Q3809793"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2514846$405C3C3B-0ED6-4FA2-8BDE-42A12EAC316B","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":"Q2514846$E7812D52-D63A-4923-9FBF-1F0339C56D39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b4f2f68614948a6f9639403077e134483bc245d5","datavalue":{"value":{"entity-type":"item","numeric-id":3081650,"id":"Q3081650"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2514846$BAC75069-09A9-49BA-B338-58D7FD1857D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0430e4a9fe16a78c945c278746cad2959afea463","datavalue":{"value":{"entity-type":"item","numeric-id":3395521,"id":"Q3395521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2514846$F1742AFE-60CD-47C5-BCA6-DA5FCB9D2F26","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2ef3fb6fb1db1df8329bd24bb94c08ce93c76b4f","datavalue":{"value":"10.1016/J.APAL.2014.11.001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2514846$85EB46F5-8AAC-4CEC-9D09-C4C8F9C87680","rank":"normal"}],"P1643":[{"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":"ebe26e2d0482e1307f25211cabe4e57caad16741","datavalue":{"value":{"amount":"+0.8031302690505981","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":"Q2514846$A3DD060E-DC14-4989-8DFB-CEFAE8EA7032","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4b89f3753e44e204fd1b35b530c585acef21f74f","datavalue":{"value":{"entity-type":"item","numeric-id":4040375,"id":"Q4040375"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f913912ade12057e9afff79e4d6d7784d4e1ef3f","datavalue":{"value":{"amount":"+0.7918969392776489","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":"Q2514846$F5E8B51C-44F7-453D-9762-07E0FC06F7A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d7b1dc6e396f4d398e8d9631206e9766f4ebbc85","datavalue":{"value":{"entity-type":"item","numeric-id":2276954,"id":"Q2276954"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f7a6a2a5e573e4cf364a27d6d0de220c2e80a52b","datavalue":{"value":{"amount":"+0.7900123000144958","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":"Q2514846$191AA7D5-268B-400C-9192-D46A0C113B4D","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":"b92678d81e89420b79aaa7c24690ab1b21cbc3c5","datavalue":{"value":{"amount":"+0.7896014451980591","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":"Q2514846$C2F27091-D25D-4DA3-AE21-1EE9F73A7098","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ed96ea9ca2d0e684435b511a04d1ce0ca272408d","datavalue":{"value":{"entity-type":"item","numeric-id":3138827,"id":"Q3138827"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e983db92dfa34c0de4fb764c9b4bdc9a3fcfab40","datavalue":{"value":{"amount":"+0.7894407510757446","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":"Q2514846$BF63E42D-704E-4179-A4A0-504C8C858BA7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Notes on some second-order systems of iterated inductive definitions and \\(\\Pi 1^1\\)-comprehensions and relevant subsystems of set theory","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Notes_on_some_second-order_systems_of_iterated_inductive_definitions_and_%5C(%5CPi_1%5E1%5C)-comprehensions_and_relevant_subsystems_of_set_theory"}}}}}