{"entities":{"Q2892683":{"pageid":2903408,"ns":120,"title":"Item:Q2892683","lastrevid":51494051,"modified":"2026-01-18T12:18:07Z","type":"item","id":"Q2892683","labels":{"en":{"language":"en","value":"Truth definitions without exponentiation and the \\(\\Sigma _{1}\\) collection scheme"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6047782"}},"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":"Q2892683$59A10F02-B0DD-4482-9B41-A473094332D3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2ec3a6fa50d75c3e02dae0180ca96bc94af099b4","datavalue":{"value":"1245.03058","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2892683$03293208-4CCC-4FFC-8B4A-AD231292DDFE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a2f93faa10511765d980de6eff18c013c04e1406","datavalue":{"value":{"entity-type":"item","numeric-id":218976,"id":"Q218976"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2892683$CABFDE62-62FA-4CFB-B7DF-B7F4FFF4E0FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"44176704c420391b1ec646932fc59126c7d2f6cf","datavalue":{"value":{"entity-type":"item","numeric-id":264026,"id":"Q264026"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2892683$656BB0BB-1604-4050-9898-AE9D24B3BFBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3a3ffa17224212fea08254d92b99acde6ca1f899","datavalue":{"value":{"entity-type":"item","numeric-id":476118,"id":"Q476118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2892683$A380B4A4-1A39-48E8-988A-DC87F11ABBCC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"555fba5bdc6c0bd8b767e7cf573522b7525626a8","datavalue":{"value":{"time":"+2012-06-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2892683$619FC53E-9D6D-4D4E-B122-C28DA004CFB1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9b812e8b06dd00cc11301a42046acdd9fe362a83","datavalue":{"value":"https://projecteuclid.org/euclid.jsl/1333566643","type":"string"},"datatype":"url"},"type":"statement","id":"Q2892683$55DA04DC-62C0-4E41-8C85-3D183B171AF4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"31eb4b2fe460225d8220386b6d12b964cafd1ca3","datavalue":{"value":"03C62","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2892683$0E64C1F7-C3DA-4A2E-A85C-3BEF529A0302","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2892683$53A0F9C1-231A-425F-887B-520A3ECCE2E9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"447d7dd69c2a28d0d3f1f357318b97c591e688b1","datavalue":{"value":"6047782","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2892683$E0BA98F3-D98B-4933-AB37-030117D75D7A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5817d632c1a5a3c0bd54cc24ff313845af364dcd","datavalue":{"value":"collection principle","type":"string"},"datatype":"string"},"type":"statement","id":"Q2892683$AED2F024-BDEB-408A-A3C7-5D9CAF3B9F1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1d2e0989b712fc2b3b968403b4a2a3f8e168b345","datavalue":{"value":"exponentiation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2892683$6F3EFB72-249C-4239-B298-B336C4650851","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cba2903ab2dafc050042cd489ae05396ebe51a19","datavalue":{"value":"bounded arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2892683$B9AE8EDC-E46F-4181-B9EA-5959AAFB62E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"438d03335673be9d3b6cadfceade6aa3809d401c","datavalue":{"value":"truth definitions","type":"string"},"datatype":"string"},"type":"statement","id":"Q2892683$C135F098-2AD4-45C1-96C1-8A6459850AA6","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":"Q2892683$E73AA084-5155-4BF3-8B46-EBD3DFC2B98E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"16a569d59b3fbb701fd313f18c9afe11ea8483fc","datavalue":{"value":"W2169459423","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2892683$76655036-4ACE-4E0D-8926-52C6C5090ED0","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd1e32d5da0847127076336da2cdd3cef69d1da5","datavalue":{"value":{"entity-type":"item","numeric-id":1377910,"id":"Q1377910"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2892683$A47A0D9C-FFC5-419B-B078-125D60A3043A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dfd1a83bd271055bb704c5215f79de58db800cac","datavalue":{"value":{"entity-type":"item","numeric-id":4811317,"id":"Q4811317"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2892683$8E281512-A2E0-47DB-AFED-167D5CDF2C04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dccf19753fdc4aceb4fe2e72e418d7c4420dcc62","datavalue":{"value":{"entity-type":"item","numeric-id":5286672,"id":"Q5286672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2892683$14C07C91-3705-4C4C-9151-1A28E99B2326","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f59ac051da90312b45e1a154b6bcf5dbaee2e7f1","datavalue":{"value":{"entity-type":"item","numeric-id":1899144,"id":"Q1899144"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2892683$EA32911C-838D-46E8-8B2C-2C2EE65FF28E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"bf6f85fd8686c3d72192e133a3ead945cca343fe","datavalue":{"value":"10.2178/JSL/1333566643","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2892683$710D8173-3478-4BA6-8F59-C9B9FE8C00DC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fe592c521a6beab1e2cd15fb0b375f04a2b14311","datavalue":{"value":{"text":"Truth definitions without exponentiation and the \\(\\Sigma _{1}\\) collection scheme","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2892683$5B4BC379-B6BE-44C5-952E-0627FBCCCF2D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"cd9ebe56ec423ec5335930a0b1a45ca7ae3b5c0f","datavalue":{"value":{"entity-type":"item","numeric-id":6768298,"id":"Q6768298"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2892683$C9A7413A-7BF6-4822-87AF-744049A88A2F","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"461f1ce8a62c8d80b45fa8bf336a8f082972833d","datavalue":{"value":"The paper presents three results related to the notoriously difficult open problem: Is the theory \\(\\mathrm{I}\\Delta_0+\\lnot \\mathrm{exp}+\\lnot \\mathrm{B}\\Sigma_1\\) consistent? It is well known that if there is a model of \\(\\mathrm{I}\\Delta_0+\\lnot \\mathrm{exp}\\) with a universal \\(\\Sigma_1\\) formula, then there is also a model of \\(\\mathrm{I}\\Delta_0+\\lnot \\mathrm{exp}+\\lnot \\mathrm{B}\\Sigma_1\\). The first result weakens the assumption a bit. It is shown that if there is a model of \\(\\mathrm{I}\\Delta_0+\\lnot \\mathrm{exp}\\) with cofinal \\(\\Sigma_1\\)-definable elements and a \\(\\Sigma_1\\) truth definition for sentences, then \\(\\mathrm{I}\\Delta_0+\\lnot \\mathrm{exp}+\\lnot \\mathrm{B}\\Sigma_1\\) is consistent. It is not know whether such models exist, but in the second part the authors show that there is a model of \\(\\mathrm{I}\\Delta_0+\\Omega_1+\\lnot \\mathrm{exp}\\) in which \\(\\Sigma_1\\) definable elements are cofinal and for which there is a \\(\\Sigma_2\\) truth definitions and \\(\\Pi_2\\) truth definition for \\(\\Sigma_1\\) sentences and for all \\(n\\geq 2\\) there is a \\(\\Sigma_n\\) truth definition for \\(\\Sigma_n\\) sentences. The last section presents a proof of an older, but previously unpublished result, that the assuption ``Lessan's bound for truth definitions is optimal'' implies that \\(\\mathrm{I}\\Delta_0+\\lnot \\mathrm{exp}+\\lnot \\mathrm{B}\\Sigma_1\\) is consistent. The paper concludes with some comments on why the problem of consistency of \\(\\mathrm{I}\\Delta_0+\\lnot \\mathrm{exp}+\\lnot \\mathrm{B}\\Sigma_1\\) is so hard.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2892683$85FCC99D-282A-45F5-B7CD-C15F32EFA649","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"cc2fe705c7d582d4c8ad19b50ec74a3e6e0c8ae1","datavalue":{"value":{"entity-type":"item","numeric-id":384285,"id":"Q384285"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2892683$C50D8C8B-88E5-40E6-9C1A-00D93D2C30D1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"195b790efce20c58647002805506cde5c77f7b45","datavalue":{"value":{"entity-type":"item","numeric-id":4868237,"id":"Q4868237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e3e089f4f0eca22919e9291333b57c154e4f8872","datavalue":{"value":{"amount":"+0.7526815533638","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":"Q2892683$B453072B-F7D1-4703-8291-71A34A3E2666","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"401fd1106d6e17c34ba3a837abc82257a4858ac3","datavalue":{"value":{"entity-type":"item","numeric-id":4811317,"id":"Q4811317"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"701b608583334a097333bfb99e272f189228e6d9","datavalue":{"value":{"amount":"+0.7514104247093201","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":"Q2892683$18BF0ED8-637C-4164-9245-F7CF5EF2398A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dd588964afbae448a4cac58ae86e516228bf9c80","datavalue":{"value":{"entity-type":"item","numeric-id":1104318,"id":"Q1104318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3d6e5a63729fcf15ed00fdc20576e1d0e2d5d36f","datavalue":{"value":{"amount":"+0.7444144487380981","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":"Q2892683$4BBCD7F4-0632-4736-A6CD-31D73ECD9259","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b1a80d172741676065dedf65024bce02053cd787","datavalue":{"value":{"entity-type":"item","numeric-id":3971940,"id":"Q3971940"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"54f17843022b74eff4ccdfa9783b8e85aae2cfb4","datavalue":{"value":{"amount":"+0.7429181337356567","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":"Q2892683$3054CD53-C991-4B57-9A5C-6A50A4D96DA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bd648300088313bd237059ac53969da2f76cca63","datavalue":{"value":{"entity-type":"item","numeric-id":3985086,"id":"Q3985086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1350b177c131edf32f10ba2fdd7e8553e1b2333c","datavalue":{"value":{"amount":"+0.7425912618637085","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":"Q2892683$7334F7AD-EC7D-4DFC-BC25-D1262E3EC05E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2892683","badges":[]}}}}}