{"entities":{"Q1174056":{"pageid":1184805,"ns":120,"title":"Item:Q1174056","lastrevid":66757407,"modified":"2026-04-12T12:39:59Z","type":"item","id":"Q1174056","labels":{"en":{"language":"en","value":"Index sets of classes of hyper-hypersimple sets"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8004"}},"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":"Q1174056$6B3B166D-FF53-4953-BCF6-86A2449D7010","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"701e51066e8ce6adf71bcc834e401c3169e338cd","datavalue":{"value":{"text":"Index sets of classes of hyper-hypersimple sets","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1174056$E5367CCA-5356-43E9-9982-B255BCE4E1ED","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"aa5681582df598798cd1d0555ddf4705798d53b1","datavalue":{"value":"0787.03032","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1174056$CA62A793-B400-433A-9446-642B094E51CE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"af662878983ec9cd90950e4ef87836593f1e38e6","datavalue":{"value":"10.1007/BF02001360","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1174056$478D658F-2B5D-430E-B69B-4889CCB15387","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ef3ca3322541db05049091162b21145bd512b130","datavalue":{"value":{"entity-type":"item","numeric-id":251873,"id":"Q251873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1174056$CF645F64-B8E3-453B-9585-00431B9FFAED","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d3f790682a6be4cc1f3210e15eebe1d6cc5ffbc2","datavalue":{"value":{"time":"+1992-06-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1174056$BE6387D6-05F1-4988-93F4-7D82CA4657AE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"625dae3c2420a4cfbe18b7b956962885607c8955","datavalue":{"value":"https://eudml.org/doc/187516","type":"string"},"datatype":"url"},"type":"statement","id":"Q1174056$4B784F54-4166-490C-B05E-9E48ACD939F3","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"d624972fb394dc6006b298b03579feef80fcc930","datavalue":{"value":"In Algebra Logika 22, No. 6, 666-692 (1983; Zbl 0536.03025), we cite a hypothesis stating that the index set of a predicate which is elementary in the lattice of recursively enumerable sets (r.e.s.) \\(({\\mathcal E};\\subseteq)\\) is universal on some finite level of hierarchies defined in the quoted paper. In ``Hierarchies and index sets'' [8th Int. Congr. Logic, Methodol. Philos. Sci., Moskva 1, 167-169 (1987)], we prove this hypothesis for a class of predicates defined by \\textit{A. H. Lachlan} [Trans. Am. Math. Soc. 130, 1-37 (1968; Zbl 0281.02042)]. In this article we calculate complexities of many natural classes of hyper-hypersimple sets. The main results are Theorems 5 and 6, which study classes elementary in \\(({\\mathcal E};\\subseteq)\\). They verify the stated hypothesis for a new class of predicates. These results also provide new examples of elementary subclasses \\({\\mathcal E}\\) whose index sets are universal on every level of an arithmetic hierarchy. Therefore, an elementary theory \\(\\text{Th}({\\mathcal E})\\) does not have quantifier eliminability, i.e., for every \\(n\\) there exists a formula in the language \\(\\{\\subseteq\\}\\) with one free variable which is not equivalent in \\(\\text{Th}({\\mathcal E})\\) to any \\(\\Sigma_ n\\)-formula. In Theorem 1-4 we study other classes of r.e.s., all of which are \\(L_{\\omega_ 1\\omega}\\)-definable in \\(({\\mathcal E};\\subseteq)\\). We use ideas and results developed by \\textit{S. Lempp} [Trans. Am. Math. Soc. 303, 559-583 (1987; Zbl 0652.03030)].","type":"string"},"datatype":"string"},"type":"statement","id":"Q1174056$ACE17790-8603-4D09-BD09-C57A36D764FE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"18bdc3e9791879423538829d590ed2da8e1e9db6","datavalue":{"value":"03D25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1174056$DBB3B13A-4DAA-447A-AF0D-5FA71E131FB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"51c3dc27e13e59ca92a9af5f9c02c332a8b9421a","datavalue":{"value":"03C57","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1174056$62A9778B-AD9A-46BA-8AF6-1F3A4709FE8B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"73189259df4fe4ce13ece43161f41a914f3adc0e","datavalue":{"value":"8004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1174056$E2FC4DB1-C5BA-4105-81D7-A79F51A4A99F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5eb71dcaacc649a08c482994e577c1009e683c3c","datavalue":{"value":"complexities of classes of hyper-hypersimple sets","type":"string"},"datatype":"string"},"type":"statement","id":"Q1174056$90B13181-32C8-4920-B502-AD974D36172A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0291506b81dd5f1c13954b6d2c80b074aa25bb08","datavalue":{"value":"index set of a predicate which is elementary in the lattice of recursively enumerable sets","type":"string"},"datatype":"string"},"type":"statement","id":"Q1174056$D35C4576-167F-47E9-98D9-ED60B2EDEFFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d06fc6f1c79093684c9c62a5d1839ec686b9c8e4","datavalue":{"value":"arithmetic hierarchy","type":"string"},"datatype":"string"},"type":"statement","id":"Q1174056$293D4F7B-2EE8-4C32-ADC8-541D8B721637","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8a6f4952b674055246aabc00ad86b88076a60bdf","datavalue":{"value":{"entity-type":"item","numeric-id":949620,"id":"Q949620"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1174056$0C583B33-7E7D-43A7-BEE2-EEEDCD52D9BB","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":"Q1174056$25A5AFDA-06E2-436C-8FF3-9D2E2E4E7FA6","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"5461ca58f49ff86794e2d44c1b0c3b16be94bd4c","datavalue":{"value":{"entity-type":"item","numeric-id":3320353,"id":"Q3320353"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1174056$581116B1-CF14-4798-A278-75B3215354EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"81cc9b3f543a41c988076ae748700dea2b62bd94","datavalue":{"value":{"entity-type":"item","numeric-id":4767304,"id":"Q4767304"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1174056$66F6CCBB-6155-443C-A239-923DCAC14343","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8f2dd8cc71ae75870179a3826f397ccdb62d4f7d","datavalue":{"value":{"entity-type":"item","numeric-id":3797173,"id":"Q3797173"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1174056$0C3A1E05-CB18-449D-B7D7-E0899C725BF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1edcfc8f162dce621803913f4363a765362e71d8","datavalue":{"value":{"entity-type":"item","numeric-id":3819052,"id":"Q3819052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1174056$C426678D-77E3-4313-9093-BD9588DF8C43","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"970deb1aec07591ac40fd6222e0cc5c8397f64c1","datavalue":{"value":"W2093909703","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1174056$839CAC21-BB22-46F2-9AD0-CC0371BBFFCA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0f90c648d9d6546955fdbe74f658bb78e89d73c4","datavalue":{"value":{"entity-type":"item","numeric-id":1295386,"id":"Q1295386"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"29a6bf163dd697d22dd768a44558fe789f3fcd31","datavalue":{"value":{"amount":"+0.9183165","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":"Q1174056$A442AEDF-8D7D-446E-BA2C-882CF860D7FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9b7b06b96517e4f20b482ba2527c0ad0a3877aba","datavalue":{"value":{"entity-type":"item","numeric-id":1068818,"id":"Q1068818"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d47ab2eb5045f7c5f3c2429032f553f1800fe318","datavalue":{"value":{"amount":"+0.9081992","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":"Q1174056$3636F6EF-E156-4F24-9A8A-132ECC0F4251","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e1d95d0aa04844127119499d0e6050b8d8059794","datavalue":{"value":{"entity-type":"item","numeric-id":1066890,"id":"Q1066890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b8e0731764e09f7d83a2edd6b9b6df1b38405c38","datavalue":{"value":{"amount":"+0.88930404","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":"Q1174056$5ADA3C95-3D4D-4071-BE11-F49C102CEF33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dd72b9fe0466705607eacd2d7eaeae36f63bca7e","datavalue":{"value":{"entity-type":"item","numeric-id":1337641,"id":"Q1337641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"03dd514c56384934cdf4ebc1dc9c69b1e534f9b9","datavalue":{"value":{"amount":"+0.88739204","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":"Q1174056$A46AC3A8-4B73-4D3D-BD32-E7FD29906A22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b773c4a75bbe954111d0eb8667cda45d747a71f5","datavalue":{"value":{"entity-type":"item","numeric-id":1006610,"id":"Q1006610"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7540472ca2a12bdb269fc1d30c484a0e344cbd87","datavalue":{"value":{"amount":"+0.88575923","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":"Q1174056$76939ECF-273C-4A93-8BC9-41888AC6592B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"10e491c8549e6d1f6b13896ce689b6232e294af8","datavalue":{"value":{"entity-type":"item","numeric-id":2300938,"id":"Q2300938"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ad44b7ae97b527d339b89d3c998a96dc739e0e52","datavalue":{"value":{"amount":"+0.884774","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":"Q1174056$D0A0E6B0-DEEA-410D-9015-97BECD6F9A9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"205c01a2f1cbe607a9b58db8cb5648c7132772e5","datavalue":{"value":{"entity-type":"item","numeric-id":4316688,"id":"Q4316688"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d5386b65d83fd20a7b6ef70d1f913ca2a0e20ab4","datavalue":{"value":{"amount":"+0.88192505","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":"Q1174056$0E1E8B4A-D49C-430C-8BB0-738E57CAAC3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5f58e07b3f9e4b8ac8ade24a2b1e775c99068753","datavalue":{"value":{"entity-type":"item","numeric-id":1078559,"id":"Q1078559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"18a0d1c3cb8dbea9bfdfb22b9b70bed83ab3513a","datavalue":{"value":{"amount":"+0.8746154","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":"Q1174056$A2D363CC-1582-40D8-81BD-86A6EF0D4643","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"973e6765050c8d7d5fc7d55f9f6de3856a42c2a9","datavalue":{"value":{"entity-type":"item","numeric-id":1366536,"id":"Q1366536"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0eb898c07dfc0d6b4cfbf435011635e3bd99dd63","datavalue":{"value":{"amount":"+0.87129027","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":"Q1174056$A25A47F2-C097-4984-B284-8EAA1B4B6155","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f5871316f138361cff0e2813372e4ec0c1a49d49","datavalue":{"value":{"entity-type":"item","numeric-id":3797173,"id":"Q3797173"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a28acc04eccdbd0f0b1049e6b65198198f94af08","datavalue":{"value":{"amount":"+0.870191","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":"Q1174056$572F7480-741A-4E4B-961B-C041AFF67604","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Index sets of classes of hyper-hypersimple sets","badges":[]}}}}}