{"entities":{"Q2267752":{"pageid":2278495,"ns":120,"title":"Item:Q2267752","lastrevid":50917439,"modified":"2026-01-15T18:10:31Z","type":"item","id":"Q2267752","labels":{"en":{"language":"en","value":"A note on the theory of positive induction, \\({{\\text{ID}}^*_1}\\)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5676426"}},"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":"Q2267752$9C596FFC-98B8-4D78-BD27-A78558925D01","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c823f142c4c8c9f6fe9e1c732c50fabeaaee14f9","datavalue":{"value":{"text":"A note on the theory of positive induction, \\({{\\text{ID}}^*_1}\\)","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2267752$480D0ED1-6FB0-468B-A294-FE1A3B1241D3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"79519a5661dd6f5964e1a61395448c4350991ea8","datavalue":{"value":"1198.03079","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2267752$D45EF442-D3F3-4DF0-BDB4-9404F3AE88FE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"73f5b97643c937daca3f616369c991f46ae54674","datavalue":{"value":{"entity-type":"item","numeric-id":1032625,"id":"Q1032625"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2267752$8D2F1A8B-4642-4902-BA5F-E3586168C43F","rank":"normal"},{"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":"Q2267752$8E2AB14D-5E15-48DC-9475-128CA5C84C08","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":"Q2267752$75056D2A-BE8D-4F06-8B16-36ACF0106B9F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"451b1add420eba18eb55274d0248d7a57f02985b","datavalue":{"value":{"time":"+2010-03-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2267752$D708038D-0D35-4261-8779-BB50DF4BB955","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"fdec998cd3173635318a980d21c8a30031902ffa","datavalue":{"value":"This paper provides a proof-theoretic analysis of the theory \\(\\text{ID}_1^*\\), an interesting restriction of the well-known theory \\(\\text{ID}_1\\) of non-iterated inductive definitions, by use of \\(\\omega\\)-model reflection. This method differs from the one used by Probst, who established the result earlier in [\\textit{D. Probst}, ``The proof-theoretic analysis of transfinitely iterated quasi least fixed points'', J. Symb. Log. 71, No.~3, 721--746 (2006; Zbl 1115.03084)].","type":"string"},"datatype":"string"},"type":"statement","id":"Q2267752$FE3AB878-2C47-4A59-9C71-6F5D39631B42","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":"Q2267752$3EC2D813-AF36-4D88-BE00-DEFD648ABB0B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"4cb4544bfd0397cd4a315ee326499c372f013de5","datavalue":{"value":"03F35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2267752$542F3212-ACBC-4C68-8C32-CDC6C7A80A3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"13841f0b96793f178ce9a7dcac9f232220625aee","datavalue":{"value":"03B30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2267752$0ED070BC-0F91-46C4-9881-7B522E12A5AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4dd17e948ef0e266d136e969bf8283741afbd898","datavalue":{"value":"03F25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2267752$26293FD7-5EED-46C4-B0F3-A393B4B70E02","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"93494e36606f47b569d955fd532ce93b16137dd6","datavalue":{"value":"5676426","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2267752$412CC194-950D-4BCB-A2C2-39238212AEA2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b8bd76e049c54173f616502aa0b252f615697023","datavalue":{"value":"theories of inductive definitions","type":"string"},"datatype":"string"},"type":"statement","id":"Q2267752$F8089CCC-301B-4CA9-88A4-EC66DEAD57EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a9fd58b273281415642243dcadd612e5bf96f4ff","datavalue":{"value":"omega-model reflection","type":"string"},"datatype":"string"},"type":"statement","id":"Q2267752$F753B5F5-3D1C-4A95-BCAB-5D17B83F1DB6","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":"Q2267752$59AA3733-A6D4-40E2-88BA-AA2467A8468C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a47c206b40d722daac6f7729edd1204edcdd7a09","datavalue":{"value":"https://doi.org/10.1007/s00153-009-0168-9","type":"string"},"datatype":"url"},"type":"statement","id":"Q2267752$96B4E06C-5191-4535-87BC-BC97E6CFD4C5","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3acd2df1a0755d76b345508cfce99cc1aa57ab22","datavalue":{"value":"W2100332564","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2267752$4EF58663-D8B1-4944-88FC-3CAC7CFDDB24","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":"Q2267752$D9A9A91E-838C-476B-A2CF-BFD64F895AEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"657968a87a1849cc9d0a2c04676a0be49fdb6449","datavalue":{"value":{"entity-type":"item","numeric-id":3705449,"id":"Q3705449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2267752$7485D21E-543C-4C8E-B013-79D6C5EDED3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"53896d5eb3675aae4ccf944284341c082a1794fc","datavalue":{"value":{"entity-type":"item","numeric-id":3768896,"id":"Q3768896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2267752$06ED9F0E-FBDC-415D-9DA4-2D4FCBA7EEA3","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":"Q2267752$DA8355BF-E88A-4C9D-A9D0-A65670AFB976","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"82bb70b3f5a566a642831449cc6cc703083edd17","datavalue":{"value":{"entity-type":"item","numeric-id":1096626,"id":"Q1096626"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2267752$3EC87F61-F039-40C9-A05D-E99CC18A3379","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"344d2929ee1482cc0700fb8902daf5fde5955e19","datavalue":{"value":{"entity-type":"item","numeric-id":5687318,"id":"Q5687318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2267752$DD16F800-01E3-4D67-95B3-E90D2B4082E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c16f673d5703c33c3adf79a7f77df29cb82f4fc","datavalue":{"value":{"entity-type":"item","numeric-id":2267754,"id":"Q2267754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2267752$64F75B5A-5AAB-4647-AFEB-5AC3EBBEE9DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ce06ac1a04494bb7d8c85be4c61fb1875844ce3","datavalue":{"value":{"entity-type":"item","numeric-id":3410669,"id":"Q3410669"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2267752$F92FEF59-E4F3-4587-8F5D-CCD9D6CCF92B","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":"Q2267752$0F1402D0-0FE1-4F44-A824-09623867C1CD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"72d6417599e7cd6cd694c8d3ab96671e8760932a","datavalue":{"value":"10.1007/S00153-009-0168-9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2267752$E40F9AE9-2A37-4B51-870C-8B751710739A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e8482c4068af10e6f6c0ac45811b435ffb323110","datavalue":{"value":{"entity-type":"item","numeric-id":4692081,"id":"Q4692081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ca52e2df572af711f12841e3fcf0b599074d25cf","datavalue":{"value":{"amount":"+0.8099555373191833","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":"Q2267752$8A4B69A2-C47D-40CF-AA6E-709A938F57BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c2cec389dbec5380b2d49d516875028782328c4b","datavalue":{"value":{"entity-type":"item","numeric-id":5687318,"id":"Q5687318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c5d4b899d73d681e9df0f226b1b06d9dadc13a65","datavalue":{"value":{"amount":"+0.8014472126960754","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":"Q2267752$8D2781EB-AA7B-4F27-A2F5-951BD38D22B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"06c2d6155c223905fb38e25ee94b229f28beb17b","datavalue":{"value":{"entity-type":"item","numeric-id":3081636,"id":"Q3081636"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"417e24eed15e7bd1c83989dcb19d7a6f4bbd9c40","datavalue":{"value":{"amount":"+0.7753521800041199","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":"Q2267752$918AD60C-4029-4EDC-83AA-2320B2DA02A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"42ba51370ea46ba5e928a5b0e1d3822cee535f4e","datavalue":{"value":{"entity-type":"item","numeric-id":2933746,"id":"Q2933746"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"912af720cb04ae480f7a6271cf3f42ceadb01452","datavalue":{"value":{"amount":"+0.7645363211631775","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":"Q2267752$890CA416-F666-4EED-AB9D-BC1F3FAFA323","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"039f7daad8d34e6c8ea6da9ff3d643960ac3a574","datavalue":{"value":{"entity-type":"item","numeric-id":3025192,"id":"Q3025192"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"92615f75501c499bc88aa1fef549cded571d3c4c","datavalue":{"value":{"amount":"+0.7569482922554016","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":"Q2267752$84338CD1-E6C5-429D-A187-B20779858BBC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2267752","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2267752"}}}}}