{"entities":{"Q1783995":{"pageid":1794737,"ns":120,"title":"Item:Q1783995","lastrevid":57545412,"modified":"2026-03-31T08:35:05Z","type":"item","id":"Q1783995","labels":{"en":{"language":"en","value":"A tame Cantor set"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6941796"}},"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":"Q1783995$22A903E9-59AE-4C07-B888-BB8787D54A8F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7345e4e198c75a0419b8f6d8bc1e76ba1df52598","datavalue":{"value":{"text":"A tame Cantor set","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1783995$22BE6A8D-9FBD-48DE-BB59-32D6FBAF2E27","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a1d32a957318cff3df20db5edb12c396798b0cff","datavalue":{"value":"1453.03036","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1783995$A62518D3-D2EB-47A7-AC54-1CD2B09D5A07","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9a7a38eec4ccc7ade6d4568c3016d376b4025298","datavalue":{"value":"10.4171/JEMS/806","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1783995$6E26CE95-D899-410C-AF14-3DF37FB7A9DD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1a6f0ee0d8d4751322bc016f613d455675594792","datavalue":{"value":{"entity-type":"item","numeric-id":1650002,"id":"Q1650002"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1783995$6DDA858D-86E7-4CC3-B534-531DF88D8E80","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"26780b1287f0091cd789fa2d15704011bf65df86","datavalue":{"value":{"entity-type":"item","numeric-id":171275,"id":"Q171275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1783995$C552E00C-443C-4DA3-9D54-217A03223DB5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c87e4cbf15b9c83a8593d4bc1a20c0eb35440d26","datavalue":{"value":{"time":"+2018-09-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1783995$4B962C69-2025-4C22-923F-DF9F414153CA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"aff75174ebd0940ea2d443900ddcc9836a5d1719","datavalue":{"value":"https://arxiv.org/abs/1507.03201","type":"string"},"datatype":"url"},"type":"statement","id":"Q1783995$71A99195-84A1-410E-9DA8-C813A4DD393D","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"365df29878a88acad5f75b4ed128f24886c0411f","datavalue":{"value":"Summary: A Cantor set is a non-empty, compact subset of \\(\\mathbb{R}\\) that has neither interior nor isolated points. In this paper a Cantor set \\(K\\subseteq\\mathbb{R}\\) is constructed such that every set definable in \\((\\mathbb{R},<,+,\\cdot,K)\\) is Borel. In addition, we prove quantifier-elimination and completeness results for \\((\\mathbb{R},<,+,\\cdot,K)\\), making the set \\(K\\) the first example of a model-theoretically tame Cantor set. This answers questions raised by \\textit{H. Friedman} et al. [J. Symb. Log. 75, No. 4, 1311--1325 (2010; Zbl 1220.03030)]. The work in this paper depends crucially on results about automata on infinite words, in particular B\u00fcchi's celebrated theorem on the monadic second-order theory of one successor and McNaughton's theorem on Muller automata, which have never been used in the setting of expansions of the real field.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1783995$B6087F5A-64CA-4527-95A2-71F776777545","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2fa744827be5f9a42ae7c118ff4838149cde7498","datavalue":{"value":"03C64","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1783995$C338A9A9-6BFC-4BA0-BC4A-A4990ADC7E08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"176e47af9f9e7cf4ebff07fc1f9e4f94a83134c1","datavalue":{"value":"03C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1783995$3751E26A-9BCE-4AE5-9A17-1613EF49E952","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c270fb88a62fde738bd530246c5ba57a005a4efd","datavalue":{"value":"03D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1783995$8C5A3B08-06C5-4D52-8B6A-60E379FA1BB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b3636caf529c49b2a7d814c7a65de2b21aedf761","datavalue":{"value":"03E15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1783995$06335B14-7FBD-426E-A8E2-22058D1DAE1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9ea71f5d73e86695c3db83eda1dbe060ef0c0108","datavalue":{"value":"28E15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1783995$9C9D72C7-978C-4E4E-A2C5-BF8D09D7F88B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c6fbf338901ad972950a1da42cd31c9b4167052d","datavalue":{"value":"6941796","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1783995$B0D50B95-E109-412C-9B67-071121EB0D9C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0d4c77cd7df88103d84a9c91a8260b23507e4d45","datavalue":{"value":"expansions of the real field","type":"string"},"datatype":"string"},"type":"statement","id":"Q1783995$48A58ACE-F033-4BD5-91D2-9B3F8872D394","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"87ebd4d9dca7a9f413e3c3c5a1b0bdaaf148941c","datavalue":{"value":"Cantor set","type":"string"},"datatype":"string"},"type":"statement","id":"Q1783995$C5C52109-A779-46C0-B2F8-0FCB3CD53885","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9682e06ce2646e85d767181f57167c5bc0ff8f49","datavalue":{"value":"tame geometry","type":"string"},"datatype":"string"},"type":"statement","id":"Q1783995$CDFD58F3-ED68-405A-9630-D95B8436A4CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c1d1bc8b17c743a5c8c42ee615ed4b9acd085099","datavalue":{"value":"Borel sets","type":"string"},"datatype":"string"},"type":"statement","id":"Q1783995$B96CB221-E4C6-479C-87AC-59644115C419","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7ce94254d44045733e962d2861c33d94e3725cca","datavalue":{"value":"quantifier elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q1783995$0C723241-CB4C-41E1-98BC-04DCC9C84A85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"67558264b907713249d47b6cbf6b49d6482421bd","datavalue":{"value":"monadic second-order theory of one successor","type":"string"},"datatype":"string"},"type":"statement","id":"Q1783995$A3F70227-99DD-4A87-8175-0AB738CDFF5A","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":"Q1783995$833FD566-5778-4A29-AD83-D3C956FB9711","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"c51b3aaf4acf69a1267267da3d0e85e6de26b642","datavalue":{"value":"Q129709743","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1783995$DE14AB87-C2AB-44E2-90E4-5091F4F18ED8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"23f773aa30538e3817026c30b3fa533ad6407bdf","datavalue":{"value":{"entity-type":"item","numeric-id":1978908,"id":"Q1978908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"35296ee8bc75e19de1f0c53cffa2b3cfb6d7a6b9","datavalue":{"value":{"amount":"+0.89085144","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1783995$0EB81D73-C608-4E35-9611-06D1719E550B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c7999d2e2202071c2f2a29cb96af70c6c9ac2708","datavalue":{"value":{"entity-type":"item","numeric-id":3485104,"id":"Q3485104"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5e25d45d93049a80a7b66b6f89f4007b221e593a","datavalue":{"value":{"amount":"+0.8818023","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1783995$5434EF50-61CC-49FB-A6EE-8DDDDA5816D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1e01869e68fa997855d51dc8be46af20c3de836a","datavalue":{"value":{"entity-type":"item","numeric-id":3715353,"id":"Q3715353"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d7fff17fa9fe7a066330767a4ca1c8589778da3f","datavalue":{"value":{"amount":"+0.88009155","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1783995$6DEAF611-48B6-47E6-8378-E330C15D19D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6a929156baf8d1ca91c94638ff34f077e5d6eb31","datavalue":{"value":{"entity-type":"item","numeric-id":3102354,"id":"Q3102354"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6b4b98514323e00e7bd63aa07cc0dd0cd3edd46e","datavalue":{"value":{"amount":"+0.87094","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1783995$4F7F027D-F64E-4246-9FD7-C24441BCD764","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"170609698d872422bc62cd8e8655d386f8d44e94","datavalue":{"value":{"entity-type":"item","numeric-id":2841088,"id":"Q2841088"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d7a53c9005602407683f6666b1f7dedb6bb425de","datavalue":{"value":{"amount":"+0.8705826","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1783995$50B01FAE-D9C2-4D66-B27E-44C7959E7FDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4581a9655966eb1011e3584c9dc1d007775f5a25","datavalue":{"value":{"entity-type":"item","numeric-id":2998351,"id":"Q2998351"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7074d8cb937ab31c58bc5901fd23a2af325e4508","datavalue":{"value":{"amount":"+0.8685961","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1783995$F5DE0F79-3883-4FEE-8551-71771C4AF928","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ce42e9661824733656273a75718ff4d0e60ce881","datavalue":{"value":{"entity-type":"item","numeric-id":4207988,"id":"Q4207988"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c12827eb3d39e360440f6f97618b2c5d1d28d83c","datavalue":{"value":{"amount":"+0.8669147","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1783995$AE57FF98-F723-42A2-A9C0-E582079A286D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"27a0ac6649b95bbeaceb29da45262712763d1dfc","datavalue":{"value":{"entity-type":"item","numeric-id":284811,"id":"Q284811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f10e4b1f59f90b5b5540c75505e41322638edd59","datavalue":{"value":{"amount":"+0.8656064","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1783995$7DC8BA03-44AC-4F79-B7BA-53D4FF6221AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ca63d0e0d61dc804b57526a404664ce6bf1bd3da","datavalue":{"value":{"entity-type":"item","numeric-id":4647016,"id":"Q4647016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"047463ab7a1909f2cd6f55bd58f814bdf61257ef","datavalue":{"value":{"amount":"+0.8628554","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1783995$15B8F11D-7282-4697-9F67-574E0D61148F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d2517047374eb51ad54d5a2e9667239413ef0c33","datavalue":{"value":{"entity-type":"item","numeric-id":2749021,"id":"Q2749021"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eb1bd817242f9c70803ed5a608f88270217a3287","datavalue":{"value":{"amount":"+0.86244667","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1783995$92516E6E-2B14-4DDB-A85A-C1BA99DC3BAB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1783995","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1783995"}}}}}