{"entities":{"Q1092897":{"pageid":1103649,"ns":120,"title":"Item:Q1092897","lastrevid":69900705,"modified":"2026-04-13T11:05:23Z","type":"item","id":"Q1092897","labels":{"en":{"language":"en","value":"Intervals and sublattices of the r.e. weak truth table degrees. II: Nonbounding"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4021124"}},"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":"Q1092897$2E04359E-188A-42A1-8D6D-04FEF4008E94","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e29c2ddc73edc321631485910f6e0aef2d5a7523","datavalue":{"value":{"text":"Intervals and sublattices of the r.e. weak truth table degrees. II: Nonbounding","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1092897$E5D80696-E081-467D-AF54-B7CF7E645C4D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a477bd879e6478361626d1667f0ec7a65839d934","datavalue":{"value":"0628.03032","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1092897$F338996B-581F-43EF-A8EC-DFFB20B6C643","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"83704574d2cb107f843d28b23a057472b7219c4a","datavalue":{"value":"10.1016/0168-0072(89)90031-6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1092897$AFF4C7AE-173E-441E-BBC6-E0EE8335607A","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":"Q1092897$85D4CEAC-C650-458B-976C-755F5167715F","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":"Q1092897$7C4D68E5-709C-4B9D-BA7C-D07BCE67C6A0","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"16156a60100a064c4c6fc603830c754a2ff5d1f0","datavalue":{"value":"[Part I is reviewed above; see Zbl 0628.03031.]    \\textit{P. Fischer} [J. Symb. Logic 51, 117-129 (1986; Zbl 0587.03030)] showed that there exist r.e. wtt-degrees \\(\\underset \\tilde{} a\\neq \\underset \\tilde{} 0\\) such that [0,a] formed a lattice. We show that there exist \\(\\underset \\tilde{} b\\neq \\underset \\tilde{} 0\\) bounding no such \\(\\underset \\tilde{} a\\). The proof is along the lines of \\textit{A. H. Lachlan}'s ``Bounding minimal pairs'' [J. Symb. Logic 44, 626-642 (1979; Zbl 0428.03037)].","type":"string"},"datatype":"string"},"type":"statement","id":"Q1092897$1126B011-68C5-43FE-B0A0-69BE6B352D71","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"18bdc3e9791879423538829d590ed2da8e1e9db6","datavalue":{"value":"03D25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1092897$35B5B683-DB4C-4C85-9070-82D4AB58EACC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"379be2ae88ac653823960287ba517e23fc9265f4","datavalue":{"value":"03D30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1092897$151B15B9-8064-4697-96E4-1757B7BC8C79","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a992545f614a823c6663e5b0b51b812557a31a78","datavalue":{"value":"4021124","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1092897$496A7646-8FB0-470A-8A3E-CD8875318154","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0ced823a6003580bd052499056cd42a6d7db9069","datavalue":{"value":"r.e. wtt-degrees","type":"string"},"datatype":"string"},"type":"statement","id":"Q1092897$9E911B8F-0FEF-4B33-9E0C-100C418122D4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2356fe1f1f6d7960e11f0114cbd6aa7fe05024f7","datavalue":{"value":{"entity-type":"item","numeric-id":247180,"id":"Q247180"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1092897$BBA1ECA9-720B-4F37-AB63-DCA1D85C83D4","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":"Q1092897$75B66970-3D3E-4100-9756-1CEE19F12029","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1a80003dbae73db5ccdaa098c0cadf3e1d86b69f","datavalue":{"value":"https://doi.org/10.1016/0168-0072(89)90031-6","type":"string"},"datatype":"url"},"type":"statement","id":"Q1092897$07A2AFE0-9D6B-49ED-877A-2AEFC9F11893","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"eedc6788d115c1f3a1cdb349a0dab14027c66e8b","datavalue":{"value":"W2065728362","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1092897$830C9261-5231-4924-AD15-98C8BD9A6735","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"630502f4633188214eb873a5b8ff17fa97f68516","datavalue":{"value":{"entity-type":"item","numeric-id":4067085,"id":"Q4067085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1092897$74D1C7CB-3696-440E-8996-26CD680296D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db98ef22ce5b321a4510aec2c6bc54a3ad34d49e","datavalue":{"value":{"entity-type":"item","numeric-id":1092896,"id":"Q1092896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1092897$0D90505B-5525-4FAD-8F95-6ACD4D66D70B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a24ee82d93fa4f30c097fb30add78fa236a136ac","datavalue":{"value":{"entity-type":"item","numeric-id":3778736,"id":"Q3778736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1092897$47CBB241-8C04-4010-B817-30B1FD57FD3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ed707d032beb15d0c4d978c2160bef6124d76ed2","datavalue":{"value":{"entity-type":"item","numeric-id":3714068,"id":"Q3714068"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1092897$93B8C536-7CEE-4EED-BDC9-9D0EEC87FFE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"12d1c857d50aaa8e55403ad1b85832fbe52f719c","datavalue":{"value":{"entity-type":"item","numeric-id":3926563,"id":"Q3926563"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1092897$B9390FD1-5064-41FE-8E0B-702FB9357637","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"33baeb8b1d0ce631770e405e454620cb1cdbbf64","datavalue":{"value":{"entity-type":"item","numeric-id":3864501,"id":"Q3864501"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1092897$837864E9-CEF6-412A-A9F6-7ED7E4D15C6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4494c69e8466ab3e39d1aea87204c15735843044","datavalue":{"value":{"entity-type":"item","numeric-id":3690802,"id":"Q3690802"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1092897$1AD8E2BE-EE76-43E9-B372-908D1A399D90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"15736a1fabe53e34c9adbd1c3f77269c133e2124","datavalue":{"value":{"entity-type":"item","numeric-id":4040892,"id":"Q4040892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1092897$ED37D6B6-418B-47FA-96C7-AEA595034205","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8740d2d25ea871dc74d0e35dfb2c1830fdc3362b","datavalue":{"value":{"entity-type":"item","numeric-id":1092896,"id":"Q1092896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2dd45d16a50e4263198e836a7dcb62fb1b9f94b9","datavalue":{"value":{"amount":"+0.9544444","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":"Q1092897$03373170-E890-4503-B3E3-3158D8676606","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"34a5ae038c0a0545edad5b822563efd1d6989303","datavalue":{"value":{"entity-type":"item","numeric-id":5687321,"id":"Q5687321"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c0458005a44d69e669dd2017fcf76a857048d81d","datavalue":{"value":{"amount":"+0.8596535","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":"Q1092897$1159940A-630E-4E51-89DF-5B9B63ACD44A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"192fbc4ca4a520c7a4db210f2d5d387eed1b5a4e","datavalue":{"value":{"entity-type":"item","numeric-id":3199406,"id":"Q3199406"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7c42064cda1ce5b5b620d49b8320e06327e03142","datavalue":{"value":{"amount":"+0.85790133","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":"Q1092897$246C908A-79EA-48F2-B3B8-98C81EE369CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6d8bb224cc733135ed2271828bcc7b558e179efb","datavalue":{"value":{"entity-type":"item","numeric-id":1130238,"id":"Q1130238"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"46aa899644dee6c7c89a47280646249344a44f22","datavalue":{"value":{"amount":"+0.8553882","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":"Q1092897$2D998A98-AFFA-4529-8BA2-26C7FC254384","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a4c38000f5b33226d57f128cdb9d00f405db99f5","datavalue":{"value":{"entity-type":"item","numeric-id":3714068,"id":"Q3714068"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"277ff72a100418653acea019209a37272028d172","datavalue":{"value":{"amount":"+0.8546282","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":"Q1092897$D5B6C245-F02F-4D76-9E3C-C68BBE3FC65D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e959df4fedca3d2015a2025d55a9239e78370ab6","datavalue":{"value":{"entity-type":"item","numeric-id":1334032,"id":"Q1334032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f6b640cb6a95ac91ed37a7e128b5c3ef0d1b3a1a","datavalue":{"value":{"amount":"+0.8521472","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":"Q1092897$953C85DC-574B-4B17-AF3D-C1EAAA4A0B00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b91a91bfa28ff69f31ac4a4e5ac59556ee109332","datavalue":{"value":{"entity-type":"item","numeric-id":1670755,"id":"Q1670755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2c6b9cadba8b7b2adc3e116509d58ead501ca1cf","datavalue":{"value":{"amount":"+0.8498183","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":"Q1092897$F138C657-B818-4572-AADF-5708D0584444","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"925e396a5e579284923c0ab0ef7d4e0b2d35d82e","datavalue":{"value":{"entity-type":"item","numeric-id":2909622,"id":"Q2909622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dc57af491eb2a61a61356bba38d271064a0a0166","datavalue":{"value":{"amount":"+0.84948385","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":"Q1092897$7FAFA82B-A217-49D5-9B3D-EDED67370D55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"26b879afc0c91832cb592b0c0cb89bd9b475e3e0","datavalue":{"value":{"entity-type":"item","numeric-id":1183717,"id":"Q1183717"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2edbb05b2731ce7caf608f61406d541c76a456b9","datavalue":{"value":{"amount":"+0.8491555","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":"Q1092897$65B5EFB8-13D9-4398-BB8C-C0059BAFE318","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"58f10a0d430a93f868c9b92cbd244e7318493b7d","datavalue":{"value":{"entity-type":"item","numeric-id":5426866,"id":"Q5426866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"42d6e6fd0d9d124e975bf6b39a01fa4da0f3c1fd","datavalue":{"value":{"amount":"+0.84826565","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":"Q1092897$C714B597-2750-4C8B-A0D7-5D4D0EE4D4FB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Intervals and sublattices of the r.e. weak truth table degrees. II: Nonbounding","badges":[]}}}}}