{"entities":{"Q2922498":{"pageid":2933218,"ns":120,"title":"Item:Q2922498","lastrevid":85027973,"modified":"2026-06-03T05:36:18Z","type":"item","id":"Q2922498","labels":{"en":{"language":"en","value":"Reverse mathematics and Isbell's zig-zag theorem"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6353744"}},"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":"Q2922498$00A18962-C5F6-44A0-B6C4-CF9169BC78E9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"26dbb166961b876f56a246d04a7a90cba03f4e71","datavalue":{"value":{"text":"Reverse mathematics and Isbell's zig-zag theorem","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2922498$74ECFC08-C963-40D6-A8F7-EB38BD6D1800","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9003c7a2d7566e7f618f96f0bca7dda0be77aa9f","datavalue":{"value":"1321.03028","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2922498$436B2F48-3A70-4716-BF37-EB301B104817","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0dedfb39b4592d2280e09d7e79051c1c088a7f4f","datavalue":{"value":{"entity-type":"item","numeric-id":315863,"id":"Q315863"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2922498$CFECFFD5-FD0A-4EA7-BF64-57DDB290F2F2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1d8dd11abefcac9e8dab1e7b271e7d8b6f83d94b","datavalue":{"value":{"time":"+2014-10-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2922498$501FB7B1-1D2D-4A2A-BB1D-A231E3CCBD1E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"13841f0b96793f178ce9a7dcac9f232220625aee","datavalue":{"value":"03B30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2922498$0672C5A8-D36E-4B56-836A-A55EDAEC0FA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4cb4544bfd0397cd4a315ee326499c372f013de5","datavalue":{"value":"03F35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2922498$88EF9BAC-D9BC-41F3-BF19-41A2C832D13F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"da4486fba5293e43f43fa118be7b2896ee43bba4","datavalue":{"value":"20M10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2922498$BE288D95-DC5D-4EED-B35C-D5A677600DFB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3ffa454404656c6213b7311f6f0426d4b1dbe1d5","datavalue":{"value":"6353744","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2922498$CC30A06F-3221-4764-A34C-BBFB1DDA7E8F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"59a2ae7f707dace66e430013f86d2a5baca67523","datavalue":{"value":"monad","type":"string"},"datatype":"string"},"type":"statement","id":"Q2922498$69596D82-0800-4FE9-8C45-81AB4C69B47B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e93ef5b3dcf534ddfb45f2661dbc90b5c864e751","datavalue":{"value":"zig-zag","type":"string"},"datatype":"string"},"type":"statement","id":"Q2922498$ACF93A2B-CCE7-4303-B088-5ABB0171C055","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7e4911ce52deeff498bd5dff2ffadaf497dcae6a","datavalue":{"value":"dominated","type":"string"},"datatype":"string"},"type":"statement","id":"Q2922498$86369A19-A73A-4020-B366-FB741E1002CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"971c3a87d61cd2b2dd145b9052225bdfe903feef","datavalue":{"value":"WKL","type":"string"},"datatype":"string"},"type":"statement","id":"Q2922498$D0963DF7-7630-4DFE-97C6-0C95490B6889","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"461d39200e573b893247f72bc707a68f4eb77ea1","datavalue":{"value":"ACA","type":"string"},"datatype":"string"},"type":"statement","id":"Q2922498$A2E64F61-6CDD-44F6-B8CA-789BA849FD82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e325a72f0e26ab98b1e996e2e86ac8d7891b9a92","datavalue":{"value":"reverse mathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2922498$939ED283-14D4-45FE-9B3E-07BCE7687866","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"92866b1654af1a662b0f26d63d8a7f6a99d8a2f4","datavalue":{"value":"binary relation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2922498$53990CBE-2870-424A-9025-35924C8E02E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5b082de5145538c49f6db735855dfbb2ff706c8a","datavalue":{"value":"forbidden subrelation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2922498$0708DB00-C99E-4B0B-A265-F2E5EC28D386","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":"Q2922498$AC76245E-5971-4D29-82D1-31F08A2348F4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7e74462a455d05ef0bce69995b16cf2603401fa2","datavalue":{"value":"https://doi.org/10.1002/malq.201300071","type":"string"},"datatype":"url"},"type":"statement","id":"Q2922498$C99BC15F-E8B3-46B7-9BF9-00C7A1DA1E22","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"eedb82dff70f9135bbddbb86592d5a13e126af6c","datavalue":{"value":"W2142374823","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2922498$A59D8D3E-D429-4E49-B6C4-E70080FE5BB8","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e9f69f816e7ebc3a2982a50a04e7dd3c07f23e66","datavalue":{"value":{"entity-type":"item","numeric-id":1175101,"id":"Q1175101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2922498$12D489F0-FE10-4B2F-B6F0-F97FBD0345B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"83b6092ff9a5293bce48671fdfe5c4487642b9ab","datavalue":{"value":{"entity-type":"item","numeric-id":2277258,"id":"Q2277258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2922498$691DF225-C047-45CE-B3D7-4714FDC8EC22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4484a63583e721bf012df90d9a6aa7d24900ed5e","datavalue":{"value":{"entity-type":"item","numeric-id":3520159,"id":"Q3520159"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2922498$478DBEE7-A133-4820-9568-A14E2F1C2423","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9eea22261ea58befc056a09ece2d14c874d6bd47","datavalue":{"value":{"entity-type":"item","numeric-id":1215713,"id":"Q1215713"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2922498$B12C697B-8224-4F76-9FC7-6B1239B40B8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"30ded290e930a22bf281a08c7ca645a6a38fb6f4","datavalue":{"value":{"entity-type":"item","numeric-id":1614638,"id":"Q1614638"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2922498$50B9BDCC-57B3-4C8B-97FD-A9D3F40B3EE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b3eaf800dfff74a0a4b3b6e7cc34c10657c6471e","datavalue":{"value":{"entity-type":"item","numeric-id":1225146,"id":"Q1225146"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2922498$57552FB6-F5A4-437F-AAD6-70A61FF3B084","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a4ffd7ccf7ff79325e8e2852f51c28968798751f","datavalue":{"value":"10.1002/MALQ.201300071","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2922498$0C4E33C7-D1A3-4DE7-93A6-F18DDA7D1BBD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"25039b6171b2485eba382bcb26f5369f48506ee7","datavalue":{"value":{"entity-type":"item","numeric-id":3699664,"id":"Q3699664"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7a8a43fee5609064ad7ea56b865ca6f5806f8304","datavalue":{"value":{"amount":"+0.8811547","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":"Q2922498$0058ACD1-6A3A-4987-8333-1F28C0DB9415","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"53574332ee7065128626836c1e1b0f103a4f4cc8","datavalue":{"value":{"entity-type":"item","numeric-id":5095937,"id":"Q5095937"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b27201f5d9389794151671f0a40960874852d6c8","datavalue":{"value":{"amount":"+0.8777742","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":"Q2922498$A26AD7AA-2E66-4288-AA09-4EC1B0ED58FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e06a05f66f2fbbc9a852a735cab25c7b228ffaac","datavalue":{"value":{"entity-type":"item","numeric-id":4400776,"id":"Q4400776"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dca5e3d43b4dc9204eb9210dc6b685b26017af1f","datavalue":{"value":{"amount":"+0.8756277","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":"Q2922498$03F143BF-2D84-43EE-9545-A35E5E74A95B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b92c4d212b6af3c0d7a072ffc89949e0c438cffb","datavalue":{"value":{"entity-type":"item","numeric-id":5348541,"id":"Q5348541"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"89767fc1e08a13335f982948e76269c37c767ec0","datavalue":{"value":{"amount":"+0.87497604","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":"Q2922498$2EFE7779-2664-46E0-AF86-0AF5B7E8A586","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b355453abcca48819c1bff1785bc4cd344d7218d","datavalue":{"value":{"entity-type":"item","numeric-id":3613303,"id":"Q3613303"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"69be36c0df600d2a99fab58d0351ef8d28c67637","datavalue":{"value":{"amount":"+0.87248427","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":"Q2922498$2E8946E4-E198-4036-9719-73D31E386AF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fb0af5dd3546940f1c0e7a7027dc0a4b3a95c66e","datavalue":{"value":{"entity-type":"item","numeric-id":3145982,"id":"Q3145982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6c86b6f34134f1490457edd71619dc411a08c89b","datavalue":{"value":{"amount":"+0.86982936","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":"Q2922498$3850BF7B-723D-4FFB-AFFF-ECB1BCF41A5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5b9dffd742df7b4133cf956d248793fed2440a26","datavalue":{"value":{"entity-type":"item","numeric-id":4440538,"id":"Q4440538"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e97b669e4db798d8f4f9ac7dd14bfaca015c3117","datavalue":{"value":{"amount":"+0.86585367","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":"Q2922498$2106A650-269F-482B-895F-A7D30B93557C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3eb6ea11e0439394de252de26b0a010826e3f53e","datavalue":{"value":{"entity-type":"item","numeric-id":1312709,"id":"Q1312709"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"68e722aab6e0f9f155b1fe2d41fd2f7ed0593192","datavalue":{"value":{"amount":"+0.8648186","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":"Q2922498$2FB8E564-EB1F-485A-A417-96F1F519411D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3c83a4c73c5971498372387e99440ec97bcd4d06","datavalue":{"value":{"entity-type":"item","numeric-id":5703752,"id":"Q5703752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6f36a27f2eb4f839b3b7beb7e9d886e3bd01face","datavalue":{"value":{"amount":"+0.8625209","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":"Q2922498$544EE548-3B30-44E6-A4A4-9CC7A190CAC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f7b225459b6553b925637642ec0a2dfe11bddf0e","datavalue":{"value":{"entity-type":"item","numeric-id":5881258,"id":"Q5881258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3ca1d356c60af948b8784052c27233a2859d7901","datavalue":{"value":{"amount":"+0.8622457","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":"Q2922498$0DB96FCF-891D-4CF5-8D9E-DAB2018A1157","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":"Q2922498$965F48E6-81D6-4A8E-BF68-4BF9979092CE","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"b1943f8c99914c4eab2359503c42d328e3e3c4e8","datavalue":{"value":"The central result of this paper is that \\(\\mathrm{WKL}_0\\) is equivalent over \\(\\mathrm{RCA}_0\\) to Isbell's zig-zag theorem for countable monoids: If \\(B\\) is a monoid extension of \\(A\\), then \\(b\\in B\\) is dominated by \\(A\\) if and only if \\(b\\) has a zig-zag over \\(A\\). The paper is self contained; all necessary vocabulary is included. The zig-zag theorem is intrinsically interesting since ``\\(b\\) is dominated by \\(A\\)'' is a \\(\\Pi^1_1\\) formula, while ``\\(b\\) has a zig-zag'' is \\(\\Sigma ^0_1\\). Furthermore, the author shows that the traditional proofs of \\textit{J. M. Philip} [J. Algebra 32, 328--331 (1974; Zbl 0301.20042)], \\textit{P. Hoffman} [J. Aust. Math. Soc. 84, No. 2, 229--232 (2008; Zbl 1147.20054)], and others use principles equivalent to the stronger subsystem \\(\\mathrm{ACA}_0\\). Consequently, the proof presented here is provably novel in a fashion reminiscent of \\textit{S. G. Simpson's} proof of the Cauchy-Peano theorem [J. Symb. Log. 49, 783--802 (1984; Zbl 0584.03039)]. The argument includes some lemmas on extendibility of binary relations that avoid certain forbidden subrelations.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2922498$E55384B3-93FA-49FA-862F-9E0E911372F5","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"c2c7a0f70c0b7cc2161585e985e86183cb70d3ef","datavalue":{"value":{"entity-type":"item","numeric-id":335001,"id":"Q335001"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2922498$6C7FB3B5-6B65-4847-9F71-2DABC5C29EBE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Reverse mathematics and Isbell's zig-zag theorem","badges":[]}}}}}