{"entities":{"Q1823933":{"pageid":1834675,"ns":120,"title":"Item:Q1823933","lastrevid":49311235,"modified":"2026-01-06T22:53:31Z","type":"item","id":"Q1823933","labels":{"en":{"language":"en","value":"Hyperhypersimple sets and \\(\\Delta _ 2\\) systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4116520"}},"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":"Q1823933$678B2CAF-B353-4690-B2B6-49E3112FC051","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a8dd8cdb73732ea1eb20092600cc55788c57ffad","datavalue":{"value":{"text":"Hyperhypersimple sets and \\(\\Delta _ 2\\) systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1823933$C70252AF-EAF9-4185-ACF0-D4E950714963","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"75897b90e2491b8112c716d67b24644ddff5d1b9","datavalue":{"value":"0682.03030","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1823933$2E2294A3-7891-48BF-8466-613ADD2E8F8A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"97d2a13ca324ce43ea7712774d2419ecbb3013bd","datavalue":{"value":"10.1016/0168-0072(89)90043-2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1823933$8F2003DF-9F09-42C9-870E-060DC88EA3BA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cc45e6b9322bed7360e4aac2a42f8c73614b44f3","datavalue":{"value":{"entity-type":"item","numeric-id":1787138,"id":"Q1787138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1823933$B18D48C1-E7DF-4E45-8EE2-F26ADE06812E","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":"Q1823933$F0AD334B-28E8-400F-9FE9-DAE2404D67C7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7211ad5ca16eb0d22cd0051fff3d0f3af254ceb6","datavalue":{"value":{"time":"+1989-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1823933$2475B2D6-414C-45BC-AE2B-D31BB0CC087B","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"7c29cdc991ea4ed892746560c2f7d4cd055a2aa4","datavalue":{"value":"A reverse-mathematics approach to hyperhypersimple sets - starting from the axioms of Peano arithmetic with the induction schema omitted, how much axiomatic strength need be added to obtain basic results on hyperhypersimplicity? The author shows that \\(\\Sigma_ 2\\) induction is sufficient, but not necessary, to ensure the equivalence of (Yates' simplification of) Post's original definition of hyperhypersimplicity with Lachlan's lattice-theoretic characterization. The paper's main result, obtained using the notion of a \\(\\Delta_ 2\\) system, is that \\(\\Sigma_ 2\\) collection suffices to prove the existence of hyperhypersimple sets.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1823933$37637C65-EB4F-41F6-A184-F3433CA49B2C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"4c09ea78484192dfb20180fed0b8ec0fbe50483f","datavalue":{"value":"03D60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1823933$9A6A0C7E-9CDC-449A-A36F-B7240DB32258","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4cb4544bfd0397cd4a315ee326499c372f013de5","datavalue":{"value":"03F35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1823933$530F0E54-BBC7-42EC-A5D5-10B894338612","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"002bbc7f35c9683831ce52ca364091cc5206d563","datavalue":{"value":"4116520","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1823933$26F803A3-A2C3-4378-8491-307A1CFF3B32","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e325a72f0e26ab98b1e996e2e86ac8d7891b9a92","datavalue":{"value":"reverse mathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1823933$77B26284-4C33-4A69-A0EB-E8250B1372AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c49f0ee9cfa58892274f2b78869b8efbdf8ffc2b","datavalue":{"value":"hyperhypersimple sets","type":"string"},"datatype":"string"},"type":"statement","id":"Q1823933$97690A77-B9F2-4F76-8891-4C739D42B8BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"df382037df0f44eb518872091facc0a874b83933","datavalue":{"value":"\\(\\Sigma _ 2\\) induction","type":"string"},"datatype":"string"},"type":"statement","id":"Q1823933$54F7BFEB-38F2-4A5F-BC71-EF4B16C72249","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"516edaa669795af2c2dade0e775aed2b4db9282f","datavalue":{"value":"\\(\\Delta _ 2\\) system","type":"string"},"datatype":"string"},"type":"statement","id":"Q1823933$B81C17D3-955C-4405-975A-638DD6F6280B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dcf1c41e4d24f6f259ff5ec6353aee82a1210800","datavalue":{"value":"\\(\\Sigma _ 2\\) collection","type":"string"},"datatype":"string"},"type":"statement","id":"Q1823933$40360219-FF21-487E-A865-D6E7E7CDFDD0","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"918802f1a1362bd512279080eb151cb7e040bd3a","datavalue":{"value":{"entity-type":"item","numeric-id":588764,"id":"Q588764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1823933$C7152676-EC9B-4CB1-B552-137B6A522AFA","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":"Q1823933$4682AE72-88C1-44E7-8FBD-3C56373512E2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"da6dc6908cea78ad91c04aa328e4666945fff736","datavalue":{"value":"https://doi.org/10.1016/0168-0072(89)90043-2","type":"string"},"datatype":"url"},"type":"statement","id":"Q1823933$EBAE9BB2-E46F-4992-86E2-2DEBD322CDF9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7182c226d62baa2d783995269b44a2f4d276d8cd","datavalue":{"value":"W2003233489","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1823933$5A6BEE58-3DDB-4ECB-B414-F7F4A86224AC","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b581324cad04b0cbb6390c3b23abc9b211b2149d","datavalue":{"value":{"entity-type":"item","numeric-id":3812242,"id":"Q3812242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1823933$561ACD47-0632-4C99-8F2D-CF6D79B84854","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"20f365af072b2cce66d6f97d47212e6f37856c3b","datavalue":{"value":{"entity-type":"item","numeric-id":3830988,"id":"Q3830988"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1823933$CDFB465A-68B7-4C10-B4BB-50057B59366E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"caa14676b02821735639d3192679d8eab80b3b33","datavalue":{"value":{"entity-type":"item","numeric-id":4078000,"id":"Q4078000"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1823933$329F1CD6-E103-4BEA-848D-08E438309135","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cbb4345013f8ef2397bf199269ba5db1a54ffffb","datavalue":{"value":{"entity-type":"item","numeric-id":3260571,"id":"Q3260571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1823933$655468FB-C2B1-4B3B-A51D-E1D91DD18D9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"054866aeb9e04dd077befa9a7a59d55a97ad5c9a","datavalue":{"value":{"entity-type":"item","numeric-id":3309826,"id":"Q3309826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1823933$9121E605-A5A4-47B8-A2BA-989F9A943660","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5f75404b85aec9d3f8d81a90cf7f18337600389e","datavalue":{"value":{"entity-type":"item","numeric-id":3884109,"id":"Q3884109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1823933$0B81D67A-3552-4F81-A1D7-7EBE72AB5CA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9c15dbb5ead0de21da0135759d207f2e598bd1be","datavalue":{"value":{"entity-type":"item","numeric-id":5623672,"id":"Q5623672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1823933$9A422D7D-432F-4C14-93DE-124B24AB15A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"81cc9b3f543a41c988076ae748700dea2b62bd94","datavalue":{"value":{"entity-type":"item","numeric-id":4767304,"id":"Q4767304"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1823933$04292287-FD1C-451C-A654-77AB7C08DAF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"78d366ce9b4f1fa83ab6041f826fa082549a3d35","datavalue":{"value":{"entity-type":"item","numeric-id":2560401,"id":"Q2560401"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1823933$6A26600B-584E-49E5-B5A4-7B5161AF1945","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fea8ca66b373ff54556fbad7311f8aec498e810a","datavalue":{"value":{"entity-type":"item","numeric-id":3824402,"id":"Q3824402"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1823933$F06C847F-64DC-4583-81BF-4082909C94E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"081f2ef5bbdbff54dda813e99c4b51fea17e97c1","datavalue":{"value":{"entity-type":"item","numeric-id":3787994,"id":"Q3787994"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1823933$88BD3D76-4DA4-4435-B04D-EE1A56C7078A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d938e2cf16a516c25169e92ed68817a27d01f44d","datavalue":{"value":{"entity-type":"item","numeric-id":5845382,"id":"Q5845382"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1823933$B349D307-FDDF-4907-956C-4E5525C8F6E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"41b6109bb49dc94142afa9df256906b69a75ae7b","datavalue":{"value":{"entity-type":"item","numeric-id":4249731,"id":"Q4249731"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1823933$B21429B8-8712-4729-9172-4479F5A36A5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d10a552d571523eef76f2953b86ae1689acd262a","datavalue":{"value":{"entity-type":"item","numeric-id":3480037,"id":"Q3480037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1823933$20F48A1B-445C-4916-A4EC-E98CD48B24D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e7602444df7615cca65f103f55996e5f1293df10","datavalue":{"value":{"entity-type":"item","numeric-id":3216650,"id":"Q3216650"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1823933$35AA8723-6F00-4811-83BC-06B06A15B149","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff7cd69fdc6ed856e2a15113f7fed4b10a2a0401","datavalue":{"value":{"entity-type":"item","numeric-id":2557694,"id":"Q2557694"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1823933$239A2F3F-9D96-4A4F-B24E-D46FF2313C6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba17c610b66d156b76e62a37325c965ffedff718","datavalue":{"value":{"entity-type":"item","numeric-id":4184825,"id":"Q4184825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1823933$BA44B2CF-F841-44B8-B86F-CCE24AEC6997","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d50eddb9dedf69a88037a755d6c994acc4920905","datavalue":{"value":{"entity-type":"item","numeric-id":3693522,"id":"Q3693522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"02798ff4883d2c0423e6669e6f4a1fdae6f10696","datavalue":{"value":{"amount":"+0.7533541917800903","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":"Q1823933$9C531FC0-A4FB-4B2C-B8D5-CF7F557EA73D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"decc2adb0969862e0b0312c821eef8dcce83fdab","datavalue":{"value":{"entity-type":"item","numeric-id":3824300,"id":"Q3824300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c4dd68eab3fb12e7e7e1b6ad8fc5652aba635b7c","datavalue":{"value":{"amount":"+0.7483235001564026","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":"Q1823933$E66EECF1-7DDC-4D2D-8666-DCD7ED2097FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"323f45b60176d6bcf78565ad7364b8c9d3386a4d","datavalue":{"value":{"entity-type":"item","numeric-id":5502826,"id":"Q5502826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"285be75a4aca69069303fbe5f626502345cf6c29","datavalue":{"value":{"amount":"+0.7331421375274658","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":"Q1823933$FB24679B-60EF-47AB-B52F-98447E521CA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"67c8ea94e22259e48a152b35f4f0c1a6e3e5b26a","datavalue":{"value":{"entity-type":"item","numeric-id":3773863,"id":"Q3773863"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b01c0fafe083fd568e4ea5306a05ebf6b37500a1","datavalue":{"value":{"amount":"+0.72987961769104","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":"Q1823933$CFA9A1EB-9F77-47E6-93A8-9088623FBE57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8c3754c65307871e5ec02b90a51cf14e8647ab99","datavalue":{"value":{"entity-type":"item","numeric-id":3830988,"id":"Q3830988"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"49dd03ad0424249aa251639bc2ecc1a8adf8926d","datavalue":{"value":{"amount":"+0.717653214931488","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":"Q1823933$E83F67A6-64F7-4649-8E5C-47D9C6A8191C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1823933","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1823933"}}}}}