{"entities":{"Q1935874":{"pageid":1946616,"ns":120,"title":"Item:Q1935874","lastrevid":43431815,"modified":"2025-07-25T19:02:55Z","type":"item","id":"Q1935874","labels":{"en":{"language":"en","value":"Slow consistency"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6137405"}},"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":"Q1935874$5ADEC783-ECF9-4443-9A14-1721ADB54649","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"937ae90d728f0b44793699d23fd1df6a2ba9be90","datavalue":{"value":{"text":"Slow consistency","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1935874$15EEC15A-701F-4FAE-AFE7-9A01FEEBB2FA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ba9bc41bd22646cbe793fdd3d6cc17baf90181cc","datavalue":{"value":"1263.03055","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1935874$15B74CAA-2EB3-4217-9571-DFA99CCE199B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e64bf31f7adc7949599b7092674140bc267c6785","datavalue":{"value":{"entity-type":"item","numeric-id":206562,"id":"Q206562"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1935874$26F89498-1830-408A-8D13-8710222F2B8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"35c1c300a719bd5f4d1087a4b9df89abcc695541","datavalue":{"value":{"entity-type":"item","numeric-id":408159,"id":"Q408159"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1935874$FF9B7B4C-9807-4F6B-9173-A84234F3703A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ed7bfc7c1815d9d17bc727832b0a6cf598db7157","datavalue":{"value":{"entity-type":"item","numeric-id":487690,"id":"Q487690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1935874$393AAAE7-6DE5-4715-8108-D81F935E44E5","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":"Q1935874$2F6E8F1F-6876-4A86-A619-F69B4E6FDAFC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"42b867b51fba2e4ccb5659deac7fc5f1408febd6","datavalue":{"value":{"time":"+2013-02-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":"Q1935874$E45F16DE-77C6-4C61-A881-314AE5FC5A4C","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"f2ece4249076b54b152ceca24e7df37ffc9a3b2c","datavalue":{"value":"The authors introduce the notion of slow consistency \\(\\mathrm{Con}^*(\\mathrm{PA})\\) of Peano arithmetic \\(\\mathrm{PA}\\): ``For all \\(x\\), the theory consisting of the first \\(f(x)\\) non-logical axioms of \\(\\mathrm{PA}\\) is consistent'', where \\(f\\) is a certain slow-growing computable function. Then the authors prove that the strength of the theory \\(\\mathrm{PA} + \\mathrm{Con}^*(\\mathrm{PA})\\) is strictly between the strength of the theory \\(\\mathrm{PA}\\) and the strength of the theory \\(\\mathrm{PA} + \\mathrm{Con}(\\mathrm{PA})\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q1935874$A5C61A30-6779-4004-8433-0544E8AD18F7","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"16113f92b223c2e138979b54dd132faf2cbea555","datavalue":{"value":{"entity-type":"item","numeric-id":361871,"id":"Q361871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1935874$DB6110F9-B0C9-4E65-8852-6BE09E5BED46","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"4dd17e948ef0e266d136e969bf8283741afbd898","datavalue":{"value":"03F25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1935874$6181394C-D131-47A7-ADD7-D4BF44902CFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1935874$1C5659AA-320A-4429-A2F0-0D0446072529","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"23ceee6d3c7c93830578b552513a944677a835cb","datavalue":{"value":"03F15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1935874$C49E71CF-A05F-4B89-9C87-69FDCC198E02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1935874$C6CD7620-01DF-479E-847C-75317DB5ADF0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9fc0b3a8c704483e8c140e6afea18ec286fe3444","datavalue":{"value":"6137405","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1935874$2A05A5D4-20FE-4C9A-A452-9204A3F87953","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7090cb2b2cefa03cee6b50a67ca057c086ad0f00","datavalue":{"value":"Peano arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1935874$2685B64F-5A51-4CD5-807B-8FF3A07B3968","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"03b75f643bf2e53fe8d8ac0b245eb85fd2d649f7","datavalue":{"value":"consistency strength","type":"string"},"datatype":"string"},"type":"statement","id":"Q1935874$6561D29C-BDCA-4AD6-9F95-EDD3808DFDF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"508d90ed2d0cb5ed3bb66db4c84128c9e2d80423","datavalue":{"value":"interpretation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1935874$30F8BEBE-5DF1-4571-9D38-FDC69918753E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f2a6888fa921a0f3f3391794d14fb999c31781a1","datavalue":{"value":"fast-growing function","type":"string"},"datatype":"string"},"type":"statement","id":"Q1935874$999A57B4-08BB-455E-969A-001B5D0CD004","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c996264fb8a8c506614d2cd85d9c3e5a7236a774","datavalue":{"value":"slow consistency","type":"string"},"datatype":"string"},"type":"statement","id":"Q1935874$44531001-EC6C-4839-8D54-C6B5C7818CED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"599cf9d976e6d431452f83451161fea175459a0b","datavalue":{"value":"Orey sentence","type":"string"},"datatype":"string"},"type":"statement","id":"Q1935874$596B68CB-A3DE-4BF9-8D09-D43ED1870C92","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"c421b8fec48bf9dc201b43738fa31d92bbffdba0","datavalue":{"value":"Q60500825","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1935874$3B6B8820-99F7-4221-B794-06157E7342FB","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":"Q1935874$ECDD8B05-9595-4F5D-830D-ADAEE6D44789","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0100ef7f739af339a6d40c48a33ce551a22943d7","datavalue":{"value":"https://doi.org/10.1016/j.apal.2012.11.009","type":"string"},"datatype":"url"},"type":"statement","id":"Q1935874$97DBCAA6-2D26-4939-83D1-97A80162B032","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"192b6a7d97f9f63c4d072f1d202e59a16ac4bccd","datavalue":{"value":"W4206512100","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1935874$B6AA31DE-2E7F-4597-B31B-36E53678F9E2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ff1183c2ac682a0ec4f7ee96af5e7b939b398480","datavalue":{"value":"10.1016/J.APAL.2012.11.009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1935874$5C75CBDA-2A50-4862-B33C-4B2E742C5253","rank":"normal"}],"P1635":[{"mainsnak":{"snaktype":"value","property":"P1635","hash":"c23ff88efb0f614436ce870225c261159643b268","datavalue":{"value":"journals/apal/FriedmanRW13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1935874$77455006-5CDB-4643-AD0C-BEAC47F30D4D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8b97f40ce3dccbfc13c9cc8a3f0abafd7eadb32c","datavalue":{"value":{"entity-type":"item","numeric-id":2004951,"id":"Q2004951"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d25b2cfbda8b96d2f86f6555f8bbf5f670b94f9c","datavalue":{"value":{"amount":"+0.8081485","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":"Q1935874$3CB7FFB9-F043-4D6C-B1F7-18C93E01D3D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0257cadbf0d3b5dfe18ff9325acc3c5d05870ccc","datavalue":{"value":{"entity-type":"item","numeric-id":5024154,"id":"Q5024154"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5b2c299d1098195f25f15c2b9ebe21a0dad63fd2","datavalue":{"value":{"amount":"+0.7714304","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":"Q1935874$F0167E4D-59A3-4DAA-BA9B-DB99E069642C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"510960f1266f0578d5b7fa052f645d376bea1255","datavalue":{"value":{"entity-type":"item","numeric-id":2264872,"id":"Q2264872"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b068101309d0ed85278f7e9e563ed1dbbe0ef3a8","datavalue":{"value":{"amount":"+0.7708541","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":"Q1935874$57A4FF9D-47B2-4E64-A15F-B1280D8A918B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bfd97b52f88e56b21a5c6fe45f960e3db5a5aea7","datavalue":{"value":{"entity-type":"item","numeric-id":2871617,"id":"Q2871617"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a0797523d94d5c6ab901f09b2497e360b85d914b","datavalue":{"value":{"amount":"+0.7704695","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":"Q1935874$908D193F-1758-4AE7-90DC-B3A9334E5BD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"388764d1dd686f8a74d5c9ad5f8d94f2f48037bb","datavalue":{"value":{"entity-type":"item","numeric-id":2176406,"id":"Q2176406"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"504e561a1442ba716aa05bca06021ab8a4fb65c9","datavalue":{"value":{"amount":"+0.76076126","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":"Q1935874$84F217C5-5671-47D9-9FE3-5D6185720BC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"13d51812502961d5c3e8eaf91311068e789de760","datavalue":{"value":{"entity-type":"item","numeric-id":2407272,"id":"Q2407272"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f0e3c1220305f6e22e699dc7253892a4efd695b0","datavalue":{"value":{"amount":"+0.7573035","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":"Q1935874$6EABA3F1-6BD6-4C37-B622-48457B37FA38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6f562929b2fc1ba85077358ec282c81135fc82e8","datavalue":{"value":{"entity-type":"item","numeric-id":5753303,"id":"Q5753303"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ce103838e729f968a5cc793b48bc5100371222ac","datavalue":{"value":{"amount":"+0.7531735","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":"Q1935874$B157F815-BBFC-4F16-8FAD-C4F2A391F88D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"712511eefa168d1e432b4038c699f32976710efe","datavalue":{"value":{"entity-type":"item","numeric-id":6053650,"id":"Q6053650"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"70c0e401f21e8f6ad86981af8f2d37006d55ce79","datavalue":{"value":{"amount":"+0.75129986","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":"Q1935874$9C7B92AD-92B5-4F5A-A3F9-F14BB6B13B65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b932dc1e6f1af817477e296e05ae55e3e650507b","datavalue":{"value":{"entity-type":"item","numeric-id":2774520,"id":"Q2774520"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f3a4c1d97227e806245e8e5c4225cba48ad26662","datavalue":{"value":{"amount":"+0.7461517","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":"Q1935874$0070080B-0802-44D5-85C8-ADFFF4F4C361","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"93a101cc1c9b83142935d17d1f8d84fdc1801840","datavalue":{"value":{"entity-type":"item","numeric-id":938370,"id":"Q938370"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9cdd387a7f1f827a7e0b672d747f56bea912e733","datavalue":{"value":{"amount":"+0.7418203","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":"Q1935874$4BE7F991-235C-45CD-B762-DD67E1CFEE50","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1935874","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1935874"}}}}}