{"entities":{"Q5951914":{"pageid":8128716,"ns":120,"title":"Item:Q5951914","lastrevid":39863427,"modified":"2025-01-27T19:12:40Z","type":"item","id":"Q5951914","labels":{"en":{"language":"en","value":"Truth in applicative theories"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1687430"}},"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":"Q5951914$698C8939-2995-42A3-8524-D2968099F242","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"cf964b43785a50ffc9415de1f119ded55f8ef2bd","datavalue":{"value":{"text":"Truth in applicative theories","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5951914$23807A3E-AC81-4B29-80CE-77A3EF429DB0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f3b4b09b3577136e90571a14f091ec7cab9ca642","datavalue":{"value":"0988.03083","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5951914$04D28DE0-6D87-488F-9D1E-7D8C828990A7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"46f458cca25605e26d771f9d054b423992dff126","datavalue":{"value":"10.1023/A:1011954206722","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5951914$08992E61-5948-4826-BFAD-D0A5490F2BC2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d52212f331fdc13a9cc11beb0d62d5cf4d5a0cac","datavalue":{"value":{"entity-type":"item","numeric-id":194998,"id":"Q194998"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5951914$452981B6-BD97-4ADC-BA28-556BF6AFB4FC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e34236ca73b92c6ee0bc17431d03c3537a7f0792","datavalue":{"value":{"entity-type":"item","numeric-id":195358,"id":"Q195358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5951914$8CC3FC9E-964B-471F-B5EA-B9B1E629533F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9c49da5ceb3346ef7151386d4abe919b4fba4873","datavalue":{"value":{"time":"+2002-07-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":"Q5951914$D4A1BBF8-7E34-4EDB-8FC9-D900C1CCF9E6","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"0a9031d8fa525671935800a9c8e53e61b3645957","datavalue":{"value":"The paper under review is concerned with theories of partial truth over type-free combinatory logic. The notion of self-reflective truth considered has its roots in work by Aczel, Feferman, Fitch, Kripke, Scott and others, see \\textit{A. Cantini} [Logical frameworks for truth and abstraction. An axiomatic study, North Holland, Amsterdam (1996; Zbl 0860.03015)] for a comprehensive treatment of truth theories over applicative theories.    After introducing the general formal framework and recalling some of the standard results with respect to proof-theoretic strength, the main emphasis in the present paper in on a concise presentation of the author's own recent work in this area of research. The main achievement is the set up of a suitable truth-theoretic notion of \\textit{universe} and corresponding generation principles for such universes. The so-obtained truth theories have a strong connection to universes studied in the context of metapredicative explicit mathematics, Martin-L\u00f6f type theory, and admissible set theory. Indeed, the author's main proof-theoretic results state that his systems are proof-theoretically equivalent to the corresponding systems in the above mentioned frameworks. Moreover, all these theories are strongly linked to so-called transfinitely iterated fixed point theories as studied by \\textit{G. J\u00e4ger, R. Kahle, A. Setzer}, and \\textit{T. Strahm} [J. Symb. Log. 64, 53-67 (1999; Zbl 0937.03065)].    The final part of the paper elaborates on previous work by Cantini on the notion of \\textit{supervaluation} (due to van Fraassen) in an axiomatic setting of truth. In particular, it is shown that the well-known theory for one-inductive definitions \\(\\text{ID}_1\\) is contained in a natural framework based on supervaluation.    To sum up, the paper offers an interesting survey on recent developments in the proof theory of axiomatic truth theories.","type":"string"},"datatype":"string"},"type":"statement","id":"Q5951914$037E5B78-97A1-4214-88C6-057B3B8819F0","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"ad12a85e3f42136cfb9986f784cbabb44523e8e0","datavalue":{"value":{"entity-type":"item","numeric-id":588960,"id":"Q588960"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5951914$C938110E-0895-4E3F-9151-6F3963ECC98A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d971f250f4b60bd91da7e9350568180af141e6af","datavalue":{"value":"03F03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5951914$F6D77B0D-C105-4F24-8BCF-E938144E8C6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"23ceee6d3c7c93830578b552513a944677a835cb","datavalue":{"value":"03F15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5951914$1ED4E002-4B48-4C99-AF31-77BF3779784F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4dd17e948ef0e266d136e969bf8283741afbd898","datavalue":{"value":"03F25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5951914$30EC5F0E-A236-4FBB-B5B4-86449143246D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5951914$C06C1000-3B50-4613-8B73-D510D81AD0A5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f64a1684f73dc7b1c210f1870c3fd3eb93601c7b","datavalue":{"value":"1687430","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5951914$6F948B40-549D-48CE-BAAD-3B72B8031949","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"94e5e7889be0d4303c532d512b158b8f7497f303","datavalue":{"value":"truth theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q5951914$5F3AD11D-8309-41C8-9091-5806474E2765","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d9e58becc408c0fbc8b5b77a51d0ffdcccd356a6","datavalue":{"value":"applicative theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q5951914$F3C2AD24-D655-4E92-93E1-6090FFD09357","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b639845dbc0c45e2f93c050b61b426eb87522368","datavalue":{"value":"Frege structures","type":"string"},"datatype":"string"},"type":"statement","id":"Q5951914$70156218-B206-4868-8BAB-877C9FA00A60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb8ff27bbbd9959dc9d199dde836f711285242b5","datavalue":{"value":"universes","type":"string"},"datatype":"string"},"type":"statement","id":"Q5951914$D7996E6D-2397-4460-9768-0545D705C93D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"37e1fc8f1a1b27abfd37becec24977d3691533f4","datavalue":{"value":"supervaluation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5951914$1AF9CF6D-8AB4-46B6-9F66-E6FFACF2437B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9c3cef04cecf781a62944ec934fc0f9e798dbcc3","datavalue":{"value":"partial truth","type":"string"},"datatype":"string"},"type":"statement","id":"Q5951914$8EFC8048-7722-40D2-B0A0-18BA38AA9978","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e526915280aec6100075696266df81d00230cedc","datavalue":{"value":"type-free combinatory logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5951914$83765262-B089-4B88-86C6-4B82412CDB3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"09b96d52395dcd3d6f77c64302edcde6543784fc","datavalue":{"value":"self-reflective truth","type":"string"},"datatype":"string"},"type":"statement","id":"Q5951914$AEDA65BA-7DDE-4763-929B-9B3343754AF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"700ce68bae34b30b4c28ce1591b703c4dc47d7ee","datavalue":{"value":"metapredicative explicit mathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5951914$DA4809A2-F8EE-42D8-A3CE-39E745542BD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"454090389315247a59dda8a7c520ea2795715012","datavalue":{"value":"Martin-L\u00f6f type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q5951914$D08A4353-0B9F-4144-8903-0C0E62D13E35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8ad7c785f9832cd4613b881d7a86688956364f90","datavalue":{"value":"admissible set theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q5951914$79ACACF4-FF35-4460-B584-0C297D982054","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8fd09f7da375535f4e95b1af95ff29f4e96994af","datavalue":{"value":"transfinitely iterated fixed point theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q5951914$281696F6-1F33-4A74-9586-FBCE4681D87E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"421a43f4b0e8832a026eaa34353c95869f115bee","datavalue":{"value":"survey","type":"string"},"datatype":"string"},"type":"statement","id":"Q5951914$FD70C405-9586-4FCE-9B27-305542A3DA64","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":"Q5951914$3A5AC534-7113-45FE-8D9B-0F6EFC36C93A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"281361d4bae7b1924c107276fc0d3a2893412d2e","datavalue":{"value":"https://doi.org/10.1023/a:1011954206722","type":"string"},"datatype":"url"},"type":"statement","id":"Q5951914$9F877363-9269-45FD-8FD1-5BD96F936D6A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e3da0563f2fbab80a6f0427983d1a264dd7a6db7","datavalue":{"value":"W1502580088","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5951914$7AD26A83-FB5D-4402-A56E-EF1F961937F2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"97362d1d163e3cfe0b4d626d1706c925c820958a","datavalue":{"value":{"entity-type":"item","numeric-id":263089,"id":"Q263089"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8c0ba2ae9522eb6e32b1cc0fa3a98c0889a8671e","datavalue":{"value":{"amount":"+0.7515159","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5951914$50FA5B83-925B-4406-9732-DF766A9EF3E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"28e09bbadfc5a068b1f4ff00c291c89600de8dc6","datavalue":{"value":{"entity-type":"item","numeric-id":1920240,"id":"Q1920240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"578b841a4643b5ac760304899733f58abc0352db","datavalue":{"value":{"amount":"+0.74764335","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5951914$3BBA0B41-6443-42AB-9E8F-4ED08CE199FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ef76db6ab95e26215e06348c9f48604c8b003089","datavalue":{"value":{"entity-type":"item","numeric-id":1708102,"id":"Q1708102"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a0a46677e4c7d497ae6c85207f63fd4b983b6904","datavalue":{"value":{"amount":"+0.7431683","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5951914$E5D3AF53-4807-41D0-BB5C-CA08F7DCECE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bf34c0d0a6f13886fd09e613138cc4fdaeb130ab","datavalue":{"value":{"entity-type":"item","numeric-id":3772173,"id":"Q3772173"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b3af47185ac530586870f92d9d0beb9c54b79797","datavalue":{"value":{"amount":"+0.73970747","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5951914$A9468CB9-358D-4788-90F4-AC7E38EE5EED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9b15b40a81ae991a3b17bea19defda52912095c3","datavalue":{"value":{"entity-type":"item","numeric-id":3604277,"id":"Q3604277"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2bea7b0f470b4d287edaf4ed4c9075b94292ce19","datavalue":{"value":{"amount":"+0.7331379","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5951914$3644DEDD-9FB3-4F98-B076-C31547B91198","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ae113881a6c0ac0fc60d6bfe1ef517cbda168951","datavalue":{"value":{"entity-type":"item","numeric-id":1633214,"id":"Q1633214"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e8ea2b63bdb22e9cb3968a646bded0784cda9000","datavalue":{"value":{"amount":"+0.7283012","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5951914$2EDB625B-41D1-4283-9C8A-D101F84420C5","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":"7a6e8d4da4c84061f9959a719ef33e9fcac5bbdc","datavalue":{"value":{"amount":"+0.72691613","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5951914$0D9CBB68-AF9C-41F4-B9FA-BDD703196F4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1b4ba87a87b0a5bac9b795e40ceeb84aef86a181","datavalue":{"value":{"entity-type":"item","numeric-id":5951913,"id":"Q5951913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b5212296bffa465c075cfce753e2b0be040247c0","datavalue":{"value":{"amount":"+0.724748","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5951914$BBAF8838-1B5D-470E-9466-934F357C8C7B","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":"8819eb3aa7c2379b92b00ab5d68dc573323a2012","datavalue":{"value":{"amount":"+0.721004","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5951914$1D152BAA-2BD2-4A9B-AEC8-D9F89529DEDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"456e40e1ba83abf84a880db6c9a94e3c028cec26","datavalue":{"value":{"entity-type":"item","numeric-id":2637706,"id":"Q2637706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"05d40822426d2f035c33c72b52ef73888ceb1145","datavalue":{"value":{"amount":"+0.72032154","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5951914$0C6B16E3-DA3F-4D3B-BCB7-DFEABA731680","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5951914","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5951914"}}}}}