{"entities":{"Q1095896":{"pageid":1106648,"ns":120,"title":"Item:Q1095896","lastrevid":66680142,"modified":"2026-04-12T11:52:42Z","type":"item","id":"Q1095896","labels":{"en":{"language":"en","value":"A universal recursive function on admissible sets"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4029533"}},"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":"Q1095896$5F57A4CC-2B2A-447F-85CF-B345C714276C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f88a3c76990b0900d065131c1035aafa8823e503","datavalue":{"value":{"text":"A universal recursive function on admissible sets","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1095896$18617E4B-2301-42CD-A8C4-1F9EFBAE8840","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ae65285ebf5efbb9fa5851becfbea0aea5e9978f","datavalue":{"value":"0633.03033","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1095896$DC8803AA-F9BB-4AE8-9DCD-23563886A1CE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"16546853a41c62d3d4ecbfa03946b05774270a21","datavalue":{"value":"10.1007/BF01979014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1095896$46919453-5BB6-4629-B19A-0DE5D2443BBF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8b950ee99840ce06bd6202a0cbfa11be71a1e3d2","datavalue":{"value":{"entity-type":"item","numeric-id":1095895,"id":"Q1095895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1095896$8FCC792E-6085-44AC-A5D4-49B6948DA473","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":"Q1095896$56B83BB4-92F8-49C1-8C1B-C7BD66A1B111","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"63df7153432d81fa42019fcabb076c89649b0b5b","datavalue":{"value":{"time":"+1986-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":"Q1095896$46A53FBF-18F6-498F-81DD-AC1ECD16CD1F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a8a74e19707aa2a0b257bff18eb31e3b5e999c01","datavalue":{"value":"https://eudml.org/doc/187359","type":"string"},"datatype":"url"},"type":"statement","id":"Q1095896$7DF30BAD-30A2-45CB-BB4D-15E611369242","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"818e0fc54843d9248f0b61370fca1ff5001dea3e","datavalue":{"value":"For a structure \\({\\mathfrak M}\\) of a finite language L let \\(HF_{{\\mathfrak M}}\\) be the set of all hereditary finite sets with urelements in \\({\\mathfrak M}\\). The set \\(HF_{{\\mathfrak M}}\\) can be considered as a structure of the language \\(L\\cup \\{U,\\in \\}\\) where U is a predicate for the set of urelements. This structure is an admissible set over \\({\\mathfrak M}\\), that is a model of the Kripke-Platek axiom system. The author calls a \\(\\Sigma\\)- function F(x,y) on \\(HF_{{\\mathfrak M}}^ a \\)universal recursive function on \\(HF_{{\\mathfrak M}}\\) if for every \\(\\Sigma\\)-function f(x) on \\(HF_{{\\mathfrak M}}\\) there is \\(a\\in HF_{{\\mathfrak M}}\\) such that f(x) is F(x,a). Main results: (i) if the theory of \\({\\mathfrak M}\\) is decidable, model complete, \\(\\omega\\)-categorical and the set of complete formulas of this theory is recursive, then there exists a universal recursive function on \\(HF_{{\\mathfrak M}}\\); (ii) there exists \\({\\mathfrak M}\\) for which there is no universal recursive function on \\(HF_{{\\mathfrak M}}\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q1095896$E13C3993-24E5-46CE-8EDC-6D6690AAA7B6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"188b6c199125847212533426dfbb43082ee9bc77","datavalue":{"value":"03C70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1095896$E5F619FE-85AE-4DA1-9AF6-AACC7064F3D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4c09ea78484192dfb20180fed0b8ec0fbe50483f","datavalue":{"value":"03D60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1095896$1582D4AC-14D9-4B1D-AC60-F6968F9A0539","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"75f0bd5ab22d5b9ce7a8fc80dca07c62ff322a3f","datavalue":{"value":"4029533","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1095896$A27D8DD0-9481-44A1-810C-E39D3620EDB9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0face45b43af9f1f60b158f394d837b4236b003f","datavalue":{"value":"hereditary finite sets with urelements","type":"string"},"datatype":"string"},"type":"statement","id":"Q1095896$69E9EC08-0732-4D7F-A96F-057A68794801","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"13520136f7384b2fc8479cec399c14be15c9713e","datavalue":{"value":"admissible set","type":"string"},"datatype":"string"},"type":"statement","id":"Q1095896$068F937C-DBFD-4C78-B575-0D0CF065BAC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8c31b914d6063920caa905de20296cc115348e88","datavalue":{"value":"Kripke-Platek axiom system","type":"string"},"datatype":"string"},"type":"statement","id":"Q1095896$7B5D26BC-C787-4E1A-98F0-5E8F3F8FFDFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c93d8e36bdb7dc9f6337e781cde04638a5f79357","datavalue":{"value":"universal recursive function","type":"string"},"datatype":"string"},"type":"statement","id":"Q1095896$3B20F4C9-D01B-4168-B734-38C1679898C6","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"d7a760754899c4252076421c1bbdd70a575016d7","datavalue":{"value":{"entity-type":"item","numeric-id":593287,"id":"Q593287"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1095896$A7D663DF-4894-47C5-970F-CFFCBAE4353F","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":"Q1095896$972B2220-0D4B-4120-B464-EDCB6B0AA723","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":"Q1095896$3B386F47-8A92-430D-A7D6-52148E6025A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7b88ceae54cb11fcbb54890909a47c97005a3fc1","datavalue":{"value":{"entity-type":"item","numeric-id":3671937,"id":"Q3671937"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1095896$8FDCE925-3800-4069-8A89-2C053FC71C2F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f162f0e96165f78637ff1b2061f8cf4a161ccbc5","datavalue":{"value":"W2027167403","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1095896$DEA9B6B2-2A57-4296-8FA5-2C92A60BB3E0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b40a534b6bdcce3d88647a943b7131440d9551c8","datavalue":{"value":{"entity-type":"item","numeric-id":5203001,"id":"Q5203001"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"057e4a57c693d016302e7eb53337a53c8211c376","datavalue":{"value":{"amount":"+0.8002848029136658","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":"Q1095896$ACA11A26-19AA-4824-BAA5-3AF615BD1388","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"59f1247ab1c7d98bca643fda73e33abac9c73934","datavalue":{"value":{"entity-type":"item","numeric-id":1760530,"id":"Q1760530"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ba05492d8e23b5974698fbe38b48979b22bbf261","datavalue":{"value":{"amount":"+0.7996987700462341","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":"Q1095896$2150B33D-0417-43F7-BDA1-F988BB51BFD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b8827a751c09fbe400414448f3bb368c3f86f4c7","datavalue":{"value":{"entity-type":"item","numeric-id":5203002,"id":"Q5203002"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d002767e3bed0e99a184e37f4365f92d79eb8daa","datavalue":{"value":{"amount":"+0.7941641807556152","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":"Q1095896$8AA84C45-CB20-4867-B19A-202502805703","rank":"normal"},{"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":"c96ef67fce5b8352ef95ded9a5d7da1efda93fb9","datavalue":{"value":{"amount":"+0.793156623840332","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":"Q1095896$6C8F16C1-2EE9-4601-B9F7-40671F71CB72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"196dfb08a1fc9035d14be871d41d03c4196a1758","datavalue":{"value":{"entity-type":"item","numeric-id":619320,"id":"Q619320"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"701ede8f723a7c5a73a23380bb22c1e5b27fee4b","datavalue":{"value":{"amount":"+0.7878013253211975","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":"Q1095896$7FC2A4C6-F3CD-492E-84AE-3D63E79F4E54","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A universal recursive function on admissible sets","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_universal_recursive_function_on_admissible_sets"}}}}}