{"entities":{"Q2453067":{"pageid":2463810,"ns":120,"title":"Item:Q2453067","lastrevid":57927837,"modified":"2026-04-03T03:06:22Z","type":"item","id":"Q2453067","labels":{"en":{"language":"en","value":"The distribution of ITRM-recognizable reals"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6301452"}},"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":"Q2453067$D54A4237-26E8-4757-8E7F-CFF368B03338","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3d027a5aaa39f930f6052acfc42a9f56a4bfb519","datavalue":{"value":{"text":"The distribution of ITRM-recognizable reals","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2453067$25803B04-ACCB-4CC3-AAB7-A3CABEE6E934","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5ba7ce9655b3f2b7c89062bef00b8b6d0109c46f","datavalue":{"value":"1321.03055","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2453067$69835CC7-B617-4F05-83CC-89D0C7DB2A5E","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":"Q2453067$5532A5E0-1646-492C-8848-1ED160980929","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":"Q2453067$6FBEF511-5B56-4684-8EAF-6F444AF0686B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f7f3fbc447f1c390e2d7e7b93294821ab0240de3","datavalue":{"value":{"time":"+2014-06-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2453067$9243C216-9724-4210-967F-11A6C82BBF09","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"de65607e43db917111c5c91b587857835b067e06","datavalue":{"value":"https://arxiv.org/abs/1208.1901","type":"string"},"datatype":"url"},"type":"statement","id":"Q2453067$695CF29C-E12F-4173-917D-5FD87E495580","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"8a1438f94ecb0d0739a0aa54a2c1391002021d96","datavalue":{"value":"This paper explores the distribution of ITRM-recognizable reals in the hierarchy of the constructible reals. Infinite time register machines (ITRM) are a model for infinite computation introduced by \\textit{P. Koepke} and \\textit{R. Miller} [Lect. Notes Comput. Sci. 5028, 306--315 (2008; Zbl 1142.03347)]. They differ from other register machines in allowing arbitrary ordinals as running times. A real \\(x\\) is ITRM-recognizable if there is an ITRM program \\(P\\) such that \\(P\\) halts with output 1 if the input equals \\(x\\), and halts with output 0 otherwise. The ITRM-recognizable reals properly contain the ITRM-computable reals and are a proper subset of the constructible reals. The author proves that the ITRM-recognizable reals have gaps relative to the canonical well-ordering on G\u00f6del's constructible sets.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2453067$7328764B-C1E0-480C-8541-4AC309D3139F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"57eee2f313463199e20b9235bce5c88ea02d3389","datavalue":{"value":"03D65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2453067$F2DFD612-DB0A-47C2-81DE-38AC1FCDDB1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4c09ea78484192dfb20180fed0b8ec0fbe50483f","datavalue":{"value":"03D60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2453067$1CD9422E-CAFB-4734-835C-BD8B6E2557E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"673c3b16e031308b09b1c9d3aac387c12789cdc4","datavalue":{"value":"03E45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2453067$B008FEF6-9097-4787-9EC9-9EFF161C0E58","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e4278d7dce58dcbaf4b0d3329878acb71919affc","datavalue":{"value":"6301452","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2453067$FD5136EA-0FE5-4C26-BD4C-2E86B40A83A8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"aa3e009a0e1cc080b321fbb1653e7bc4cad0ede1","datavalue":{"value":"infinite time computability","type":"string"},"datatype":"string"},"type":"statement","id":"Q2453067$20282D66-CB4A-4103-B2A7-DE6EE1667E91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"58935e09107ec5ea4031ab4314f07455b16415ab","datavalue":{"value":"infinite time register machines","type":"string"},"datatype":"string"},"type":"statement","id":"Q2453067$61600FF5-61B2-4ADA-B6FF-5F2485BE165A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8f157dd80be91d04cf9e818114c5ac6ed7cd7cfa","datavalue":{"value":"ITRM","type":"string"},"datatype":"string"},"type":"statement","id":"Q2453067$22FBAB09-599B-49F3-A0A2-AA20EE678FCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"769209ebde9b8ef03a8cfd42e2e31a9872f98e32","datavalue":{"value":"recognizable reals","type":"string"},"datatype":"string"},"type":"statement","id":"Q2453067$399FE503-FF5F-4B37-BFF8-348A8E800C99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"08d6e710213cdbb7e0397bc78b0e0097cd00bc70","datavalue":{"value":"constructible hierarchy","type":"string"},"datatype":"string"},"type":"statement","id":"Q2453067$66690F34-9897-42EC-B9B9-537AC7CBCBE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bd6951972538e60f047844dca6d40ff4712ed159","datavalue":{"value":"G\u00f6del's L","type":"string"},"datatype":"string"},"type":"statement","id":"Q2453067$BF4B4A1E-0662-45FA-9ECF-8BF37A7FEF88","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"c2c7a0f70c0b7cc2161585e985e86183cb70d3ef","datavalue":{"value":{"entity-type":"item","numeric-id":335001,"id":"Q335001"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2453067$95BBD91E-D0A7-45DC-BBCF-AEE75F266FF1","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":"Q2453067$9FC69976-AD48-45A5-9AA7-79F66A61E27D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1efd605f0e4f31673e3347bc654b1ba4efd4bf1b","datavalue":{"value":"W2294961809","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2453067$817D7376-FFCA-4FD6-9B88-880681E7778D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f13912b71f7844444a328a15b68fa8068c7034b6","datavalue":{"value":{"entity-type":"item","numeric-id":5549043,"id":"Q5549043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2453067$35E0776D-7FCF-41E1-95D5-D3AA518F98D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"25ce7ae1d6a30bc2aa903e4763e6ee0a77c2c688","datavalue":{"value":{"entity-type":"item","numeric-id":2905691,"id":"Q2905691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2453067$0572ABD7-37A1-4D5E-9DB3-2FE75CFC3FA8","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":"Q2453067$B44DE870-285D-4DF1-B825-2D1059033102","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":"Q2453067$8F0220BE-43F4-4647-BCE5-7D6E291A5E1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"25fefe909d803c14fbfa4cc60ee168e757d68981","datavalue":{"value":{"entity-type":"item","numeric-id":2827952,"id":"Q2827952"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2453067$FC516E21-7BB8-4BB0-B263-F71718871A3E","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":"Q2453067$8525EECA-5DDC-4368-80DD-CBB8C7E28976","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"638d28b2baea18e6ece5760cb80ce35ea8d92024","datavalue":{"value":{"entity-type":"item","numeric-id":5672886,"id":"Q5672886"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2453067$AA95B514-776B-4326-BB67-EE661906A6BF","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":"Q2453067$6D00E69D-5940-492A-ADB4-0993DAF1C5DA","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":"Q2453067$DD003907-626C-4EBB-B38F-F42031ECF873","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":"Q2453067$0E6A44E2-415E-41B3-89EE-187DD912BDCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"20ee9b21a579fa19e43fee6e3ebf31cf16d31295","datavalue":{"value":{"entity-type":"item","numeric-id":3091451,"id":"Q3091451"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2453067$DA4923C2-D0A9-467E-A861-F2967234D4A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"63a28b3793f5e269ac98538ec68135f55fbd41a3","datavalue":{"value":{"entity-type":"item","numeric-id":4850058,"id":"Q4850058"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2453067$80AA5DCB-43EB-416A-9149-0FD3E3EEA2C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"39ffed035003a07fe22ab4edff0f17bdfdb93781","datavalue":{"value":{"entity-type":"item","numeric-id":1139038,"id":"Q1139038"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2453067$8C8ED628-C906-4A4F-90F6-A773571B0324","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"47d0c330d91ec63dec96aa145e9be1a2e29e02fa","datavalue":{"value":"10.1016/J.APAL.2014.04.010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2453067$B59D14E9-C4CF-43E6-AF82-978FE51A990C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2869c0dfd63b96d0378c3f254fed17a811e28697","datavalue":{"value":{"entity-type":"item","numeric-id":2795911,"id":"Q2795911"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9d3b412738bbf8232da803221579d376a0164433","datavalue":{"value":{"amount":"+0.908504068851471","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":"Q2453067$E5B6AECD-A769-4C58-B978-9271697B8FEF","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":"4ebf6cd2d8558546c4346dcb627e4f7139a340da","datavalue":{"value":{"amount":"+0.8214179277420044","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":"Q2453067$643B0B35-3914-440A-AA49-7A756A337CBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9d938f781bd5caf462cee4ade7bc9e0047a74801","datavalue":{"value":{"entity-type":"item","numeric-id":3195690,"id":"Q3195690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e6d0df35180a94a6e246d3f1f3487762429599ae","datavalue":{"value":{"amount":"+0.8033434748649597","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":"Q2453067$83BE5F7D-77A9-4669-A358-6896CA11D147","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cfaf54e976ac7b444f11b91fb6669870f8469b8e","datavalue":{"value":{"entity-type":"item","numeric-id":4593494,"id":"Q4593494"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"682d6e33f7958fe4511467a078a531bfded61ab9","datavalue":{"value":{"amount":"+0.7978816032409668","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":"Q2453067$3FC3815F-4699-4249-9A77-6E719C04506F","rank":"normal"},{"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":"88a9e429e5a00f0bd31375520c558befba1572b3","datavalue":{"value":{"amount":"+0.7848947644233704","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":"Q2453067$2AD1AB2F-EC98-4ECB-8643-6EA296C03D71","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2453067","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2453067"}}}}}