{"entities":{"Q1095901":{"pageid":1106653,"ns":120,"title":"Item:Q1095901","lastrevid":66680178,"modified":"2026-04-12T11:52:42Z","type":"item","id":"Q1095901","labels":{"en":{"language":"en","value":"Lattices of c-degrees"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4029546"}},"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":"Q1095901$05862FC5-78F3-46FD-99C9-C83EEDDB2C7B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"896c4474f309373e89e340173ece44f75aedeacd","datavalue":{"value":{"text":"Lattices of c-degrees","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1095901$2D03C9E9-702F-4993-BC96-173E96275DCD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"317beab6c23e2a06fd2457913767f9dfce04d6ee","datavalue":{"value":"0633.03047","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1095901$8A7E71B9-E532-47DE-9CDA-29AAB2E8166A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e57fc009173fe2ea0d1dcd29cc06822a2b412015","datavalue":{"value":"10.1016/0168-0072(87)90014-5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1095901$5079A0F1-5589-4468-B6F5-3BB024CE999C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ba7d32203c7bfbebbe66cfd891119ca73c5bbe19","datavalue":{"value":{"entity-type":"item","numeric-id":408536,"id":"Q408536"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1095901$B1641833-FA09-4A15-80F7-9A51C697EADE","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":"Q1095901$D7EDB60A-03B2-4960-A640-973B9C19ED6A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5ae48c61eed19d1e1e1f33f9255d5b329362d064","datavalue":{"value":{"time":"+1987-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":"Q1095901$0ED99932-C317-4126-90C9-4D6FB84535B7","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"27092f1234867234adb1c9edb37cb6e5ea5c4a1c","datavalue":{"value":"The question of the possible (consistent with ZFC or ZF) shapes of the upper semi-lattice of constructibility degrees is considered. The author fixes his attention on possible countable lattices of c-degrees in models of ZFC. The main theorem gives a restriction on the possibility of realizing a countable lattice as the lattice of c-degrees. Namely, it is proved that if a countable lattice is the lattice of c-degrees then it is complete. The theorem is very interesting by the fact that it is a negative result. Combined with the positive result that every well- founded constructible lattice can be realized as the lattice of c- degrees, it is an important step toward characterizing the possible orders of c-degrees.    It is also interesting by the fact that it distinguishes c-degrees from Turing degrees.    Besides the main theorem there are a few interesting counterexamples to the theorem under weakened assumptions, e.g., where the countability assumption about the lattice is dropped or where ZFC is replaced by ZF.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1095901$43D3696F-7DCC-424A-917C-64014D8B99E0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"933c6ba8322680c85da12d59920a0a8822c2db22","datavalue":{"value":"03E35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1095901$48BD2D5F-D6DA-4FEF-A566-C216CDE2DF25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"673c3b16e031308b09b1c9d3aac387c12789cdc4","datavalue":{"value":"03E45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1095901$7C000F10-FA0F-48C5-B65D-CFD60F309E1D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8f772de1239b097829fbd141a17a8b082e6564d5","datavalue":{"value":"4029546","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1095901$1442A852-810F-4811-A0B7-3FE81455CFFC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b2622366b4dc32bdf8c469986c9cff634ae7ea0a","datavalue":{"value":"degrees of constructibility","type":"string"},"datatype":"string"},"type":"statement","id":"Q1095901$D961FA88-3DC5-4375-B0B3-C56DB0C01DAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"57febfcb9fa8221496d1011711ed81c55c13822b","datavalue":{"value":"upper semi-lattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q1095901$127FFA8D-90B4-4E19-BE2B-924D84F52B7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"97d954a05159b35837050157d1a68ef7b140e7fd","datavalue":{"value":"countable lattices of c- degrees in models of ZFC","type":"string"},"datatype":"string"},"type":"statement","id":"Q1095901$14999B78-5E71-43A8-B224-B8725AA29BDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"43e72f18a6d6d4af9d0b64b4577421c0d9b7a93b","datavalue":{"value":"counterexamples","type":"string"},"datatype":"string"},"type":"statement","id":"Q1095901$065C6259-FD9C-40B0-A657-6D2A42C025B5","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":"Q1095901$342E522A-F276-4013-B57A-A77481AE4AF3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7142f3927eeb0af5871521666638a1e06bbe9222","datavalue":{"value":"https://doi.org/10.1016/0168-0072(87)90014-5","type":"string"},"datatype":"url"},"type":"statement","id":"Q1095901$CFCFC809-E27C-4974-8148-2418166736A2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c8441eeb68fc87305649c6502bcdfa13a2dc150b","datavalue":{"value":"W1986599557","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1095901$A8C10E61-C3A1-4A66-889E-B20CE535EF72","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"94f1b0841a43f6c42bbb14ce200c65788951fab4","datavalue":{"value":{"entity-type":"item","numeric-id":4147977,"id":"Q4147977"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1095901$7ED21E9F-9DB6-4DB5-9385-98D758A3F1C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c67a5fa24450739f7adc7c2c98844c057f4ce6d6","datavalue":{"value":{"entity-type":"item","numeric-id":1820153,"id":"Q1820153"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1095901$4D507782-1C4C-425E-881B-22E322CBEB2E","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":"Q1095901$3CAD97FD-E2ED-42FA-99A9-956FD8CA42AD","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":"Q1095901$81C8BE4A-4F55-4109-8CD4-D794D28AD6A1","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":"Q1095901$6E702273-4631-4501-BEEB-5461736EEA98","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":"Q1095901$341AF8B5-1328-4F22-940D-4A14E3FCCB80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5992230684d7346455bcace0e73849af283b1321","datavalue":{"value":{"entity-type":"item","numeric-id":5632568,"id":"Q5632568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1095901$88CA29A5-819F-478B-9002-B8BFA15D8C8C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9bad0dbf39747606c813794b56b119bcf293ef3a","datavalue":{"value":{"entity-type":"item","numeric-id":2779027,"id":"Q2779027"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"855fad7475851715804cc83a4013f4063451c441","datavalue":{"value":{"amount":"+0.93313885","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1095901$007C9210-B763-468E-8856-9F2D1B4A5135","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"24e7d67839df2a5d8ca73b542bce14ed646f1ad3","datavalue":{"value":{"entity-type":"item","numeric-id":3754678,"id":"Q3754678"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4d66bb7bf4f433e14b220163d189029d7092d521","datavalue":{"value":{"amount":"+0.89980173","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1095901$98229B0D-2537-48D4-BE97-571483CDBAE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e62df0906fe4728d75cea8e7041cafb64ee920f5","datavalue":{"value":{"entity-type":"item","numeric-id":3829544,"id":"Q3829544"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e8e6a4a9770b935b42bc6feeff853481811f50cd","datavalue":{"value":{"amount":"+0.89761263","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1095901$6ECC49DB-B5BC-4865-8240-B39B44674075","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"35e9abb7259dfb2c1d0556225130c549a1614aeb","datavalue":{"value":{"entity-type":"item","numeric-id":3698881,"id":"Q3698881"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"476e477fc9f2fcef5070264a52c6dfef777654e4","datavalue":{"value":{"amount":"+0.88799727","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1095901$460C97D3-ECD0-47F1-8293-6D8D1BD20668","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7641d012201842fab6fe2e83ae4023e22788a6bb","datavalue":{"value":{"entity-type":"item","numeric-id":4429243,"id":"Q4429243"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ff7d13309a1f558e7effbafb88cc7a60696c065a","datavalue":{"value":{"amount":"+0.88495725","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1095901$C6CD43AD-8F72-4C1F-B1C3-C67030369C09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ac8a8fc29def75a60d48c274d184ff40d118e0f5","datavalue":{"value":{"entity-type":"item","numeric-id":4382126,"id":"Q4382126"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0d0a3f3da80a83e114a5be7a20bec8321c275f3b","datavalue":{"value":{"amount":"+0.8842582","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1095901$658CBCE2-C1E2-453E-801F-1EFD43326CA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4333bddf57ebebeaa6c233dd8613d6b1e048b7b7","datavalue":{"value":{"entity-type":"item","numeric-id":5919224,"id":"Q5919224"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6091de05d4a35b5b3d4793958d273d186d201281","datavalue":{"value":{"amount":"+0.8823214","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1095901$C15BD0F7-5506-4DFA-93B0-C6C895F3A0C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ef0653500852da92d0fbf15c60d21ee165136707","datavalue":{"value":{"entity-type":"item","numeric-id":4026892,"id":"Q4026892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"30ee7e86ea91b9dd3af3c2242723c734b7ceb6e1","datavalue":{"value":{"amount":"+0.88221717","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1095901$5FEECCB1-094C-462F-901C-BEC8A2416741","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f5cf84f38b282ab2f3d7f142672eee172f5f109f","datavalue":{"value":{"entity-type":"item","numeric-id":2306513,"id":"Q2306513"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c01251b1e908523d4e7a4bab592e2e542ac04f9e","datavalue":{"value":{"amount":"+0.87991685","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1095901$C4BC2109-814A-4A86-ACF6-00C28EF40491","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"01169b6e111b2e85fb7a84cc67479b0712292f94","datavalue":{"value":{"entity-type":"item","numeric-id":2257011,"id":"Q2257011"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dab7ed4265e85f2ecf9bab0cb98ad38b20666663","datavalue":{"value":{"amount":"+0.8773036","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1095901$1F2E5B5F-95F4-4BB1-8E2D-E7EAFDDE3C2F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Lattices of c-degrees","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Lattices_of_c-degrees"}}}}}