{"entities":{"Q2350213":{"pageid":2360956,"ns":120,"title":"Item:Q2350213","lastrevid":57869073,"modified":"2026-04-02T21:20:12Z","type":"item","id":"Q2350213","labels":{"en":{"language":"en","value":"Fast-collapsing theories"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6447324"}},"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":"Q2350213$A1E997EA-C624-4351-8BC4-AE0A9A542E39","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4136f7066cd40c6eaaeca09aea81795c32dda4d9","datavalue":{"value":{"text":"Fast-collapsing theories","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2350213$37D3AC5E-176F-40F1-84A8-77BF24F139C3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"49b7ad8a414024175be577c330f57dd973915637","datavalue":{"value":"1367.03033","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2350213$7B3A4D17-B43D-4D6B-BC6B-938C02D82252","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":"Q2350213$65D7CF9C-0DFD-4109-A304-DE63E8C6C38E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"708262aec10df766eabb3f8a842032e3e7707c5e","datavalue":{"value":{"time":"+2015-06-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2350213$51D43790-F93A-4E28-9623-2AEDEDA1706A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"bcba7eb2e613acde9d159490a6423af19403f7f3","datavalue":{"value":"https://arxiv.org/abs/1311.3013","type":"string"},"datatype":"url"},"type":"statement","id":"Q2350213$60924C28-6247-4663-84DF-A5F8958BDD74","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"c343415f31edf661554537cbc12bf271391a3443","datavalue":{"value":"The main result of the paper is stated informally as:  ``An r.e.-upgeneric theory remains true upon augmentation by knowledge of its own truthfulness.''  and formally as:  ``Let \\(T_0\\) be an r.e.-upgeneric \\({\\mathcal L}_{\\mathrm{EA}}\\)-theory. Let \\(T_1\\) be the union of \\(T_0\\) with all universal closures of formulas of the form \\(K\\phi\\rightarrow\\phi\\). Let \\(T\\) be the smallest theory that contains \\(T_1\\) and such that for all \\(\\phi\\in T\\), \\(K\\phi\\in T\\). Then T is true.''  with the notions involved in this result being defined as follows.  {\\parindent=6mm \\begin{itemize}\\item[--] \\({\\mathcal L}_{\\mathrm{EA}}\\) is the the language of epistemic arithmetic from [\\textit{S. Shapiro}, in: Intensional mathematics. Amsterdam-New York-Oxford: North-Holland. 11--46 (1985; Zbl 0559.03036)], that is, the language \\((0, S, +, \\times)\\) of Peano arithmetic, \\({\\mathcal L}_{\\mathrm{PA}}\\), complementary with the knowledge operator \\(K\\). \\item[--] \\(T_0\\) is r.e.-upgeneric iff \\(T_0\\) is r.e.\\ and \\({\\mathcal M}_{T^\\oplus}\\models T_0^\\oplus\\) for every r.e.\\ \\({\\mathcal L}_{\\mathrm{EA}}\\)-theory (set of sentences in \\({\\mathcal L}_{\\mathrm{EA}}\\)) \\(T\\) that contains \\(T_0\\). \\item[--] Let \\({\\mathcal L}_{\\omega\\cdot\\omega}\\) denote the language obtained from \\({\\mathcal L}_{\\mathrm{EA}}\\) by adding operators \\(K_\\alpha\\) for all \\(\\alpha\\in\\omega\\cdot\\omega\\). Given an \\({\\mathcal L}_{\\mathrm{EA}}\\)-theory \\(T\\), \\(T^\\oplus\\) denotes the \\({\\mathcal L}_{\\omega\\cdot\\omega}\\)-theory \\(\\{\\phi^+\\mid\\phi\\in T\\}\\) where for all \\({\\mathcal L}_{\\mathrm{EA}}\\)-formulas \\(\\phi\\), \\(\\phi^+\\) is inductively defined as follows, w.r.t. an infinite subset \\(X\\) of \\(\\omega\\cdot\\omega\\):  {\\parindent=12mm \\begin{itemize}\\item[--] If \\(\\phi\\) is atomic then \\(\\phi^+\\) is \\(\\phi\\). \\item[--] If \\(\\phi\\) is of the form \\(\\phi_1\\rightarrow\\phi_2\\), \\(\\neg\\phi_1\\) or \\(\\forall x\\phi_1\\) then \\(\\phi^+\\) is \\(\\phi_1^+\\rightarrow\\phi_2^+\\), \\(\\neg\\phi_1^+\\) or \\(\\forall x\\phi_1^+\\), respectively. \\item[--] If \\(\\phi\\) is of the form \\(K\\phi_0\\) then \\(\\phi^+\\) is \\(K^\\alpha\\phi_0^+\\) where \\(\\alpha\\) is the least ordinal in \\(X\\) with \\(K^\\alpha\\) not occurring in \\(\\phi_0^+\\).  \\end{itemize}} For instance, for \\(X = \\{\\omega,\\omega\\cdot 2,\\omega\\cdot 3,\\dots\\}\\),  \\[ \\bigl(K(s(0)=0)\\rightarrow KK(s(0)=0)\\bigr)^+\\text{ is }K^\\omega(s(0)=0)\\rightarrow K^{\\omega\\cdot 2}K^\\omega(s(0)=0).  \\]  \\item[--] Given an \\({\\mathcal L}_{\\omega\\cdot\\omega}\\)-theory \\(T\\), \\({\\mathcal M}_T\\) denotes the \\({\\mathcal L}_{\\omega\\cdot\\omega}\\)-structure which is the intended model of \\(T\\), which for every \\({\\mathcal L}_{\\omega\\cdot\\omega}\\)-formula \\(\\phi\\), assignment \\(s\\) into \\(\\mathbb{N}\\) and \\(\\alpha\\in\\omega\\cdot\\omega\\), satisfies  \\[ {\\mathcal M}_T\\models K^\\alpha\\phi[s] \\text{ iff } T\\cap\\alpha\\models\\phi^s. \\]  where: {\\parindent=12mm \\begin{itemize}\\item[--] \\(T\\cap\\alpha\\) is the subset of \\(T\\) all of whose members contain no occurrence of \\(K^\\beta\\) for \\(\\beta\\geq\\alpha\\); \\item[--] \\(\\phi^s\\) is the sentence obtained from \\(\\phi\\) by replacing all free variables \\(x\\) in \\(\\phi\\) by the numeral that is the value of \\(s(x)\\).  \\end{itemize}}  \\end{itemize}} With the restricted condition that the background theory of knowledge is r.e.\\ and built of r.e.-generic pieces along with truthfulness, Reinhardt's conjecture, proved in [\\textit{T. J. Carlson}, Ann. Pure Appl. Logic 105, No. 1--3, 51--82 (2000; Zbl 0973.03019)], is a particular case of this result, whose proof uses induction up to \\(\\omega\\cdot\\omega\\), whereas in [loc. cit.] induction is up to \\(\\varepsilon_0\\cdot\\omega\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q2350213$717B571F-A879-4574-948C-12A46C27C300","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"cc4d92eeceef517aba402e89c4445d8783074b3a","datavalue":{"value":{"entity-type":"item","numeric-id":169436,"id":"Q169436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2350213$7E707579-6F8E-41EA-A50B-DB575B286750","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"19e8b53914fe36a939b2f687be46776db2609217","datavalue":{"value":"03B42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2350213$F778F43E-AE03-4CFD-AE95-02D9B0395608","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"48a2830216eefdc24b89ba9895c8f20366f6740d","datavalue":{"value":"03A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2350213$F6B7EAEC-634E-473B-A799-CE4CDEE36201","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2350213$4D400949-AB28-47AF-8A84-493DEDF82079","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2350213$5494467A-3026-4EE6-A094-70B69F9E6760","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e9e984d487e3d35632952c86d73656b978a9da33","datavalue":{"value":"6447324","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2350213$F3520FDF-683C-4B6A-9EFD-BBF446221654","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"42851cd55732f95048984b753376b11ed64b09c8","datavalue":{"value":"knowing machines","type":"string"},"datatype":"string"},"type":"statement","id":"Q2350213$561AF525-09D1-4B21-AFC6-E12B2750A001","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b4aeb6be0c8b86daea3f857a0db7ddbcdd74c447","datavalue":{"value":"Reinhardt's strong mechanistic thesis","type":"string"},"datatype":"string"},"type":"statement","id":"Q2350213$E9AB4C3E-530B-4F92-BBBA-1D08CDCFDCA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"527def781fe17e70652b5ba1af79e59518042825","datavalue":{"value":"quantified modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2350213$58EF9E24-982A-4254-A4C3-C71182B90815","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4173575e054d1dfc1aebda7f11f9d1f18f4f64a4","datavalue":{"value":"collapsing knowledge","type":"string"},"datatype":"string"},"type":"statement","id":"Q2350213$AB783019-CC90-49C3-AC81-2D9D5B8007FC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1fa9d9620d364bcd7eee2043b88ffd44dff64082","datavalue":{"value":{"entity-type":"item","numeric-id":318140,"id":"Q318140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2350213$0DFD5F55-A337-4EED-9070-2FDB889B1459","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":"Q2350213$F4B1B259-8802-4112-92C8-6B1FE5A63FC4","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"85f0e549f04b1f04a25dfe93f0e42d17bea8df5a","datavalue":{"value":"W3100963778","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2350213$F27AA2BE-017B-4679-B383-100339DFF548","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"72f2fe923d8f62c2dbe1c2e8e4eef8d9473c95ff","datavalue":{"value":{"entity-type":"item","numeric-id":1818592,"id":"Q1818592"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2350213$FC21A900-1153-4A53-B2FD-C82C47E314DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd506ae46f762c3a3e7528fdbd16cec1bbefbc49","datavalue":{"value":{"entity-type":"item","numeric-id":5858928,"id":"Q5858928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2350213$F8FC31D6-971A-4D20-A1C6-04D5A9A2A257","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a9414faf3a299bc0651d94c6665c04d6b9c2a45e","datavalue":{"value":{"entity-type":"item","numeric-id":1591373,"id":"Q1591373"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2350213$ACD5DC5F-F86C-4EB6-B5E3-2BB69756C227","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bbc3b1fd3a0d689a418ba793f269c5245c73b759","datavalue":{"value":{"entity-type":"item","numeric-id":3424120,"id":"Q3424120"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2350213$086F4912-93F5-4235-AF1A-8811C6209AFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f10bfa911ef3e76170cb4585ff49881aab1b99aa","datavalue":{"value":{"entity-type":"item","numeric-id":3133550,"id":"Q3133550"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2350213$9A44C412-5BB9-44D5-A1AA-8FB515417F5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c338d1e5ca3b5e43f79b86f7417774ec97e6ffdc","datavalue":{"value":{"entity-type":"item","numeric-id":5275663,"id":"Q5275663"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2350213$D9D12D77-1BA7-4E61-AD0D-A38D0BCC3621","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"64fd46ab013fa0df7a03d2db93b148b9403f6040","datavalue":{"value":{"entity-type":"item","numeric-id":3347874,"id":"Q3347874"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2350213$2E98C0D3-A7CF-4E10-843C-6045BCBB7E29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0430e4a9fe16a78c945c278746cad2959afea463","datavalue":{"value":{"entity-type":"item","numeric-id":3395521,"id":"Q3395521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2350213$089C4FCA-5473-4B6E-AA99-9913BA373BC4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"04cd4a678fe66d72257d58fa7af67306102ec85e","datavalue":{"value":"10.1007/S11225-013-9537-9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2350213$D0C52651-6EA0-49AB-B36E-6CDFC72D6F38","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a357f859cbbd356c4a6edafc218404192bfa4c64","datavalue":{"value":{"entity-type":"item","numeric-id":5221593,"id":"Q5221593"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cbaee5b678bc76db55979d85145658bc6b147357","datavalue":{"value":{"amount":"+0.7250352501869202","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":"Q2350213$5AD9561C-30DA-4549-AA3C-C188F62C08C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ea076e5a24619bdf6d644d352d781e11e9d1597f","datavalue":{"value":{"entity-type":"item","numeric-id":1591373,"id":"Q1591373"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"95410782bec23a7ef75aa446095f52822dedf528","datavalue":{"value":{"amount":"+0.7060038447380066","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":"Q2350213$4A4307D9-4ED2-4BB7-891E-8DD84AC0D567","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e088752fb4f473aa243262a98fe6525bd332d2d3","datavalue":{"value":{"entity-type":"item","numeric-id":3580670,"id":"Q3580670"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ed79423c3780ed41f36e0393178be5936ede6694","datavalue":{"value":{"amount":"+0.6994113326072693","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":"Q2350213$5178AD42-D4D7-434C-9D1C-8C96C1255B3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aa2f1d81cab03ba700b64bd50a7a02d9c7a7149e","datavalue":{"value":{"entity-type":"item","numeric-id":2940877,"id":"Q2940877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9eee88f1ad5d0482e5c3e3e16255752d24bccc08","datavalue":{"value":{"amount":"+0.696376383304596","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":"Q2350213$AB67B4AF-308E-4B4C-8297-AECB4893AC12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"742a4b11d5d1a59ae4cc6a85ef77fd921f881326","datavalue":{"value":{"entity-type":"item","numeric-id":3809794,"id":"Q3809794"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c46cbea4697266f72044322feb9a0ef895280c7d","datavalue":{"value":{"amount":"+0.6905342936515808","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":"Q2350213$0FA677DC-DD9D-4249-8FA9-BE7164577125","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2350213","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2350213"}}}}}