{"entities":{"Q2888636":{"pageid":2899361,"ns":120,"title":"Item:Q2888636","lastrevid":83994920,"modified":"2026-05-07T15:38:22Z","type":"item","id":"Q2888636","labels":{"en":{"language":"en","value":"Sequence encoding without induction"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6040461"}},"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":"Q2888636$0A83475E-8EC9-4DDB-9F29-97B63F54569A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"47ec6c84cce1173b4251db11a65bcce21e3809d1","datavalue":{"value":{"text":"Sequence encoding without induction","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2888636$861DA698-048E-47EC-9F9A-16DBAB6F25E3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"43a13ffdced37796daa16d25690a9be445f31329","datavalue":{"value":"1248.03079","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2888636$F53CFA2E-BDEC-46CA-919E-D24B49B2CED3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e1376d5316fb71db1c6e9bf664dff79c67388b0d","datavalue":{"value":{"entity-type":"item","numeric-id":331053,"id":"Q331053"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2888636$1B3E7E5A-ED09-4687-BBE2-9D62C62413A5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"551a6f900a46a3a457eea381c5a639d070eb099d","datavalue":{"value":{"time":"+2012-06-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2888636$30D570E5-5105-44D0-9FFE-012CEF13B3F6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a4db6d48223aee6998a79e00ec4d22a1d833d605","datavalue":{"value":"https://arxiv.org/abs/1201.5835","type":"string"},"datatype":"url"},"type":"statement","id":"Q2888636$27F3B04D-9266-40D8-A7E0-7A109D8B2CD1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2888636$CCB7BECD-AA8C-4D8D-81AF-BFAB4A815EAA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"76944c8806d258c86712ea0d28909bad05758351","datavalue":{"value":"6040461","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2888636$A8857EDE-68E6-41D2-BB92-44B251B64453","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f8d8da3387d032118a89cf8a2e7a89fc70496202","datavalue":{"value":"sequential theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q2888636$62A60AED-0B98-45A3-AD2C-B194397A0D6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6e109064cb69c6ea43adb51f5c5bd178b940472a","datavalue":{"value":"weak arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2888636$B414B6CA-BE09-4AAC-9E21-194BEF299A47","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":"Q2888636$176E785F-D313-4666-A8D8-BE4E4DEE74B4","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5d327e8041e795e5cf55e4f48fc99f88bc07fe02","datavalue":{"value":"W3101802257","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2888636$B6D1AF22-1DE9-44C3-9C70-F8EC785C0733","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"850b01f29d8fac6dd0ba94059ecf97677f06259b","datavalue":{"value":{"entity-type":"item","numeric-id":4477873,"id":"Q4477873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2888636$376A375E-EBB8-4F6A-847C-79EC17ACDD27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ecd81987eb2b3620646f2d151ff26bdb537b884","datavalue":{"value":{"entity-type":"item","numeric-id":4001935,"id":"Q4001935"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2888636$36871B6B-4F71-4B71-9C0B-AB2B6C632E74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4770a89519406c6a3b1e5f5c3061068c7c3cee5c","datavalue":{"value":{"entity-type":"item","numeric-id":5184891,"id":"Q5184891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2888636$B1A9AD37-F839-468E-AF19-1A69E2D4D9B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"44aee1480eaeaf320249e8820f548f5b25dd3cfe","datavalue":{"value":{"entity-type":"item","numeric-id":3686709,"id":"Q3686709"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2888636$69D6E30E-3FEA-4A77-A585-9B10E14B8A83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c4b03428355e4c9ae131b4a20c9872495d12267","datavalue":{"value":{"entity-type":"item","numeric-id":5585387,"id":"Q5585387"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2888636$0B919F1D-D5B3-417F-9D68-80ECEDB358C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"707e991bef5f2c7a398cdd3e1c3e9f99c4df25cf","datavalue":{"value":{"entity-type":"item","numeric-id":943342,"id":"Q943342"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2888636$085000B6-07CC-445A-99EA-BE6C34CC8759","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4a759032cd868f1d568e36c1f457c31ba83e25b7","datavalue":{"value":"10.1002/MALQ.201200013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2888636$F766892A-86B0-487E-90EE-1148A3F9106E","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":"Q2888636$0A8CCE85-DD51-407A-B576-5190D82389B6","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"05131581843261a92d2b726e694e998d626e436f","datavalue":{"value":"Sequence encoding has become, since G\u00f6del's proof of his incompleteness theorem, an indispensable tool in the study of arithmetical theories and related areas of mathematical logic. P.~Pudl\u00e1k, during his work on interpretability, isolated a general concept of theories supporting encoding of sequences of their elements and called them sequential theories. In the present paper the sequentiality of the theory PA\\(^{-}\\) of discretely ordered commutative semirings with a least element (without the subtraction axiom) and therefore of all its simple extensions is proved. The theory PA\\(^{-}\\) is an induction-free theory and it is often used as an arithmetical base theory (like the theory Q). The main result can be adopted in a straightforward way to the theory of discretely ordered commutative rings.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2888636$B2D69B09-F0A2-4CC8-A16B-60BBE71869A6","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":"Q2888636$3618730B-CB36-4557-8987-F320C5698F7D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e57e10ecd3e9abcf86cf5ae9eb5f367baf5ebace","datavalue":{"value":{"entity-type":"item","numeric-id":1038605,"id":"Q1038605"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a1ae90256a8dcb51794c720c40071190af7d15ea","datavalue":{"value":{"amount":"+0.6781322360038757","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":"Q2888636$F784AD96-2F3B-4B25-891D-295F4C14A9F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"750bf3a7d6e69d0fdb6174e67142c932556829e7","datavalue":{"value":{"entity-type":"item","numeric-id":1960537,"id":"Q1960537"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7b6d333151796e010bc7254a75e3fece8edcb29c","datavalue":{"value":{"amount":"+0.6573460698127747","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":"Q2888636$7E816F03-0FC5-4593-9B6E-E210514DDA03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"70f80c43dbc919f3d959818684f76aa827c15331","datavalue":{"value":{"entity-type":"item","numeric-id":2345393,"id":"Q2345393"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"44ea365ba165d4a060abeb414337b9e906b92b22","datavalue":{"value":{"amount":"+0.6563494801521301","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":"Q2888636$C6626517-F05B-4D3F-8887-6C4C1044946D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2f4b1ff9102ef9fae0c8d54407e997d0ecf2c5e7","datavalue":{"value":{"entity-type":"item","numeric-id":4724621,"id":"Q4724621"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7e5831019a05bf85338314569d159dfb8b7f62d4","datavalue":{"value":{"amount":"+0.6545976400375366","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":"Q2888636$1430C591-FFF4-4F60-9DDF-86F860EE1A59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"971a7c0dfe48f7103eb9d318fdb71daff59784a2","datavalue":{"value":{"entity-type":"item","numeric-id":5750978,"id":"Q5750978"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a6fa18e0d06760a98e1938ba4fa2439b10288dd2","datavalue":{"value":{"amount":"+0.6532450914382935","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":"Q2888636$B85859CE-C817-4D96-97A3-732B41E2016C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Sequence encoding without induction","badges":[]}}}}}