{"entities":{"Q584255":{"pageid":586022,"ns":120,"title":"Item:Q584255","lastrevid":62949117,"modified":"2026-04-11T09:11:22Z","type":"item","id":"Q584255","labels":{"en":{"language":"en","value":"Some highly undecidable lattices"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4134029"}},"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":"Q584255$000D4B42-8105-46F5-896D-353A4224B10A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9880a75380eb3487cd4e84ca096a15053e5ef996","datavalue":{"value":{"text":"Some highly undecidable lattices","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q584255$5A3EBBE6-8196-4596-A459-8110C33354CF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2af7339d8932f936408ba9499a1f07ce634a2fc4","datavalue":{"value":"0693.03029","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q584255$62AD30A2-7C2D-4AF5-8D21-D4B017423F74","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"95dc6f781111969f93dffc9da4413e8b947f0f49","datavalue":{"value":"10.1016/0168-0072(90)90077-F","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q584255$02ECE9EA-D581-422B-BAA1-412B8F95EF61","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"909e9e9901c5f35cf5b9dbe65064c7ffd3e29e6e","datavalue":{"value":{"entity-type":"item","numeric-id":584252,"id":"Q584252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q584255$78D171E4-3E67-452C-A0DF-E5E96E58CF5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"28bbcc74fcb402af071729d124478254f15cbdb4","datavalue":{"value":{"entity-type":"item","numeric-id":584253,"id":"Q584253"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q584255$18D520A1-40BB-4587-8020-9883E941677C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"38aa7709572b95d2e41a70fb9142f1d278e7c7c5","datavalue":{"value":{"entity-type":"item","numeric-id":175056,"id":"Q175056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q584255$557873DC-0CB3-4AC6-BD69-C52C822FDA9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d6997bc0d047fc926b05763eee59357a06026ff5","datavalue":{"value":{"entity-type":"item","numeric-id":584254,"id":"Q584254"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q584255$8C3D23BE-C741-4E14-8FE4-17099A56697F","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":"Q584255$F90130F6-E974-41D3-92D3-C4640F764415","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"70d2fbf8bcd48a5ca1ac752985098b379d0dbb65","datavalue":{"value":{"time":"+1990-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":"Q584255$C46B78EB-1286-45BC-88E1-DFA697DC6B50","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"654c4417d6c3c9f989cd4961fe572346a5b84cf6","datavalue":{"value":"The main result of this paper is: If an algebraically closed field K has infinite transcendence degree over its prime field, then the first-order theory of the lattice of K's algebraically closed subfields has the logical complexity of full second-order logic on the set K. A similar, although not as strong, result is also proved for the more general setting in which the role of K is filled by a Steinitz exchange system.","type":"string"},"datatype":"string"},"type":"statement","id":"Q584255$C537384D-A518-4438-8460-90B82780E1E1","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":"Q584255$963B4AED-1CBA-4DF5-88FA-721BF8617A39","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a27f9f06d965be24ec50f61065e06d2029a566a7","datavalue":{"value":"03D35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q584255$5557BAD1-AC0B-4C6A-9B1A-E109044BC971","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1383140ea316c02240838fe2b890cc4e706453cc","datavalue":{"value":"4134029","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q584255$6E3F6B8B-BAB6-419C-9935-57468D58BC73","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"84088de26f7a4c13bd263b97d98e9b3c27cf9593","datavalue":{"value":"lattice of algebraically closed subfields","type":"string"},"datatype":"string"},"type":"statement","id":"Q584255$D76883D3-8895-44F1-9912-82FE5E622734","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"70ae2f300ab84cdac6cd2d3a6e019da47744fb2c","datavalue":{"value":"algebraically closed field","type":"string"},"datatype":"string"},"type":"statement","id":"Q584255$0B3D6945-463B-4C73-A770-1C735F8D9735","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"263805638d1e63a79a3c591e1ad14e8148fe9595","datavalue":{"value":"first-order theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q584255$B0BCB26D-F928-495C-85FB-8C7800953F34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8582c9c9734eff214e5b5db65e867b5c228e500c","datavalue":{"value":"logical complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q584255$0E23EE46-B820-4480-AFBF-A90669F3924B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1a87e942e25d70e19cb164218c507008e2489c1f","datavalue":{"value":"Steinitz exchange system","type":"string"},"datatype":"string"},"type":"statement","id":"Q584255$7D06FBCE-EBCA-4C71-96B8-00D4D09ADCE7","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":"Q584255$2D327256-4814-4190-88DE-58EEBA8216DE","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"19d0ab197a8713888c1b6b7f6be8f29bd9472f3a","datavalue":{"value":{"entity-type":"item","numeric-id":3947648,"id":"Q3947648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q584255$1EED91C5-5E85-4891-9DE6-1D21103A32EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"02834c8bf667417dc8827a2d0fdcb8aa564d1ab3","datavalue":{"value":{"entity-type":"item","numeric-id":1076073,"id":"Q1076073"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q584255$CF8428ED-7151-40A5-B580-893FA8D5E534","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6a01cee80d908aad0afbd8b80ff2a834a1dc5e69","datavalue":{"value":{"entity-type":"item","numeric-id":4299608,"id":"Q4299608"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q584255$14EC0485-5FA5-4B80-B425-89D6F80EA582","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"955bd5404ed51b03abcc353b16cb93ed2674c0ef","datavalue":{"value":{"entity-type":"item","numeric-id":4149752,"id":"Q4149752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q584255$D6BB7F03-C47B-47AB-A448-3842DAD0F347","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b61ff41cba099dcf37e49b4b315b738fd1d4bf62","datavalue":{"value":{"entity-type":"item","numeric-id":5789039,"id":"Q5789039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q584255$1956C84F-E781-4000-B54D-48219C67034C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"dc8966af3401b72b46f2b9d6404de1a0afa58192","datavalue":{"value":"https://doi.org/10.1016/0168-0072(90)90077-f","type":"string"},"datatype":"url"},"type":"statement","id":"Q584255$10BA4CED-F7F4-4BA9-B84D-0C4E5760E795","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"559b2848097aa9d7d4d53d8547515492f4de5caa","datavalue":{"value":"W2035900838","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q584255$2BE7E844-0E16-436A-94F5-99222D93C608","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8e3ff78512e9cb2ef4748c6f8670a3ee08d5c5be","datavalue":{"value":{"entity-type":"item","numeric-id":3149998,"id":"Q3149998"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"773cc072c42704df6726781b1819adae3a38e9fa","datavalue":{"value":{"amount":"+0.8104797601699829","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":"Q584255$AE1DF6D4-AC1F-4B92-A27D-3C132B019879","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2751667db88f09dabd0130608bbfcf11386300a7","datavalue":{"value":{"entity-type":"item","numeric-id":1083446,"id":"Q1083446"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a2fb2347750ef410e1a575eb9ae72e4737f93788","datavalue":{"value":{"amount":"+0.768113911151886","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":"Q584255$A9C41BE6-2ECE-4FC9-B940-33BD145BC817","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4f9ef70148e34354742b89e766db4cb39d7c1d21","datavalue":{"value":{"entity-type":"item","numeric-id":4726298,"id":"Q4726298"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dfe023f62d3248e16ca84f8300c6d749e9edfe9b","datavalue":{"value":{"amount":"+0.7587912082672119","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":"Q584255$D21AFA34-2E29-4F22-9DC3-913F5810076B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7608aea8ff74f57cc6cc652c7cbcb9b9ab0315d9","datavalue":{"value":{"entity-type":"item","numeric-id":762063,"id":"Q762063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e60e8fd0d70ad182fb5212f8edb708216bad0488","datavalue":{"value":{"amount":"+0.7490988969802856","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":"Q584255$35128D7E-0D36-4F19-8221-CE252D178C2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"955f39293b6fc8af4b2a69505a5fdab0ea593bed","datavalue":{"value":{"entity-type":"item","numeric-id":2311327,"id":"Q2311327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e004862aa55136d91a4f582cfab77b4109f47f12","datavalue":{"value":{"amount":"+0.7421244978904724","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":"Q584255$5C7A9674-0BB7-416E-922A-23B927947B30","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Some highly undecidable lattices","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Some_highly_undecidable_lattices"}}}}}