{"entities":{"Q810015":{"pageid":811863,"ns":120,"title":"Item:Q810015","lastrevid":64544112,"modified":"2026-04-11T20:36:43Z","type":"item","id":"Q810015","labels":{"en":{"language":"en","value":"Principal numerations of functionals on admissible sets"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4212031"}},"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":"Q810015$EF31C25A-7BB1-4112-93CA-5F9656043AD3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"45130168385d2367056bd8458c9d71088f57725f","datavalue":{"value":{"text":"Principal numerations of functionals on admissible sets","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q810015$07BB9526-F0A7-4392-8D19-55508465F806","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8f72072c28a65c3acaf8e65acabdf8308bc5edd0","datavalue":{"value":"0733.03036","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q810015$9EF9774F-C328-4BDF-BD36-52AEF3D692F6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"60efced5b2babec78e3c53803261d9352760140c","datavalue":{"value":"10.1007/BF01978404","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q810015$679FAA23-0BCA-4E80-BF15-9D50027A6750","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"def83a4267b34bd505276908d1f8adf80946bd5a","datavalue":{"value":{"entity-type":"item","numeric-id":810014,"id":"Q810014"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q810015$E0A08678-BD55-4B49-A070-901F8EBB0DAF","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":"Q810015$0ABDBF18-6F83-4AD7-93A5-FC406865EC8A","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":"Q810015$9C642401-8740-431C-8EA3-6459FA41EE0E","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"8283968b62d3e4c7c8e98b9068bba25a4bf4f072","datavalue":{"value":"The main goal of this paper is to find necessary conditions for an admissible set to possess principal numerations of the computable functionals of finite types over it. It is well-known that there exist principal numerations of the \\(\\Sigma\\)-predicates of finite types over any admissible set [\\textit{Yu. L. Ershov}, Algebra Logika, 24, No.5, 499-536 (1985; Zbl 0615.03036)]. The same question concerning functionals appeared to be more complicated. The notion of a resolvent admissible set, which was introduced by Yu. L. Ershov [loc. cit.] plays an important role in the proofs. The author proves in particular that if \\({\\mathbb{A}}\\) is a resolvent admissible set then there exist principal numerations of the computable functionals of finite types over \\({\\mathbb{A}}\\). If \\({\\mathfrak M}\\) is an atomic model of a decidable theory with recursive set of atomic formulae, and for some \\(m_ 1,...,m_ k\\in {\\mathfrak M}\\) every atomic formula is equivalent to a \\(\\exists\\)-formula with parameters \\(m_ 1,...,m_ k\\), then there exist principal numerations of the computable functionals of finite types over HF(\\({\\mathfrak M})\\). For an arbitrary model \\({\\mathfrak M}\\) there exist principal numerations of the computable functionals of finite types over HYP(\\({\\mathfrak M})\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q810015$3E42F85E-C209-4AA6-B836-DE359537DDA7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"4c09ea78484192dfb20180fed0b8ec0fbe50483f","datavalue":{"value":"03D60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q810015$F776452A-FC27-4F91-A380-B0287F4B48B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1267197712a0b8481bdd51a65bbac0428b08dd13","datavalue":{"value":"03D45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q810015$D451C756-FE7B-484A-A4FD-3452757A371C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"51c3dc27e13e59ca92a9af5f9c02c332a8b9421a","datavalue":{"value":"03C57","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q810015$98DE90CC-264C-4ADA-8AD9-B07824B8F828","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8e2ae0194a8ebe0bf784b8b052b59cc1986475f6","datavalue":{"value":"4212031","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q810015$1FEFD674-49C2-4C8F-A191-9B1BB978A0F5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"13520136f7384b2fc8479cec399c14be15c9713e","datavalue":{"value":"admissible set","type":"string"},"datatype":"string"},"type":"statement","id":"Q810015$E6FFB979-EB60-4ED8-9630-D91C9EA4CBAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c2575d9b9325fd250d6624839b96a6d679bf1ee","datavalue":{"value":"principal numerations","type":"string"},"datatype":"string"},"type":"statement","id":"Q810015$582B559F-BAA1-49A5-9853-954A0B67E340","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"46fe81e4c24f40e2106e7b765acdd588902266bd","datavalue":{"value":"computable functionals","type":"string"},"datatype":"string"},"type":"statement","id":"Q810015$F17B79E4-4C49-4096-BB6A-C6BD7C6465BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9488939e31f5e6d79450c9887a579db20bc618fe","datavalue":{"value":"resolvent admissible set","type":"string"},"datatype":"string"},"type":"statement","id":"Q810015$B5E9395E-35C4-4F16-8F00-A6D13645E89A","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"3ce0c15be929efae5d1db4165b73b6b1dd00974c","datavalue":{"value":{"entity-type":"item","numeric-id":630291,"id":"Q630291"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q810015$C9B5E266-9057-4A29-8EB2-382C4E714D9E","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":"Q810015$8DA2AF46-D020-49C8-8204-C69F952497AA","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"8973abb951181b5865d7e8e53e525f0e4b9b6f41","datavalue":{"value":{"entity-type":"item","numeric-id":4075450,"id":"Q4075450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q810015$1472E32A-C445-488E-AD51-F4630306AE8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"802c33e37f46cb8cbdb3075e14d584cb368a74be","datavalue":{"value":{"entity-type":"item","numeric-id":584402,"id":"Q584402"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q810015$7DC6F590-8268-451B-9CE8-E03F8D42F654","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bee85f15db819554c5cddfac8ba3f64f52efb0bd","datavalue":{"value":{"entity-type":"item","numeric-id":3958432,"id":"Q3958432"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q810015$082D53BF-D389-4F53-A571-A29B43C9AE28","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2b998f2f471378e146c50df8a5cced422c2f537b","datavalue":{"value":{"entity-type":"item","numeric-id":1820777,"id":"Q1820777"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0b917d2ff2c739fd70cfe09db77bcfbd787355d8","datavalue":{"value":{"amount":"+0.7466081","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":"Q810015$5D3271E7-8E13-4FC9-B131-6957EAA45157","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1e260e8fe2458690350fe0dffa7072c9d01ee4d5","datavalue":{"value":{"entity-type":"item","numeric-id":4517363,"id":"Q4517363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f36e4ba5258155ec7f796d7be27d030afe141df3","datavalue":{"value":{"amount":"+0.73838305","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":"Q810015$D65B3DD2-E23B-4314-B871-53B63AFF9A96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b5056d21a194e453856b120d0f8bb5d7be383a3b","datavalue":{"value":{"entity-type":"item","numeric-id":4513580,"id":"Q4513580"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3516326bd833ae259b095d4c458ed8dc323b42c5","datavalue":{"value":{"amount":"+0.727048","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":"Q810015$9EE5DB5B-6B06-4874-8686-F53C2A80FF1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ea1d1aad70e3003d72f65bb9a00c86fca8785671","datavalue":{"value":{"entity-type":"item","numeric-id":4517267,"id":"Q4517267"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"21f5649a0e76f2fa9c652f0983e1418d3f5868ee","datavalue":{"value":{"amount":"+0.7120875","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":"Q810015$B07E7DEA-F28F-4BD7-88A9-7EF17CDC33AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5761ffa1d6aad5d164fbc3388ec2ff7d7f5254b2","datavalue":{"value":{"entity-type":"item","numeric-id":4249356,"id":"Q4249356"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e67862c1f68b38e68ffeec9ec314172af7094d3f","datavalue":{"value":{"amount":"+0.70916307","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":"Q810015$C621D515-BD8E-4FAE-8D23-A7F93102F21A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cdf26dfc8e89228ef88bd654bc7e8a475ce205a3","datavalue":{"value":{"entity-type":"item","numeric-id":5230801,"id":"Q5230801"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5de4e7d65366936d700a66dd55b00f52d673ace5","datavalue":{"value":{"amount":"+0.7056782","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":"Q810015$14D4D19B-9194-4D53-A9F4-52948ED17CBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"835f3a536a6ade90f605c265c3f284c8bcfd79b6","datavalue":{"value":{"entity-type":"item","numeric-id":5476783,"id":"Q5476783"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"af8f6a987960c164757831d0d83947bccdf4b0de","datavalue":{"value":{"amount":"+0.7005406","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":"Q810015$23E058F4-310A-431F-B264-2C0AFDFA0477","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2da89d1f97cf8ddb8dbc30b2eddcb55e23fad765","datavalue":{"value":{"entity-type":"item","numeric-id":2454471,"id":"Q2454471"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9977499662392b62c4e6fd35e6f8580ffdbb0420","datavalue":{"value":{"amount":"+0.69794095","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":"Q810015$D155A04B-5E7B-4EEE-B6E0-98BB34C73FDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a98e2633380dadd6dd1ecd7b7d64ad738d89b35c","datavalue":{"value":{"entity-type":"item","numeric-id":4560350,"id":"Q4560350"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"831b39160071c7a214deb037bc526a336344cef4","datavalue":{"value":{"amount":"+0.6898895","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":"Q810015$A5DE2D1A-342F-41A4-985A-8EAB36A73618","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d2142f3c7344a2a839f746a307b444271a987c32","datavalue":{"value":{"entity-type":"item","numeric-id":4432545,"id":"Q4432545"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"749a4ab63a1ba5e3b9e990837140e897ba49af31","datavalue":{"value":{"amount":"+0.68540424","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":"Q810015$67217CE2-B42F-48EF-A7A7-0013E39E6741","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Principal numerations of functionals on admissible sets","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Principal_numerations_of_functionals_on_admissible_sets"}}}}}