{"entities":{"Q750425":{"pageid":752274,"ns":120,"title":"Item:Q750425","lastrevid":64055343,"modified":"2026-04-11T17:20:29Z","type":"item","id":"Q750425","labels":{"en":{"language":"en","value":"Counterexamples to a conjecture on relative categoricity"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4174906"}},"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":"Q750425$9D6065FD-0C4A-4980-8D57-43424009EBD7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"871a524e1916aec853363c9a5f26f910febb218d","datavalue":{"value":{"text":"Counterexamples to a conjecture on relative categoricity","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q750425$E1E70466-7993-421F-9DD2-3A8106FD6696","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"20b3ee6d216edf1b158abbbfcde1327f5eeb18ec","datavalue":{"value":"0714.03030","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q750425$29B282E4-57D9-4AB2-BF60-2EFBC43E80E3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d7f254a2e9b0310f98718559c803e2daeade9192","datavalue":{"value":"10.1016/0168-0072(90)90034-Y","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q750425$BA5D2D21-4619-4E68-BBED-1B37166A5209","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"62d3cfdc9a2b46db29b6ba5253e63e6596230556","datavalue":{"value":{"entity-type":"item","numeric-id":555562,"id":"Q555562"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q750425$DABF9B36-4C73-42D3-A8C1-32F084AAA83A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"26c6e9dff37a28e412cc496419775c5fe755de2f","datavalue":{"value":{"entity-type":"item","numeric-id":750423,"id":"Q750423"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q750425$EBC69094-E4FC-4CA1-BACE-229AF85F3367","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":"Q750425$95E2C48C-D0E9-47E1-A00B-E2F9327A859B","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":"Q750425$D1C7B468-84BC-43AA-AD1B-F7A928FA7225","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"f2eac81f61b1be8ef323a56740d91516fe4e7fb8","datavalue":{"value":"The paper is a brief supplement to the paper of \\textit{W. Hodges, I. M. Hodkinson} and \\textit{D. Macpherson} [Ann. Pure Appl. Logic 46, No.2, 169- 199 (1990; Zbl 0699.03016)]; its main aim is to refute a conjecture made at the end of that paper. The presented result is based on the following theorem proved in the present paper.    Theorem: There exists a profinite group G (in fact, a Cartesian product of countably many finite groups) with a non-trivial finite normal subgroup F which has a complement in G, and such that any complement to F in G is dense in G (and therefore not closed in G).    Moreover, the methodology used by the authors allows to construct a structure B with the following properties: (a) There exists a countable \\(\\omega\\)-categorical structure C such that the automorphism groups of B and C are isomorphic as groups but not as topological groups (so and C are not bi-interpretable); (b) in the terminology of \\textit{M. Rubin} [On reconstruction of \\(\\omega\\)-categorical structures from their automorphism groups, Preprint (1988)], the structure B has no weak \\(\\forall \\exists\\)- interpretation.    The proper existence of the structure B answers another open question presented by Rubin [loc. cit.].","type":"string"},"datatype":"string"},"type":"statement","id":"Q750425$E4DA1B4B-F4A2-4022-8F23-7691573CC1BD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d40823595f671f8f347825fd0adc1e31ebeb184f","datavalue":{"value":"03C35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q750425$AE1C8724-CEFA-46FF-AEE6-B52E073EA89B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4c5136cc03d1b8e19fe6b19a5366afb9558fc3b0","datavalue":{"value":"4174906","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q750425$F6D1E649-D639-4769-9E45-4331C2F280EF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d502aed236572e829c870ea3cd6d07c7a5ae55af","datavalue":{"value":"relative categoricity","type":"string"},"datatype":"string"},"type":"statement","id":"Q750425$A3450551-0F05-45E9-B613-051D50BB5AC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"379921e355a67ec8ca896f2a171b8f5320c425bd","datavalue":{"value":"automorphism groups of structures","type":"string"},"datatype":"string"},"type":"statement","id":"Q750425$FC5DF3DA-B0B6-45A4-9D96-AB6E4A17B032","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"7a57598545ca9eb16a66f8d00d40041cb5096293","datavalue":{"value":"Q123116953","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q750425$BD899ADD-944F-4A6E-8FE7-014C6E9BD6A1","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"e08eb8f357cf37bb9650e048ba3d31ac3a05cf8e","datavalue":{"value":{"entity-type":"item","numeric-id":1226868,"id":"Q1226868"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q750425$2D6DCD36-2012-43EC-B953-2C1A1AA4B1BB","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":"Q750425$2357D6C9-A622-4843-A635-D64F38A2B0CC","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b2280030a4c3da38e13dc4b5961cddcec3e8a63a","datavalue":{"value":{"entity-type":"item","numeric-id":912842,"id":"Q912842"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q750425$A2C429AC-BC8F-46D1-990A-9E6EFB10410D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c98115d85121e60f8bc93209e0ca80fd98b95d7b","datavalue":{"value":"https://doi.org/10.1016/0168-0072(90)90034-y","type":"string"},"datatype":"url"},"type":"statement","id":"Q750425$FE7C3F93-28A9-49E9-A8DE-B98C82334460","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2c1cc36d05a44e2006fcdaaa80b8081a7c7b9060","datavalue":{"value":"W2019622426","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q750425$F2CD49EE-7D54-4894-AF0B-2AC71EFEEB3C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ca554e5b2c8f2727f6a026ea29951af474169900","datavalue":{"value":{"entity-type":"item","numeric-id":5226517,"id":"Q5226517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"51ac0c6ea4d052fb686f15f6059021b331354514","datavalue":{"value":{"amount":"+0.7096","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":"Q750425$0A3EB8A2-7B2E-4E42-93CC-834BA63ACE6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"655d4714aea1bb10305760fec76e2fdd8ca5bbf8","datavalue":{"value":{"entity-type":"item","numeric-id":3722478,"id":"Q3722478"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c55f3ba7eee83a7f9b491646e567a7adc61f825f","datavalue":{"value":{"amount":"+0.6991299","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":"Q750425$11FAE520-F3C3-4A8C-9109-45B0EC779A16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2e8f420209beb8bae5955a163c1afdfe134aec02","datavalue":{"value":{"entity-type":"item","numeric-id":4802796,"id":"Q4802796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8931c812a2802c880c5a0af18ed1ccffde7a2926","datavalue":{"value":{"amount":"+0.6969954","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":"Q750425$310A1A06-0D7E-4E3A-AE53-0DF000532B5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"385acc7e4a40d91c56f4a56588f928c7816a5613","datavalue":{"value":{"entity-type":"item","numeric-id":3984408,"id":"Q3984408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6a8a55fe06a9528a9a42f2bf9d80f9d2f1e27167","datavalue":{"value":{"amount":"+0.6867979","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":"Q750425$2623BCF3-0E1F-4FB7-B375-7B8521FAD06C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0fc7f9a166236dd4a2973ceb74ac1c53a1f02638","datavalue":{"value":{"entity-type":"item","numeric-id":4308598,"id":"Q4308598"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"85685b375ee5ee141363a4ba2a3ed534aac80bc3","datavalue":{"value":{"amount":"+0.6696366","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":"Q750425$F7E1D9A9-63B9-4C39-8ED4-C58E81A9D28B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3f874db6fd53b9168b98a74face3cdc704a456b0","datavalue":{"value":{"entity-type":"item","numeric-id":1392342,"id":"Q1392342"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2cc57c68113d4370a8fd156f836220fd6e5fd4d3","datavalue":{"value":{"amount":"+0.66462046","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":"Q750425$43E755AB-6367-4DCF-AFEE-75AB38B1FE7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d957e760d45099cbde9abe337eb9a23b3fe01a79","datavalue":{"value":{"entity-type":"item","numeric-id":584407,"id":"Q584407"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7fd54935b19c378b15974cf583815b5f41b4fa41","datavalue":{"value":{"amount":"+0.6552494","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":"Q750425$B15EBD24-B033-4BC2-A92B-97687F96FEEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dabb6daca78a91bef0a680df2d71892479551aef","datavalue":{"value":{"entity-type":"item","numeric-id":4351105,"id":"Q4351105"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b500d01765835d269b60df1fdce4644bfb20db52","datavalue":{"value":{"amount":"+0.6544946","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":"Q750425$666BAF4A-D47F-42BD-BCB4-0877CE8FDC60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a900483fa27e1a427e939eedff7cf10650674d29","datavalue":{"value":{"entity-type":"item","numeric-id":4876287,"id":"Q4876287"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8e976615ea40885e2eb349fe405f012528ceb49e","datavalue":{"value":{"amount":"+0.6538975","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":"Q750425$73D87673-79C2-4051-AF83-DC1A3A10D704","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"66cb9d320d58589b709e2abfb8c1afc13bff87a3","datavalue":{"value":{"entity-type":"item","numeric-id":2747725,"id":"Q2747725"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e461e67d171addca0bd65f854e91c6937dc2cf9a","datavalue":{"value":{"amount":"+0.6528127","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":"Q750425$B8F620A8-0461-4D09-9580-EE0BF2321105","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Counterexamples to a conjecture on relative categoricity","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Counterexamples_to_a_conjecture_on_relative_categoricity"}}}}}