{"entities":{"Q2933671":{"pageid":2944391,"ns":120,"title":"Item:Q2933671","lastrevid":52151717,"modified":"2026-01-21T01:13:58Z","type":"item","id":"Q2933671","labels":{"en":{"language":"en","value":"Relative predicativity and dependent recursion in second-order set theory and higher-order theories"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6377228"}},"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":"Q2933671$AE8EF77D-E2B4-4CDD-9B96-E26F2EB459BA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"48fbfe7ecb4da278d10abd874d0311ae4d086ab7","datavalue":{"value":{"text":"RELATIVE PREDICATIVITY AND DEPENDENT RECURSION IN SECOND-ORDER SET THEORY AND HIGHER-ORDER THEORIES","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2933671$498F5F54-D7AC-4F61-AA93-3BB219085BA3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3c15b6f7f242636adbcbd66c95ab41fbabf0d458","datavalue":{"value":"1353.03073","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2933671$99917FF1-3A44-4B1A-92EB-D856F806F63F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a662f6b5100ada57435ceb7f809f265febd4cb20","datavalue":{"value":{"entity-type":"item","numeric-id":481872,"id":"Q481872"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2933671$BEEE443E-ED7E-43EF-A264-0152FD2518CF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"251a8180674f25d7da0909ef6cdc4a843414945e","datavalue":{"value":{"time":"+2014-12-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2933671$7937375D-0A21-400C-8C0C-DAD5B4C48EF3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7ff5d75a6c917b6dc1a4b45a5f46c5e6164b6ab2","datavalue":{"value":"https://boris.unibe.ch/61784/1/sat12.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q2933671$BE2C5761-BD98-4181-9C3D-212038CB6373","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"4dd17e948ef0e266d136e969bf8283741afbd898","datavalue":{"value":"03F25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2933671$2672D538-8C9A-4A67-8FF1-BC63FAA425F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"13841f0b96793f178ce9a7dcac9f232220625aee","datavalue":{"value":"03B30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2933671$6F515E96-2AC0-443B-BCD9-761A28E5E659","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4cb4544bfd0397cd4a315ee326499c372f013de5","datavalue":{"value":"03F35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2933671$5B17C3DD-7CCD-4E36-ABDD-E3C2B6936C76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2b0919c48a255b26fcf065230a9a621cd8c579a3","datavalue":{"value":"03E70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2933671$A1FFCAC5-3E42-40D9-9C3D-6B366B510624","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"192d0944f8ce0db052444c5626dc92b229a5f4be","datavalue":{"value":"6377228","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2933671$BA4163A0-6101-4F58-A351-D356309CA893","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83a82fa3130d2cbd3fb5fdb348a9d47c5942ed98","datavalue":{"value":"relative predicativity","type":"string"},"datatype":"string"},"type":"statement","id":"Q2933671$55F6B5D9-4073-45B7-BBE3-90891ABEC9D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"88fec92ac4726833713a326cd6d84b4d57b5d10b","datavalue":{"value":"dependent transfinite recursion","type":"string"},"datatype":"string"},"type":"statement","id":"Q2933671$E5C7376D-5960-4A81-AF78-7CBF30DEED5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d33487a2c285d8681ecfd5cc4e5959c2d36c283c","datavalue":{"value":"autonomous progression of autonomous progression","type":"string"},"datatype":"string"},"type":"statement","id":"Q2933671$86FF2225-BA14-4F3B-9315-CA442382917F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dbc3f4aa5b9daf8bce9a98b9c45593d51f047874","datavalue":{"value":"second-order set theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q2933671$B7892728-F18A-4622-A217-586FA7EDF16F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eba2b06d8591b9363f5ddf5ea0073b1f5ee0aacc","datavalue":{"value":"higher-order number theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q2933671$6884105F-37E2-4F89-A0D5-112E28E4D128","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":"Q2933671$7C8695D7-C809-4451-8FA8-EF5DD6598001","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c65ae45ab7dbdca79da98370c2dd4452064e7dde","datavalue":{"value":"W2143083142","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2933671$35B3B807-3C45-4C64-96B4-96B73754D113","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c136e23902c7276b951fdfcca3801593ff226757","datavalue":{"value":{"entity-type":"item","numeric-id":481873,"id":"Q481873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2933671$7188462F-0024-432C-B5DF-81172B20F793","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ade6af8b14e3e35f4108a39f58b550626f0e8699","datavalue":{"value":{"entity-type":"item","numeric-id":4220572,"id":"Q4220572"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2933671$230CDBD5-6F7B-4018-824E-B1290C002D04","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7f1bb7ad959f9bcfcaedadb49543bfc35f0e2ef1","datavalue":{"value":"10.1017/JSL.2014.28","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2933671$3A86008D-AD9F-484F-AD1E-3A659302BBFC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6218d42f0175ef35f91c4900eb5db86484a9463d","datavalue":{"value":{"entity-type":"item","numeric-id":2710590,"id":"Q2710590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2933671$DB356F82-6F46-445B-8FE5-CF16F0438459","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c17330142912040dd4e0b802b9cbdd1e53e10e47","datavalue":{"value":{"entity-type":"item","numeric-id":4779657,"id":"Q4779657"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f449f5e59c62c0464b372de5b5af2d6bfbf58725","datavalue":{"value":{"amount":"+0.7243984937667847","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":"Q2933671$53B35CAC-E3C4-45B0-A85E-E852EF6E83A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"54a61f66c7bf0542fb299865ce92d1fb811eee37","datavalue":{"value":{"entity-type":"item","numeric-id":5359565,"id":"Q5359565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7ae5c23e23857b857df7a80deffb23a15db55c6c","datavalue":{"value":{"amount":"+0.7150066494941711","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":"Q2933671$74B876A3-5E4D-4B06-9E3F-384DD90C6193","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"56a966dca1734e14d9f765c601af15b849514cc8","datavalue":{"value":{"entity-type":"item","numeric-id":5316376,"id":"Q5316376"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f41331c77fb5fc7ea34b2434a7d98e6d8c9936c4","datavalue":{"value":{"amount":"+0.6997360587120056","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":"Q2933671$07F7EB57-1332-49F8-8263-EA722DA7980B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dc95d172549729531d9450d12d5f17c6120f1500","datavalue":{"value":{"entity-type":"item","numeric-id":1407581,"id":"Q1407581"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"549bc25dc7e503085c5621d389eac362e0e2d863","datavalue":{"value":{"amount":"+0.6801773905754089","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":"Q2933671$ACD3538B-023F-4931-ABFF-B0E5BF0A0A89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"900bc078011613849e8547905e4e483d14f4af4c","datavalue":{"value":{"entity-type":"item","numeric-id":4944925,"id":"Q4944925"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8056bd71fa94b1c9107862d446357cbb51cc3e0c","datavalue":{"value":{"amount":"+0.6789491772651672","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":"Q2933671$8843186F-C4A1-4E4F-91AD-ECB96BCDA4DB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2933671","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2933671"}}}}}