{"entities":{"Q2067510":{"pageid":2078252,"ns":120,"title":"Item:Q2067510","lastrevid":73995843,"modified":"2026-04-14T17:59:41Z","type":"item","id":"Q2067510","labels":{"en":{"language":"en","value":"Taming Koepke's zoo. II: Register machines"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7458664"}},"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":"Q2067510$CF54EA4B-C0DB-4C7C-8EBC-00C3FE83D183","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1ecc5a7c8fd7a4616f5d08c4da068fa895e6cebb","datavalue":{"value":{"text":"Taming Koepke's zoo. II: Register machines","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2067510$DD52650D-3A85-406F-9A62-D3525E412990","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"720727afe24ec6b36df1800ff623fbb818253ac8","datavalue":{"value":"1485.03178","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2067510$01BE2CC4-07E4-4943-91D9-F84D50D1DF92","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9a2bfb0e10347c17cbef3ee7d45a42b79abe80bc","datavalue":{"value":{"entity-type":"item","numeric-id":330193,"id":"Q330193"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2067510$57DB793E-60B4-4BC6-AE33-810649C04BD8","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":"Q2067510$6704821E-E101-46B5-B239-254664795DBB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5ca2650979f724510b6fdad7c545c6ca3688a8af","datavalue":{"value":{"time":"+2022-01-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2067510$1A3680EA-1BE9-4B02-83D9-27738A1BD279","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d7902a8c25f64cd2742dd59eca1ed5cfd1b9d646","datavalue":{"value":"https://arxiv.org/abs/1907.09513","type":"string"},"datatype":"url"},"type":"statement","id":"Q2067510$B253401C-221A-42AB-B740-49B1A805D73E","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"1e4cb34772008f50f6561a949f1e642c049e9ca7","datavalue":{"value":"This paper extends some previous results of its author [the author et al., Lect. Notes Comput. Sci. 10936, 126--135 (2018; Zbl 1436.03236)] on \\(\\alpha\\)-ITRMs, register machines in which each register may hold an ordinal below the ordinal \\(\\alpha\\). For exponentially closed \\(\\alpha\\), the author examines the collection of \\(\\alpha\\)-ITRM-computable subsets of \\(\\alpha\\). This collection is shown to consist of the subsets of \\(\\alpha\\) in \\(L_{\\alpha+1}\\) iff \\(\\alpha\\) models ZF\\({}^-\\); otherwise, the collection consists of the subsets of \\(\\alpha\\) in \\(L_\\beta\\), where \\(\\beta\\) is the sup of the \\(\\alpha\\)-ITRM-computable ordinals.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2067510$A4B38DE6-ACAD-40B3-BB80-E40293C3530A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"4c09ea78484192dfb20180fed0b8ec0fbe50483f","datavalue":{"value":"03D60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2067510$BC5DF99D-B34F-4290-82E0-469EFF6E530A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"33d9ad5fa3901c3c85d59a42af89ee043a9f83fb","datavalue":{"value":"03D10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2067510$64197C2B-ED99-4541-B389-7EFD0EB40C8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"57eee2f313463199e20b9235bce5c88ea02d3389","datavalue":{"value":"03D65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2067510$3E344517-91D7-461C-9E82-AA10B67B103D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b3636caf529c49b2a7d814c7a65de2b21aedf761","datavalue":{"value":"03E15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2067510$43E50EF2-DA25-436B-9670-A3F708CA259B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4360a3cfd8e657af32addfcb7ca1e57dc87719ba","datavalue":{"value":"03E75","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2067510$AD8E8E84-DB17-40B9-9970-F3AF5594A4E2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"579149a532b3b362b7462518d7bd8da4d3046476","datavalue":{"value":"7458664","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2067510$8C82440F-1BD6-4E27-BC1E-501B9ABB3E05","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"58935e09107ec5ea4031ab4314f07455b16415ab","datavalue":{"value":"infinite time register machines","type":"string"},"datatype":"string"},"type":"statement","id":"Q2067510$3468B145-16B3-4828-977C-D12F07ACA889","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"26b88071b32cae25880df18a179ff6a564173e1b","datavalue":{"value":"ITRMs","type":"string"},"datatype":"string"},"type":"statement","id":"Q2067510$9FA9E3F2-BAC5-40DC-B629-FAC9822A9703","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"443b9daecbfc8042b652a7d9b22575f62749d1bd","datavalue":{"value":"ordinal computability","type":"string"},"datatype":"string"},"type":"statement","id":"Q2067510$48CB8989-E01D-4A88-9A12-55C08087B230","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1083bbb7d0965b31d194958bae432d6456c6681a","datavalue":{"value":"constructibility","type":"string"},"datatype":"string"},"type":"statement","id":"Q2067510$5746C5BE-6C48-4E31-884A-15D452EF2C01","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"918802f1a1362bd512279080eb151cb7e040bd3a","datavalue":{"value":{"entity-type":"item","numeric-id":588764,"id":"Q588764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2067510$F32D8D41-CC21-4A5F-9E1B-33B16164F451","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":"Q2067510$851E976D-32EC-43C1-92E5-A23192E35C3C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"845f0ab875a0a50d79c6d1627f2d5dc7e8773fd6","datavalue":{"value":"W3201105272","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2067510$FC607F01-B01C-4C78-9169-EA09DE151707","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d5e7b56f4ef9ba67174f85b247b953e00f9c6aba","datavalue":{"value":{"entity-type":"item","numeric-id":4133622,"id":"Q4133622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2067510$C8646526-4F77-4DFE-8FA4-898DED890C21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c1bd20004f565f87e8d5dd191bff89baf3ee25d5","datavalue":{"value":{"entity-type":"item","numeric-id":1738872,"id":"Q1738872"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2067510$7B82207F-DA8D-4FBF-8F0C-7C9295382472","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b2e3d79599c8ef21ddcdba14f9b823827e6ada8","datavalue":{"value":{"entity-type":"item","numeric-id":2267751,"id":"Q2267751"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2067510$C30E94C1-08A3-4A0A-AEE5-E205A0126B9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"94cd619dd00a656054704b51cbdb1095e9d066e8","datavalue":{"value":{"entity-type":"item","numeric-id":2795911,"id":"Q2795911"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2067510$90B2EE18-3116-40AF-8C3D-5F22BBA0031D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4d13be93326fe439d9ba63c1d8fc97ba3bcf3655","datavalue":{"value":{"entity-type":"item","numeric-id":3893911,"id":"Q3893911"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2067510$8D0C28BC-40F8-49F4-AB28-ECA67F569054","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fc2f16d5fa89e3688b7bd4651bd764824e3c9de0","datavalue":{"value":{"entity-type":"item","numeric-id":3011123,"id":"Q3011123"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2067510$DA5CB03E-847D-482A-B5C1-C3F2F2C4C9CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dbef48451f1681793c68f0e7f8167f2ed6f4dac8","datavalue":{"value":{"entity-type":"item","numeric-id":3858256,"id":"Q3858256"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2067510$4CAEB3B3-5BCC-4DE3-8E08-1547E613DEC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"75b130d57ab2ae2dd7c506a60e145c54cba9f2bb","datavalue":{"value":{"entity-type":"item","numeric-id":4508248,"id":"Q4508248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2067510$3BC2436A-45B2-4396-B0E1-867D8F01BF6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1fa551e3e349b20e4092ff082ad75f2b46098da0","datavalue":{"value":{"entity-type":"item","numeric-id":1032634,"id":"Q1032634"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2067510$BF99C28D-BA52-4BA2-9522-FEDA6198565E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"38f16d0c32c819a7594febe4a924f28460636e25","datavalue":{"value":{"entity-type":"item","numeric-id":2904435,"id":"Q2904435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2067510$AA9F3308-CC5A-4CB6-B8C3-8C3AD156B125","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7225ef0048a25f23d5f9faaaab182b69dac08d96","datavalue":{"value":{"entity-type":"item","numeric-id":2401544,"id":"Q2401544"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2067510$A691A3AD-D0FA-44B2-84F2-AE475714BA2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c11b57e726a60662316d200d9442f796eff50a9a","datavalue":{"value":{"entity-type":"item","numeric-id":5898823,"id":"Q5898823"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2067510$481C6558-0EA1-4975-AB4E-DD1E2F08907F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dc1bd7aaf293515cf2d2c3c5bddbd1823d140cbf","datavalue":{"value":{"entity-type":"item","numeric-id":3576060,"id":"Q3576060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2067510$6FAE79F0-DBD7-46C6-A597-E32C98834328","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"58f3ecf6a24f943905c40a3f5a8fa2a198c909a8","datavalue":{"value":{"entity-type":"item","numeric-id":3507445,"id":"Q3507445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2067510$CA4D7E1A-F8C2-48B1-8E02-F8F150E8AF37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9c546f6f70e37faa7e0891fa88752a7c230a2d2f","datavalue":{"value":{"entity-type":"item","numeric-id":3370613,"id":"Q3370613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2067510$D8A76D54-53FE-4A2D-8CA2-CC23ADA8E0CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2166b5b7ba23cc8259267acee007351bc4434104","datavalue":{"value":{"entity-type":"item","numeric-id":944224,"id":"Q944224"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2067510$1CBF1578-C8EF-498A-966A-A072AC8557BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e879137aedac1d1ba29042cae1b089d4721bb68","datavalue":{"value":{"entity-type":"item","numeric-id":1004086,"id":"Q1004086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2067510$6591D668-ADA2-4ED6-9ADD-AEF2024CBFEC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d54a1f9796c54d46413942a3724f697562f888fe","datavalue":{"value":"10.1016/J.APAL.2021.103041","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2067510$201049BA-945A-49A8-A7CA-6E8CFEC6ED24","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1472a0edd567e2410b76bf238c02e81136a4b131","datavalue":{"value":{"entity-type":"item","numeric-id":2267751,"id":"Q2267751"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a228c4f85b03d10c0cbcb3c0dee78f3c683f2752","datavalue":{"value":{"amount":"+0.8173326849937439","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":"Q2067510$51717EA2-0087-4BFB-9954-ACA1089D25D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"51b3a1f619fcd5ccab9c763cd551b55796e16492","datavalue":{"value":{"entity-type":"item","numeric-id":5898823,"id":"Q5898823"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e9b7afa251d21207c8b4d3b2c22a915b25f5dda1","datavalue":{"value":{"amount":"+0.8120499849319458","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":"Q2067510$0A6D8765-939A-447C-88BC-992E26CBFD98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9a1a84032a033ab27c796187b98b88325e2b4ae1","datavalue":{"value":{"entity-type":"item","numeric-id":1670732,"id":"Q1670732"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3816e38bf46de25cd10fb311015e1b6a128ad166","datavalue":{"value":{"amount":"+0.8024551272392273","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":"Q2067510$35D4560A-3D79-433F-95E8-53BCCC9137B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dfc2f42a3616da35086bf109dfe65d9f66a1ff83","datavalue":{"value":{"entity-type":"item","numeric-id":944224,"id":"Q944224"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"35deb88591e606617c2cb4be198f5357cb122f62","datavalue":{"value":{"amount":"+0.7973436117172241","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":"Q2067510$BA8006A4-A780-43CD-8CC5-E702F3D52C3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f56c87c724173faa59e71c8e711d9af6d27f454d","datavalue":{"value":{"entity-type":"item","numeric-id":3576060,"id":"Q3576060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ee85706c443fda4d38c14c603071513f4d1f42e2","datavalue":{"value":{"amount":"+0.7960478663444519","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":"Q2067510$3281F237-73AA-4DCA-A976-61546067CC6F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Taming Koepke's zoo. II: Register machines","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Taming_Koepke%27s_zoo._II:_Register_machines"}}}}}