{"entities":{"Q1820153":{"pageid":1830895,"ns":120,"title":"Item:Q1820153","lastrevid":49040077,"modified":"2026-01-06T12:31:55Z","type":"item","id":"Q1820153","labels":{"en":{"language":"en","value":"Initial segments of the degrees of size \\(\\aleph _ 1\\)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3993566"}},"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":"Q1820153$8BB747D4-8413-429C-BE8B-AA1240CF7B54","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"13c9a91ba1ce7dd4392ef8f6f2c9ebd4025dc3b5","datavalue":{"value":{"text":"Initial segments of the degrees of size \\(\\aleph _ 1\\)","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1820153$B4508585-EA56-4802-BAFF-6FFBEC2B8139","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d1da5f1ed95c05adae379665ca2437050f5ecfb1","datavalue":{"value":"0614.03040","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1820153$84FD82AF-1663-43D3-9881-7AB44A4EE864","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"873f0ec05a788b7c80ff3bcec72bf353f66b885e","datavalue":{"value":"10.1007/BF02772668","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1820153$D3CE5C0A-8607-4B85-A772-67FC41BD9EB8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cd3a8a0ef7c0c8d4c0d1181c361db30c054bb33e","datavalue":{"value":{"entity-type":"item","numeric-id":193710,"id":"Q193710"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1820153$3FDF9077-C072-4287-A7FE-08D2D3034927","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"31b4e48a13833dd9894b366d4966e95d03977c89","datavalue":{"value":{"entity-type":"item","numeric-id":175054,"id":"Q175054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1820153$388716A6-90FA-476F-ADF4-67D272469F1D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1d50f9b953eac0b2404563f86ad398ee3823cb48","datavalue":{"value":{"entity-type":"item","numeric-id":173732,"id":"Q173732"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1820153$6665E993-AA55-407A-844A-D59A3D9801EB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"63df7153432d81fa42019fcabb076c89649b0b5b","datavalue":{"value":{"time":"+1986-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":"Q1820153$3443E3AE-92B8-46B1-9F45-3C95986E8DD6","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"029e45c8ecee97fc5a32b67fc2b51c39ed31956f","datavalue":{"value":"It is proved (in ZFC) that every upper semi-lattice of size \\(\\aleph_ 1\\) that has 0 and the countable predecessor property (each element has countably many predecessors) is isomorphic to an initial segment of the Turing degrees. This remarkable positive result answers questions raised by Yates in 1968. The authors first treat the case of countable linear orderings, then linear orderings of size \\(\\aleph_ 1\\), and finally arbitrary upper semi-lattices of that size. The main arguments are forcing arguments, with key ideas credited to Shelah. Minor modifications allow this result to be adapted to both the truth-table degrees and the weak truth-table degrees. But it is known from work of Groszek and Slaman that the result cannot be extended to upper semi-lattices of size \\(\\aleph_ 2\\), even when \\(\\aleph_ 2\\) is less than the size of the continuum.    The paper is nearly self-contained, requiring only a few constructions found in \\textit{M. Lerman}'s ''Degrees of unsolvability'' (1983; Zbl 0542.03023).","type":"string"},"datatype":"string"},"type":"statement","id":"Q1820153$4A103D4B-473B-4931-82B2-C13474BEEC81","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"379be2ae88ac653823960287ba517e23fc9265f4","datavalue":{"value":"03D30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1820153$0D5AF07E-DE8B-42EB-898A-3960752F4D8B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4c9ee90d7b419c0db49ff4207d8bf2919fbcafe4","datavalue":{"value":"3993566","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1820153$51BFB370-44BE-4811-8AD6-DA8262885292","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b6907e9b83f957b47990b4e0638bc567ed9634cc","datavalue":{"value":"degrees of unsolvability","type":"string"},"datatype":"string"},"type":"statement","id":"Q1820153$29AA63A7-6D95-4C54-B9D1-52FDCD098B6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"57febfcb9fa8221496d1011711ed81c55c13822b","datavalue":{"value":"upper semi-lattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q1820153$DC5434F9-7354-429D-B016-9DEB28D2D055","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2b2cba901e4b72b31d12866ef70e00ba5c155380","datavalue":{"value":"countable predecessor property","type":"string"},"datatype":"string"},"type":"statement","id":"Q1820153$13F64AD3-37B8-4754-AF87-256E8D0B25CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"91fe4280e2e06a0a064865358db087007d3f302b","datavalue":{"value":"Turing degrees","type":"string"},"datatype":"string"},"type":"statement","id":"Q1820153$4FC9749D-2FA3-4677-92C6-3C82E9EBC5DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1b23248042bd506455f51600d00d7ec5443276f9","datavalue":{"value":"forcing","type":"string"},"datatype":"string"},"type":"statement","id":"Q1820153$124B1FC7-0F50-4F8E-B81C-B66159CE747F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b2949fc281bed09d1a282780bb1ba94789c84966","datavalue":{"value":"truth-table degrees","type":"string"},"datatype":"string"},"type":"statement","id":"Q1820153$C54D1E92-4CDA-4342-AD2B-F2CCC474F10E","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"b80b8bd1054c5101cd01e496a6e5c79a0223fa9f","datavalue":{"value":{"entity-type":"item","numeric-id":591980,"id":"Q591980"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1820153$4F67C3A1-B1F6-44CD-9A20-F557D7E6828E","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":"Q1820153$069F42E7-D15D-46CF-BC74-CA449F460C49","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"98d3ab541b99faabf87b841c92b776d995f9d8fe","datavalue":{"value":{"entity-type":"item","numeric-id":755574,"id":"Q755574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1820153$ACB6236C-B378-4F5E-AEB5-0D2F484CDB75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"434ba6ac2849bb85f98a21cbb042824a6c65923f","datavalue":{"value":{"entity-type":"item","numeric-id":5663847,"id":"Q5663847"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1820153$38C343C5-0C2C-4195-A01C-9B2D49D982E2","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":"Q1820153$FB77E2B2-6F7E-4426-BB2C-861E27EC1A5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0ec5963108e85f4ae12774f3a601f8109d04404c","datavalue":{"value":{"entity-type":"item","numeric-id":5592238,"id":"Q5592238"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1820153$C5CB7DF6-5272-4824-9468-82C860D606A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"93b39fcacfb292781455b7119d8e582f4040aa22","datavalue":{"value":{"entity-type":"item","numeric-id":3691653,"id":"Q3691653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1820153$09E16699-B5A7-4A67-A03D-72E1C361F608","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d69df0a0537188c5035dc1690fb4ebf6327592c","datavalue":{"value":{"entity-type":"item","numeric-id":2652167,"id":"Q2652167"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1820153$2D189A35-0D10-4730-870F-ACCF614C4F6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5bdc477ea51711f0cface25143923945c4f939c6","datavalue":{"value":{"entity-type":"item","numeric-id":5566515,"id":"Q5566515"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1820153$D59E6C7D-14EC-442B-8536-9716194AB0A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aae22f59a9d8b372dac8852ad5d55e32ad5b3521","datavalue":{"value":{"entity-type":"item","numeric-id":4133961,"id":"Q4133961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1820153$386B8594-55F9-49DE-A10B-D4E9C09CAD03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b6d4a38d40768136b5da14eec51923820ee16867","datavalue":{"value":{"entity-type":"item","numeric-id":2538529,"id":"Q2538529"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1820153$803C7CF0-A8B5-476E-AB08-FAFFBF536702","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe67cddb1d2e8d4582eb3ba360c56bb29576a54c","datavalue":{"value":{"entity-type":"item","numeric-id":3329452,"id":"Q3329452"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1820153$3950B4B9-9DFF-4181-BCAA-945DAF9C3A40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"52114524adf01390b33a5e86b84e2abb8eb65734","datavalue":{"value":{"entity-type":"item","numeric-id":3956925,"id":"Q3956925"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1820153$D598CCF2-0E0D-4DD5-A2D6-219A3C8C854E","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":"Q1820153$68A5C127-7609-4816-8501-0951B4A5AF2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8297dee100c12e4e2dfc2f8cdf4b677359f5bf27","datavalue":{"value":{"entity-type":"item","numeric-id":4198495,"id":"Q4198495"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1820153$85EB6C37-077A-4586-A1D6-F6576256D235","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c8f50469b41c3ab481af5e1d67324db96d3e5dc4","datavalue":{"value":{"entity-type":"item","numeric-id":1234682,"id":"Q1234682"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1820153$D36CB2BB-BBD5-4501-8A76-B275819834C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a75fb05ff45c85c418587a5c71d455d08c4df02a","datavalue":{"value":{"entity-type":"item","numeric-id":768100,"id":"Q768100"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1820153$0F420FEA-D4E6-4BEF-98A1-75428191D17A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"538dbeb3e6d6fc2f515b67bc226f6c16ccc3cfa3","datavalue":{"value":{"entity-type":"item","numeric-id":5606581,"id":"Q5606581"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1820153$9BDA161C-A931-4F4F-B9F1-B9961DE303D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"694fbc3fcd69c64eaa4c7311b31371605931d86d","datavalue":{"value":{"entity-type":"item","numeric-id":5607222,"id":"Q5607222"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1820153$D889F2CC-B5DA-4729-BED1-DB0F0A78075B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c71337e99557c75aba8c8c130ba260ff254f2bee","datavalue":{"value":{"entity-type":"item","numeric-id":4432542,"id":"Q4432542"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8623d8fa33250f98655b4735858d095a7836c5dd","datavalue":{"value":{"amount":"+0.7761955857276917","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":"Q1820153$8B1B4160-FF29-4407-A12F-7105376FC31A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c0c5ccd74b8381258b364da9c8c1fb8aef3424f3","datavalue":{"value":{"entity-type":"item","numeric-id":5190191,"id":"Q5190191"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6211e00c9994a98ac3f5e2c259e2fdaf671787a1","datavalue":{"value":{"amount":"+0.7690890431404114","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":"Q1820153$4DEC32C1-7264-4668-B72F-BD7DAF2E6A4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"adf899428f5614372997447b32ad6c6d3ef75523","datavalue":{"value":{"entity-type":"item","numeric-id":3801542,"id":"Q3801542"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c51ba6cca853d23a0a99274c30681e886dbfbc5f","datavalue":{"value":{"amount":"+0.7630012631416321","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":"Q1820153$EAE16007-08B3-4CF6-83B6-15703C0780C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"488c9caa09ae4639e9f8e6a31091e256f31e4dda","datavalue":{"value":{"entity-type":"item","numeric-id":5202181,"id":"Q5202181"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4160d45499353d1cae647855e9028b27b811fb3c","datavalue":{"value":{"amount":"+0.7615613341331482","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":"Q1820153$1F54E208-568A-4E3E-8317-E5AFE3F705EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a3d8b8f114482598e6212ac6a37ed42fd9763fa9","datavalue":{"value":{"entity-type":"item","numeric-id":757358,"id":"Q757358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"15bac5e3ace8a355175a74d3bb85f270bb3bfec7","datavalue":{"value":{"amount":"+0.7557684183120728","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":"Q1820153$14BF7333-D2FB-4641-8EF2-D390DBDF8C34","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1820153","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1820153"}}}}}