{"entities":{"Q385807":{"pageid":387574,"ns":120,"title":"Item:Q385807","lastrevid":51889493,"modified":"2026-01-20T11:52:40Z","type":"item","id":"Q385807","labels":{"en":{"language":"en","value":"A proof-theoretic account of classical principles of truth"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6237623"}},"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":"Q385807$FE83C932-EA41-425C-B9AA-6168D256AE51","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fc7d394423f4d04e0605f455d9916e9368e4bed7","datavalue":{"value":{"text":"A proof-theoretic account of classical principles of truth","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q385807$98FB493E-9AEC-4B04-A835-1324CD1B2949","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4a9bbf942d85a30f094ecf046423b6bf64cae035","datavalue":{"value":"1322.03039","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q385807$70AF67BF-183E-4237-8DDA-839BBFA6DACA","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":"Q385807$263BEB21-C061-424A-AB07-75409CA76DDD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c4fe66de6d3b4034a482fd1741e73509403d666e","datavalue":{"value":{"time":"+2013-12-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q385807$5EE51042-04E1-4111-9738-574062D79D2A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d971f250f4b60bd91da7e9350568180af141e6af","datavalue":{"value":"03F03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q385807$9CF30FA4-6E5B-4143-8D8A-666A9C67B10B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q385807$A43D0011-D67D-41A5-86A9-85B20BD3EAF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4dd17e948ef0e266d136e969bf8283741afbd898","datavalue":{"value":"03F25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q385807$93D59330-32E7-431B-8E02-ACBBE42906AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3068729a394ad5bf58a1a3e5b5d24254d962e1a7","datavalue":{"value":"03F55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q385807$FE5493A1-4D6A-470C-83E3-9429A1B553DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"48a2830216eefdc24b89ba9895c8f20366f6740d","datavalue":{"value":"03A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q385807$75D39D0D-AB93-44AA-9C51-25213075824B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4ee675ebc8fb852e7c543ce4bd3dbfb01bbfefe2","datavalue":{"value":"6237623","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q385807$3B7E4386-0401-47FD-8719-BE2FF5326586","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7bfdacf487b3636af37a848ef28e99b9389dde16","datavalue":{"value":"Actel slash relation","type":"string"},"datatype":"string"},"type":"statement","id":"Q385807$FC31CED8-2271-4BD7-B84D-E2AB39E671CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d450f4b3083fe34d24db452ee74b92106c27a96e","datavalue":{"value":"intuitionistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q385807$8EB16B14-0BDE-4A15-8934-569E29D4BBF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"664c217a1a00d62effaec670f5656be452525922","datavalue":{"value":"ordinal analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q385807$8580ED87-3C95-4EFD-A29A-8DFC5F6C076A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7c9d42b2a8e8f10bc0defb7ff4991bcf0f90417e","datavalue":{"value":"proof-theoretic strength","type":"string"},"datatype":"string"},"type":"statement","id":"Q385807$F4F8B8C6-8DB4-4589-BD00-C2AEFB08F2B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"38378c777ba9b1e9b0b6366a1dca8a6c35f95ad2","datavalue":{"value":"theories of thruth","type":"string"},"datatype":"string"},"type":"statement","id":"Q385807$41D13B73-1E62-434C-BB4E-18BB66DB2B7C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a600e00a0067a948cd8d1c1dc848b116163ff5b1","datavalue":{"value":{"entity-type":"item","numeric-id":1987217,"id":"Q1987217"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q385807$FF537FF4-1CBE-4C1F-A450-2101FEBEF093","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":"Q385807$AE62C88B-7F50-49C3-8FAD-838412CF4C82","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6fcbaaef3e8fc4b8a21e5e1eb393a6788ce214bc","datavalue":{"value":"https://doi.org/10.1016/j.apal.2013.05.010","type":"string"},"datatype":"url"},"type":"statement","id":"Q385807$46F93EDE-ABDD-49D2-8E23-A27D4F4AB607","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8c39e8a9baa1c77cc684d43fe4fd6e121f33557d","datavalue":{"value":"W2058103780","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q385807$474BB952-FEE6-4E07-91F9-C2604624D217","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b87000e171ea98427f9efb60b84553b6eeb21ef6","datavalue":{"value":{"entity-type":"item","numeric-id":5595152,"id":"Q5595152"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q385807$E55AE69B-F1A1-4F7D-94A6-EE752011CB2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"94f0e990de8f6acd44e2bf0e6eca779ea6c8397d","datavalue":{"value":{"entity-type":"item","numeric-id":2267752,"id":"Q2267752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q385807$1E6F4F89-583D-4BA0-8B88-E56E4E3BB7E2","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":"Q385807$80A09E92-2912-4126-BF90-58BA8F972D73","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":"Q385807$B60ACF12-3E06-40BD-B742-57DA0D66F033","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"010bedd06f6c1909a61b361a03b810c0c5d9e9a7","datavalue":{"value":{"entity-type":"item","numeric-id":3809794,"id":"Q3809794"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q385807$66D7F4BA-822C-404B-8B5A-352117D590FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"869ac6d8df6733056730b8ca498f2fa774bb403b","datavalue":{"value":{"entity-type":"item","numeric-id":3197819,"id":"Q3197819"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q385807$93C4F306-9E6F-444F-A550-D9449FA8618C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"14cff056842a08e6b157c956ca4ad669bacc9a66","datavalue":{"value":{"entity-type":"item","numeric-id":3691666,"id":"Q3691666"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q385807$CC3A547B-FD0A-460F-90D0-5516BD3E1791","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7cf157623d4b550d0be1608c87ebba24a9ca0e0c","datavalue":{"value":{"entity-type":"item","numeric-id":3058982,"id":"Q3058982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q385807$D1EEAC84-4CDE-44FA-927C-57E6A9BFC80A","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":"Q385807$7FECB429-9227-4D32-AFC8-16020F57A64E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ea5d5cc618b0409672a22a4ad1d322501dfd252","datavalue":{"value":{"entity-type":"item","numeric-id":1893134,"id":"Q1893134"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q385807$F8101ADC-D080-4BED-89D0-39285698B6F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"27733ec2c2f7fc26856cb55b2429e5576d599689","datavalue":{"value":{"entity-type":"item","numeric-id":5480633,"id":"Q5480633"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q385807$4DA6CE58-1D51-4D99-A9CE-FF3DDA97F68D","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":"Q385807$CBF96517-0C62-4745-86FB-11F4B28D6AC1","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":"Q385807$AC337CD2-C120-4326-BC3B-F8427F83EE11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9e3d4f972596281824ce937651e8dfa611449b8b","datavalue":{"value":{"entity-type":"item","numeric-id":2915893,"id":"Q2915893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q385807$68E5580E-7E3A-4198-BCF2-67CFB2B42EE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1737fadb3333e0e55eb12a8be1d6d7430ab99c73","datavalue":{"value":{"entity-type":"item","numeric-id":5951913,"id":"Q5951913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q385807$01957D56-187D-4E7C-80CF-3102FE923A14","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":"Q385807$1BC70AE7-6B98-4E32-A734-AFD02638838E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"25fc0f83d5ec3109942a6da644b57709f31b1dc6","datavalue":{"value":{"entity-type":"item","numeric-id":1188522,"id":"Q1188522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q385807$79C760C7-BB32-4EEC-9E4A-5A337B6408A7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2988e1172a8d52edb08aa22ea05d2f4cde8743eb","datavalue":{"value":"10.1016/J.APAL.2013.05.010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q385807$0FC0EC56-68E9-488F-B7D4-FEB13E9757CE","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"d69e6c096e7c7f223f120695679a1b66bdf1781a","datavalue":{"value":"It was 30 years ago when \\textit{H. Friedman} and \\textit{M. Sheard} made a systematic investion of axiomatic theories of the truth predicate over the basic theory PA, Peano Arithmetic [Ann. Pure Appl. Logic 33, 1--21 (1987; Zbl 0634.03058)]. In the past few years, the author and Rathjen have been extending the investigation in two directions: (1) the base logic is changed to intuitionistic, namely, HA, Heyting algebra, is used instead of PA, and (2) proof-theoretic ordinals of these theories and equivalent fragments of analysis (a.k.a. second-order arithmetic) are sought. (The pto (proof-theoretic ordinal) of a theory \\(T\\) is, by definition, the ordinal number \\(\\alpha\\) such that \\(T\\) is conservative over PA\\(+\\) (transfinite induction up to \\(\\alpha\\)).)NEWLINENEWLINE The aim of this article is to find pto's of intuitionistic truth theories. The author begins by listing 15 principle about truth predicate, like \\(A\\to T(\\ulcorner A\\urcorner)\\), \\(T(\\ulcorner A\\urcorner)\\vee T(\\ulcorner\\neg A\\urcorner)\\), and `from \\(\\neg A\\) infer \\(\\neg T(\\ulcorner A\\urcorner)\\)'. (Of course, one cannot put all these principles in one theory -- Liar's paradox.) Then, the list of 9 maximal consistent theories follows, labeled \\(A^i\\) through \\(I^i\\). (The super-script `\\(i\\)' indicates `intuitionistic'.) The conclusion shows that pto's do not change when the base logic is changed to intuitionistic from classical. So, the pto of \\(A^i\\) is \\(\\varepsilon_0\\), \\(B^i\\) and \\(C^i\\) have \\(\\varepsilon_{\\varepsilon_0}\\) as their pto, \\(D^i\\), \\(G^i\\) and \\(I^i\\) share \\(\\phi_2(0)\\), where \\(\\phi\\) is the Veblen function, \\(E^i\\) and \\(F^i\\) have \\(\\phi_\\Omega(0)\\), and \\(H^i\\) has \\(\\psi_\\Omega(\\varepsilon_{\\Omega+ 1})\\), where \\(\\psi\\) is the enumerating function of some critical set and \\(\\Omega\\) is the Church-Kleene ordinal. These numbers are obtained by analysing the proof-theoretic strengths of truth theories by means of fragments of analysis. For instance, \\(H^i\\) is compared to the Kripke-Platek set theory over the natural numbers which is known to be equivalent to \\(ID^i_1\\) whose pto is known. The situation for \\(A^i\\), \\(B^i\\), \\(C^i\\), \\(D^i\\), and \\(G^i\\) are relatively simple. Theories \\(E^i\\), \\(F^i\\), and \\(I^i\\) are embedded into infinitary sequent calculi that have \\(\\omega\\)-rules even within the predicate \\(T(\\,)\\). Constructions of their Kripke \\(\\omega\\)-rules are analysed in fragments of analysis, using various `slash relations', and asymmetric interpretation of truth. Thus, these proofs are much more complicated than the classical settings.","type":"string"},"datatype":"string"},"type":"statement","id":"Q385807$555EB267-F3EF-4AAD-8519-C9D8A3C5598F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dd0f695abcc7b52f942c85ff6747566b0577cfe8","datavalue":{"value":{"entity-type":"item","numeric-id":2915893,"id":"Q2915893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7d5cba3c1f119af97a6e84781619438f9f8cfcbb","datavalue":{"value":{"amount":"+0.767641007900238","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":"Q385807$922F7C83-677E-4268-8EBC-05128614D0D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4f9f137d85088d8d4183f84c2927366c2cafcc95","datavalue":{"value":{"entity-type":"item","numeric-id":5951914,"id":"Q5951914"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2761228104f4e02d687f26ef6229d9c4d267f1f0","datavalue":{"value":{"amount":"+0.7676246166229248","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":"Q385807$C52639D0-3962-4290-A23F-4DC16D8A8C94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d5d470da11b415731ca80f94b5c98bd905ca58f7","datavalue":{"value":{"entity-type":"item","numeric-id":1037601,"id":"Q1037601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2761228104f4e02d687f26ef6229d9c4d267f1f0","datavalue":{"value":{"amount":"+0.7676246166229248","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":"Q385807$1E7FE3D5-6C41-4485-8192-1324C29BF751","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"872b85d0d4d24d8e1afd87f78ef3b0b1a39bf421","datavalue":{"value":{"entity-type":"item","numeric-id":2267754,"id":"Q2267754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8f978136331c1dde8c8e8f5f381cb8a6bd21801f","datavalue":{"value":{"amount":"+0.7660475969314575","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":"Q385807$5E57270F-910C-4622-A150-84A1EFF41F1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"92e279e91368e9ea57f3f7819b93564c0d41d39e","datavalue":{"value":{"entity-type":"item","numeric-id":5951909,"id":"Q5951909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"357d7725c94a372e438138b615c7001c4a15d40c","datavalue":{"value":{"amount":"+0.7540897130966187","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":"Q385807$92DD5BCB-8C85-46D8-9F99-26798F5AC9AE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:385807","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:385807"}}}}}