{"entities":{"Q2720322":{"pageid":2731061,"ns":120,"title":"Item:Q2720322","lastrevid":82826246,"modified":"2026-05-06T22:10:03Z","type":"item","id":"Q2720322","labels":{"en":{"language":"en","value":"An independence result on weak second order bounded arithmetic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1610969"}},"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":"Q2720322$1DF7CE67-8DFF-42F5-8714-464AA1CCC78A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e96d5533be8fb21b6c59f144270ad73a4897baf8","datavalue":{"value":"0985.03051","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2720322$8F88FB9C-08E7-4EB6-AD43-78E8903D0A07","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fb198915f0eecf0de0ba2bdc999cd6ec059e4289","datavalue":{"value":{"entity-type":"item","numeric-id":884959,"id":"Q884959"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2720322$97C35A6F-96FC-46BC-8F9B-B297991293EA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6748ee0816462db9ca6cd298aabfae4d03c16ba0","datavalue":{"value":{"time":"+2002-05-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2720322$42335E24-CCBE-47C1-9E05-E465D481A4EA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"4cb4544bfd0397cd4a315ee326499c372f013de5","datavalue":{"value":"03F35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2720322$780D5959-CAF1-42D7-AF52-2AE5928D1A73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a22eb1f642cbb79777784e33676c61b720925aab","datavalue":{"value":"03H15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2720322$7A904B7E-2142-4D61-9C96-345A9655F8B9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c8879e71b40c72e829f6e77959345db778757e4b","datavalue":{"value":"1610969","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2720322$DE237D40-8C2C-4213-8EE6-D319C4206A7C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b28d8f100b92d2752fa5d85472908b84baa302aa","datavalue":{"value":"length initial submodels","type":"string"},"datatype":"string"},"type":"statement","id":"Q2720322$7B3C0F0A-96B4-42E0-B365-C8AA8024ACE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"02f19d644d75b0eefe2b86f284a4dbd809483b14","datavalue":{"value":"weak second order arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2720322$51DA8202-85A7-41D5-B732-DF9765393435","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9326f4ad978134edfb1d4c5a54b0fca92aa21c5b","datavalue":{"value":"length induction","type":"string"},"datatype":"string"},"type":"statement","id":"Q2720322$5C6D42AB-18DF-4D0E-9693-081FD418667B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cbe5f97c3f44e9f589cb7d7191e4b7e6efb306ef","datavalue":{"value":"function division","type":"string"},"datatype":"string"},"type":"statement","id":"Q2720322$8AC14733-3CFA-4128-B221-8CD1846B21EA","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":"Q2720322$8FAEB00A-EB13-423E-A5BC-ED3514D05C0F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1ad3f172f25bf7034dd954baddf92425bd1c4981","datavalue":{"value":"W2075087635","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2720322$8002CA08-609B-4C1F-A3EC-AB31846051B3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0794ddcdac09dfd873783111772c3f983fa5b0d0","datavalue":{"value":{"entity-type":"item","numeric-id":5477454,"id":"Q5477454"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ee9294b72cba2190e4254cd1b816c6aaa69f37f4","datavalue":{"value":{"amount":"+0.9146471","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":"Q2720322$9A7AD7D4-7BA6-497A-9590-369A879234A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8033b63bb9815824aec95a7f6293e4d81da8c737","datavalue":{"value":{"entity-type":"item","numeric-id":4224090,"id":"Q4224090"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"05b5cfcf80ffecda2c1bb1f45d33eaae9c7524fd","datavalue":{"value":{"amount":"+0.9044574","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":"Q2720322$AD1C0342-D70F-4A3A-8066-1FF7357E7B1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"449838dd14883a8197ca8071f57388e9bec4a1e6","datavalue":{"value":{"entity-type":"item","numeric-id":922541,"id":"Q922541"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f7254b7be19bcb02135724830bebe5ac60b11b12","datavalue":{"value":{"amount":"+0.8900561","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":"Q2720322$24BD4422-CC38-4970-8607-1551416FC34B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"53749888900a2133b4056d5653381c6868b1a7d7","datavalue":{"value":{"entity-type":"item","numeric-id":4808464,"id":"Q4808464"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b04e80b98faebc28e888a0c98823deea78b93f80","datavalue":{"value":{"amount":"+0.8845666","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":"Q2720322$BD614F5C-5F23-4091-B608-D532F317E6C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2a85cbb40ff70d3879d6d4af8af5c80922842b9b","datavalue":{"value":{"entity-type":"item","numeric-id":5711877,"id":"Q5711877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9f6ddb461ee0bbebdd1e6d3107048156c459d24b","datavalue":{"value":{"amount":"+0.8842852","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":"Q2720322$C0379C45-9F41-4E63-90B6-76442025C574","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"15978ee46f154c058a13299f51b4fb9d5983739b","datavalue":{"value":{"entity-type":"item","numeric-id":3116522,"id":"Q3116522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7f7a75e7d6d5ed349148aa41d4358c8718a66561","datavalue":{"value":{"amount":"+0.8829853","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":"Q2720322$EF8DBCAA-D9EC-4202-876E-4412598393FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"767f59991fcd7f0d8204afaac75e260ebe175c6f","datavalue":{"value":{"entity-type":"item","numeric-id":480816,"id":"Q480816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0f08e80d3de2e9b0d0e724ba7d36835a4a4bca5b","datavalue":{"value":{"amount":"+0.8827473","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":"Q2720322$FF96AAC0-2607-4760-9FF7-70C8D46CD4D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b874a0d09ab9f4a46eec874dc66d5a1329be52f2","datavalue":{"value":{"entity-type":"item","numeric-id":2388431,"id":"Q2388431"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8023516714b86d462ba8d07275f88f0739ad2e0e","datavalue":{"value":{"amount":"+0.8823147","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":"Q2720322$D2ED9547-4F1C-4245-8D3A-3BC97893C0D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"36741582d6da03a748034d80455fc376d2ececd5","datavalue":{"value":{"entity-type":"item","numeric-id":1283131,"id":"Q1283131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fb76d44db0a461fdccfbc68af52d09ce58755472","datavalue":{"value":{"amount":"+0.88097167","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":"Q2720322$A05B525C-CF41-4139-99F0-08D42DE005C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"97fa158a5e2abf15ea5b07d2d49f1aa3de9b4c0b","datavalue":{"value":{"entity-type":"item","numeric-id":3140640,"id":"Q3140640"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f6ad52209783249c410793efc745a216cbac2bd2","datavalue":{"value":{"amount":"+0.8803142","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":"Q2720322$23F38B60-48C2-4C43-8ACF-4B551DB80E34","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0924af33007db4e5b882bca13b82204d9169513f","datavalue":{"value":"10.1002/1521-3870(200105)47:2%3C183::AID-MALQ183%3E3.0.CO;2-Z","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2720322$D5E5BED8-19EC-4CC3-B3C2-79308AB4C480","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4b6c5d632d6dbf0813df0a65b3532cbafbcdae2e","datavalue":{"value":"https://doi.org/10.1002/1521-3870(200105)47:2%3C183::aid-malq183%3E3.0.co;2-z","type":"string"},"datatype":"url"},"type":"statement","id":"Q2720322$76F81CB2-AC5F-4198-AE06-E73BB229DA57","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ac441512fa02c8d837e4f8ad961d334edac56092","datavalue":{"value":{"text":"An independence result on weak second order bounded arithmetic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2720322$1D948577-2B29-41E8-85A9-113656E051BB","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"68cefe03c91c7bc1481d1ede29225e2a54af1e4c","datavalue":{"value":{"entity-type":"item","numeric-id":6561648,"id":"Q6561648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2720322$4D7778FB-6F57-4536-A935-65D749F380DA","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"7e73608dcc80aa22cf896b5182bbdb580c343d04","datavalue":{"value":"It is shown in the paper under review that length initial submodels of the theory \\(S^{1}_{2}\\) can be extended to a model of weak second order arithmetic. As a corollary it is shown that the theory of length induction for polynomially bounded second order existential formulas cannot define the function division.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2720322$1CEB8AC1-8E87-48A0-A768-2B1254DE795C","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"c45938d3b1c1a5c68183caabb02f42934d9ff682","datavalue":{"value":{"entity-type":"item","numeric-id":588140,"id":"Q588140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2720322$A8EE1E89-AE92-4BD9-A1D6-6FA4D0248EAC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"An independence result on weak second order bounded arithmetic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/An_independence_result_on_weak_second_order_bounded_arithmetic"}}}}}