{"entities":{"Q2470764":{"pageid":2481507,"ns":120,"title":"Item:Q2470764","lastrevid":73465176,"modified":"2026-04-14T16:06:01Z","type":"item","id":"Q2470764","labels":{"en":{"language":"en","value":"Generalized definitional reflection and the inversion principle"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5235516"}},"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":"Q2470764$609889A6-EFF3-43E6-9D31-5E8344BE12E5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"25c6565b06bbb30207751126be4912cc0cb041cd","datavalue":{"value":{"text":"Generalized definitional reflection and the inversion principle","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2470764$341E10B2-7A06-4D5B-A216-8438E2299325","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7d9833d6bec6a8f997c523fb92e58db1a0dda5e2","datavalue":{"value":"1138.03044","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2470764$8609FE04-C81A-4A89-8C9A-2E8757286E59","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"79a110f1ed4fa3764142d6f2e9807097c2edae37","datavalue":{"value":{"entity-type":"item","numeric-id":383069,"id":"Q383069"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2470764$1514BAF2-8B2E-4623-97F9-B61FAC45B1C3","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"68e3389b38900d3aaadd2d35ede086cf89c1b97f","datavalue":{"value":{"entity-type":"item","numeric-id":263103,"id":"Q263103"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2470764$1AD7CC69-3427-40B6-A360-78727CF75CC8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9eddbf6b84d3aa22569898d419b5220eb74d29eb","datavalue":{"value":{"time":"+2008-02-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2470764$237F1383-01A7-4230-9057-8835135D3C53","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"a3a7169492e63ee910d09a2b236327772489db3a","datavalue":{"value":"In this paper, definitional reflection -- a principle proposed by Halln\u00e4s and the author in a series of other papers -- is related to the inversion principle -- as introduced by Lorenzen, corrected by Hermes, and later adopted by Prawitz for his programme of general proof theory. It is shown that ``both, definitional reflection and the inversion principle are consequences of generalized definitional reflection'', a generalization of the definitional reflection in the presence of variables. However, ``both are strictly weaker than generalized definitional reflection, but neither of them entails the other one''. To obtain generalized definitional reflection from simple definitional reflection, an \\(\\omega\\)-principle is considered. The question remains whether there is a similar principle for the inversion principle.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2470764$9952EB1A-555A-4DC3-A5C2-8756CF8DE433","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":"Q2470764$CD834F1F-AC19-4B69-9A66-6E17AF601CED","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6e2ae8b1900147d15ddea62ccb5302a15ee19b5d","datavalue":{"value":"03F07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2470764$43E73D09-0ED2-4EF2-ABDD-D609F81D6016","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2470764$AEB13D25-3881-416E-A98D-6051947BA5C4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cbc5b1e4d910633dfce4d6baf5a6eee078ccc787","datavalue":{"value":"5235516","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2470764$B77D6C92-E9ED-4622-B412-33E3A269187F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"98afc8bf077732faa7b36e358825aad09c7afaa7","datavalue":{"value":"proof-theoretic semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2470764$0889619E-2948-4E0B-B8C3-DA2870676DB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0c15a109dbc7be0617b860e7bb5d142434e659d4","datavalue":{"value":"definitional reflection","type":"string"},"datatype":"string"},"type":"statement","id":"Q2470764$7EC008AB-B20E-4F83-AB3D-7522BF6DB4E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7baf89f917d55cf40b0c6e30ca6ab78a82319466","datavalue":{"value":"inversion principle","type":"string"},"datatype":"string"},"type":"statement","id":"Q2470764$FFD6C605-C315-4F0F-A926-6F776957D724","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":"Q2470764$83CBEBA8-F601-4880-AF87-5BE699E59D22","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0c573e843c44f44697bf5f7985e130c4184d3c35","datavalue":{"value":"https://doi.org/10.1007/s11787-007-0018-7","type":"string"},"datatype":"url"},"type":"statement","id":"Q2470764$1195B1E9-2636-4554-9362-518060908D10","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f68af2d3f3a22699dea4b9610a9a28ecd77af071","datavalue":{"value":"W1999915591","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2470764$51D7C01E-D05E-40B2-B2BC-7E3D2D2E5EAF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"dadd538b11835cb9be37f82833702fb9f7fa2ee6","datavalue":{"value":"10.1007/S11787-007-0018-7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2470764$5190FF2D-6052-437B-A919-3E2E57A26F97","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ad9041b9f1ccf9f7ff6e31669197d7df511769af","datavalue":{"value":{"entity-type":"item","numeric-id":3644805,"id":"Q3644805"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a054555945afec61b536b68ee368394883e5dd22","datavalue":{"value":{"amount":"+0.9003478","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2470764$4AD7DB45-5FFF-423C-A196-D551A478CF47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6b575b5b6e96b843e9be8bd9fab7f260eda85bda","datavalue":{"value":{"entity-type":"item","numeric-id":4223000,"id":"Q4223000"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1e3fd0b100936f70f0d47852202010860c6aa6d0","datavalue":{"value":{"amount":"+0.83523726","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2470764$0635A772-38AA-4793-9D18-5781D771E167","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"58d95740d2000845ba5860974951c0d11194d6c1","datavalue":{"value":{"entity-type":"item","numeric-id":1942043,"id":"Q1942043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"03c855f0e0288a1f7f5f36bc6336a4857a378df9","datavalue":{"value":{"amount":"+0.83415604","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2470764$AE47F8EF-3383-41F2-AD81-33AA08FA3D54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2223b8fd2cadebb1045fa79f6b86488dbb6d1b9e","datavalue":{"value":{"entity-type":"item","numeric-id":4511302,"id":"Q4511302"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"daea62151d5e4b9b69f62e517dc2850ee25e29cb","datavalue":{"value":{"amount":"+0.83201057","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2470764$1ECA2549-8762-4753-9EA7-54F0A7D92032","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e5c5cc73a69f525cf2ebc68b8cf5e328113b36bd","datavalue":{"value":{"entity-type":"item","numeric-id":5354805,"id":"Q5354805"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"19d307173594cc4b60664df3e2ef88868117a322","datavalue":{"value":{"amount":"+0.82826966","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2470764$629D9B44-92F2-4333-B43A-32C0A72FE3A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"34356b5225f1d43e309d8e7578b9445835287426","datavalue":{"value":{"entity-type":"item","numeric-id":1331920,"id":"Q1331920"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2e1d51007ddc4383312fe8a24d0c93c863e16a6d","datavalue":{"value":{"amount":"+0.82644594","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2470764$E38A001A-CBE1-45C7-A3D3-6E28C4E95AC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9f9f349f7434cb77f371c23c51b672c196ce6fc0","datavalue":{"value":{"entity-type":"item","numeric-id":4936688,"id":"Q4936688"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"01f0b15a9067091a981f298a7dc4a6fb45bf1ec1","datavalue":{"value":{"amount":"+0.8263836","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2470764$BEE31A31-79EC-4364-A3E2-F0212F33323D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e3fc08b94def33e48b19f72a436763284695b44e","datavalue":{"value":{"entity-type":"item","numeric-id":3133173,"id":"Q3133173"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fa45ef7e54164c49ffe91ca233fd4ceb50a3bd2c","datavalue":{"value":{"amount":"+0.8260054","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2470764$1537F205-B448-490C-9266-BF9EA9D38FEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3ca708f2276af65dc0e23f4ab1e01c6d6d4b8e7a","datavalue":{"value":{"entity-type":"item","numeric-id":2454641,"id":"Q2454641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5fe2916a18a2d7a4c43672c5b91a0f149516b3a1","datavalue":{"value":{"amount":"+0.82554495","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2470764$CD9F6EB0-9FA7-440C-94F8-4588771F2EBB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Generalized definitional reflection and the inversion principle","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Generalized_definitional_reflection_and_the_inversion_principle"}}}}}