{"entities":{"Q688789":{"pageid":690638,"ns":120,"title":"Item:Q688789","lastrevid":47201002,"modified":"2025-12-31T23:58:10Z","type":"item","id":"Q688789","labels":{"en":{"language":"en","value":"Incomparable prime ideals of recursively enumerable degrees"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 438513"}},"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":"Q688789$D5BE2B19-2015-4C1C-8199-B09ED69FD046","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"08c4f082d6392a2bd1a9f3577461a0f4bd88857d","datavalue":{"value":{"text":"Incomparable prime ideals of recursively enumerable degrees","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q688789$44782BB9-9243-4BAB-A24F-2D773020215C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bb90be8faa1634e57ea9949f12f9c632ab4be0da","datavalue":{"value":"0788.03056","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q688789$DCB6ADA4-B840-486F-9A41-D7F44097C0C1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f4bc945ccada64e7a4e70dc3c51061ca0b85d60f","datavalue":{"value":"10.1016/0168-0072(93)90207-T","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q688789$078F781A-913C-453C-9B81-EE04D2877B8E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fde4be330e58b5fb5a572fbf376f399426a70944","datavalue":{"value":{"entity-type":"item","numeric-id":688788,"id":"Q688788"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q688789$BA88E492-4AF5-46E1-A099-0F91969679CE","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":"Q688789$9D73CABE-2C26-407E-8F02-20239A7F4AF2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9a56fa44f05f9c865c2049cda281119f7946a004","datavalue":{"value":{"time":"+1993-11-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q688789$645A5043-F210-40A8-9C75-BEB7B5084636","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"5a57e5d580882d17fccce03b8c51ce872365924d","datavalue":{"value":"The author establishes that the upper-semilattice \\(({\\mathbf R},\\leq)\\) of recursively enumerable degrees contains an infinite antichain of prime ideals. This can be viewed as strong lattice-theoretical strengthening of the Friedberg-Muchnik theorem. The construction is an infinite injury one, but presented roughly, via Harrington's method of workers. The paper begins with a discussion of this method.","type":"string"},"datatype":"string"},"type":"statement","id":"Q688789$D4016A32-253A-4F4A-B500-450299298704","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"18bdc3e9791879423538829d590ed2da8e1e9db6","datavalue":{"value":"03D25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q688789$CB45214C-4392-4623-88B3-9B3398D896CD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"44719cbb05d23dbb57d14fcdd01a8c1bb5538e9b","datavalue":{"value":"438513","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q688789$03020C24-273D-431F-BA55-EDF862FB9908","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"84f43691c95fdc72fdfafe2b840c94c7a628b379","datavalue":{"value":"upper-semilattice of recursively enumerable degrees","type":"string"},"datatype":"string"},"type":"statement","id":"Q688789$BEB1FAD5-C011-42A1-9B1C-AEB8F0555CE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cf9f06faa6ff9893f08506bd1a52f8db7035be87","datavalue":{"value":"infinite injury construction","type":"string"},"datatype":"string"},"type":"statement","id":"Q688789$8C95092B-FA7E-4A98-8815-B62D4B3E6334","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"95b5ba04475f7320aeb4b6ab3ecee84e556235ef","datavalue":{"value":"infinite antichain of prime ideals","type":"string"},"datatype":"string"},"type":"statement","id":"Q688789$D9530633-9200-4C50-8B9E-450A6B8DC2C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6825d27322854b3ab73a39913d781f939fd725e6","datavalue":{"value":"Harrington's method of workers","type":"string"},"datatype":"string"},"type":"statement","id":"Q688789$F1A68EFB-FCC3-47CF-A76E-27450D9AA358","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"8055ef4c08baf7aae068108b5a3771ed10ad54de","datavalue":{"value":{"entity-type":"item","numeric-id":247180,"id":"Q247180"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q688789$3945B513-32C4-4AB4-A2DB-9A3F473F2BBE","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":"Q688789$C99CF418-1A22-43F9-AB60-44E5F8C94062","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"93d7a673d9c2f08a64e159fb5d66907e94e5698d","datavalue":{"value":{"entity-type":"item","numeric-id":3325709,"id":"Q3325709"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q688789$506A00F3-9E26-4ACD-816E-35FF2A8C0061","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ad8e800dca90055c7ab7841ac69c777c0f82200","datavalue":{"value":{"entity-type":"item","numeric-id":688787,"id":"Q688787"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q688789$965C7648-3ABE-442D-A232-20744F45F99A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec1e438bac43bea1246a7f2dfc3538558c1c1287","datavalue":{"value":{"entity-type":"item","numeric-id":3767329,"id":"Q3767329"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q688789$BBA8D31F-5E71-4C16-AFB1-E0732D2305D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f83939765af302e2b7df0dcc5e8c3bddd552ddd","datavalue":{"value":{"entity-type":"item","numeric-id":923076,"id":"Q923076"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q688789$86FB220E-1C4A-4E3E-8015-F6B9CE2E81D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dae26af80a5696fa8c01db658b71f7ff80167bbe","datavalue":{"value":{"entity-type":"item","numeric-id":3248015,"id":"Q3248015"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q688789$377B3040-6E29-4225-8725-4226713E6324","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"80e10ad025d9092a4bf339636fc9e15f8e0ef7fb","datavalue":{"value":{"entity-type":"item","numeric-id":3666835,"id":"Q3666835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q688789$035B8D73-35D6-46F0-9F06-82AC4B5E5FFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"55b46545876e885d0c5cb24e91e535c6751974ec","datavalue":{"value":{"entity-type":"item","numeric-id":3489981,"id":"Q3489981"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q688789$2FB64DAB-2B0E-41E5-B9D0-D2429A3BB58D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d1a697cb60f93c2718a516c14837a94ccdabbaf5","datavalue":{"value":{"entity-type":"item","numeric-id":923078,"id":"Q923078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q688789$ADC1D95C-CBE1-4EF6-A227-52718E624AE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1bca441acee540b6c6848d51594e5798c2464759","datavalue":{"value":{"entity-type":"item","numeric-id":5537365,"id":"Q5537365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q688789$E0EF0053-2BAF-4CFA-8FAD-2453EF14B56E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7fff557e7dc247071db38e3d3a6654bb3ac39f29","datavalue":{"value":{"entity-type":"item","numeric-id":5670617,"id":"Q5670617"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q688789$A4AD3E40-9490-42B8-86AB-FA009D0F6A9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"654f717b930cbace7136731cda8419f1178f1747","datavalue":{"value":{"entity-type":"item","numeric-id":4128552,"id":"Q4128552"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q688789$DED649DF-96F5-403A-A93D-EDD9BE92E3CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"77bbf16bbb6e946484aded8118d4d19fda806b19","datavalue":{"value":{"entity-type":"item","numeric-id":3480023,"id":"Q3480023"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q688789$8D681ECD-EFF6-4F64-BC84-2EE566F3DC5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"850ec53483c087fa2e8890fc924e571da7793c17","datavalue":{"value":{"entity-type":"item","numeric-id":3232283,"id":"Q3232283"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q688789$9875769D-921A-45D1-B092-49759EB591D3","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":"Q688789$602DBA48-CDA4-4B9B-94FD-B2A65D96F4A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"89001f0d95d8af2283c3eaac6df53bb8b88854c1","datavalue":{"value":{"entity-type":"item","numeric-id":2626204,"id":"Q2626204"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q688789$34D1919A-D642-4192-85BA-2DF0B0C4B1EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3183fe1b285e34ab4afafe2135598ac868bd7630","datavalue":{"value":{"entity-type":"item","numeric-id":2520837,"id":"Q2520837"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q688789$DCBB26F0-F59E-4D46-A504-F5D6FFB5E3CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b524a05430f4267389fb66816fc092a2859fa9ab","datavalue":{"value":{"entity-type":"item","numeric-id":1115863,"id":"Q1115863"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q688789$6C1142BE-344B-46CA-B034-EF9B347D895A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"630bf30961e4249212f6b62e732fca12363ae6f8","datavalue":{"value":{"entity-type":"item","numeric-id":3274970,"id":"Q3274970"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q688789$12850505-BA91-44D9-85CF-2889A28C4FBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d758df723c0147bc486dfb831c7e0fdaded67c22","datavalue":{"value":{"entity-type":"item","numeric-id":5586291,"id":"Q5586291"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q688789$A272C374-070E-490E-A8D7-815330F68A09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b96afe6a097b5881fc1ed027108acc695c9894b5","datavalue":{"value":{"entity-type":"item","numeric-id":1111549,"id":"Q1111549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q688789$2172E1EB-C2F2-4062-848C-14AD713126AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"33cf7e679a32695783158c5c80a989dd580e8f9b","datavalue":{"value":{"entity-type":"item","numeric-id":1387092,"id":"Q1387092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q688789$DE138EC6-6AE6-442B-93E6-3C4DAFE177FE","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":"Q688789$B529AC0F-30D3-4A78-AF24-4C452ED6E32F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8827bb25975fd126f345bc5a9b6c2a45f53f8adf","datavalue":{"value":{"entity-type":"item","numeric-id":5519131,"id":"Q5519131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q688789$429036AA-DBE2-46F6-BDD2-0857A8CDAE6C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"040db0148b683b900f8a36a9e343bca4994e7f68","datavalue":{"value":{"entity-type":"item","numeric-id":639654,"id":"Q639654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5adbd7ca4316574c241435a8f964439327f2330b","datavalue":{"value":{"amount":"+0.7497732639312744","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":"Q688789$24AF0494-5340-4E97-9B9B-14D442BF0CA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f2ea47e9076dc5854b17040fc14a0ec30d2ee778","datavalue":{"value":{"entity-type":"item","numeric-id":3328534,"id":"Q3328534"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fb411980e1c3e91d2e741f127ea22dadf4d3051b","datavalue":{"value":{"amount":"+0.7413730621337891","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":"Q688789$2E6B3E00-FA95-4008-BA73-6454DC123A7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9ea4fb6aab73f47dda50cc9d0b6adfa316e04201","datavalue":{"value":{"entity-type":"item","numeric-id":1902712,"id":"Q1902712"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b94ee01081774ee2b3ae9637ba0dc48cce65b8b5","datavalue":{"value":{"amount":"+0.7390325665473938","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":"Q688789$A14FC67E-1DD5-40D7-A747-87A38C06292C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9941d49fa43b20b98ebb6491d6c4b3d7c00b4eb7","datavalue":{"value":{"entity-type":"item","numeric-id":809074,"id":"Q809074"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7553e894b9216943bac4db36faef642a35ee0c5e","datavalue":{"value":{"amount":"+0.7319857478141785","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":"Q688789$D06A1929-0D05-4AEF-A5BA-706382A23FD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eddca182616b7b777521ab6ffab8025ee2057422","datavalue":{"value":{"entity-type":"item","numeric-id":3792671,"id":"Q3792671"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"19687087eef1b2751f9f1bf9a2220bf766a2d89b","datavalue":{"value":{"amount":"+0.7307056784629822","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":"Q688789$611220CE-FA00-4F2F-BA41-FAC12CA9036E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:688789","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:688789"}}}}}