{"entities":{"Q2309496":{"pageid":2320239,"ns":120,"title":"Item:Q2309496","lastrevid":43855218,"modified":"2025-11-15T13:57:54Z","type":"item","id":"Q2309496","labels":{"en":{"language":"en","value":"Weaker variants of infinite time Turing machines"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7184236"}},"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":"Q2309496$C2186076-65C0-49BB-8896-29F0B93492BA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4b3ee5237f4533ec8c81f65917005c06d250a28b","datavalue":{"value":{"text":"Weaker variants of infinite time Turing machines","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2309496$DFC8E03D-438A-437F-B379-82CECB660839","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ff43f12c75cdd68a5745b20feffdecfe23ba8823","datavalue":{"value":"1455.03049","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2309496$D35D7935-6B71-42C3-AFCF-9A91ADE8B01C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5dd8cbbc02935e46c25e74094297cd6cf474b98d","datavalue":{"value":{"entity-type":"item","numeric-id":1982003,"id":"Q1982003"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2309496$F0FCAFA3-99AE-4041-B1F5-D469550F8406","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a0a7cd28a9f85b9c6ad57bd5bb1ae477bfe37846","datavalue":{"value":{"entity-type":"item","numeric-id":114337,"id":"Q114337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2309496$B044C4F0-D6DC-48A2-A6D2-32CF7391B6CF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2ae93340bb7a022b561aa0e536e029632aaf17ce","datavalue":{"value":{"time":"+2020-04-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2309496$FCB83350-CE58-478D-987F-B1F405B535F1","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"0edfde90361489f6c6d907f18a78c5fe31efa5ca","datavalue":{"value":"The paper is devoted to infinite time Turing machines (for short: ITTM). ITTM are Turing machines that can halt and provide a result after infinitely many steps. They are far more powerful than ordinary Turing machines. They were introduced by \\textit{J. D. Hamkins} and \\textit{A. Lewis} [J. Symb. Log. 65, No. 2, 567--604 (2000; Zbl 0963.03064)], In the paper under review, models of infinitary computation whose computational power lies strictly between that of Turing machines and ITTMs are investigated.  Four types of weak infinite time Turing machines are defined and some results about their computational power are proved. Special attention is paid to so called weak infinite time Turing machines (wITTM). They are defined by replacing in tye definitione of ITTM the lim sup rule with an `eventually constant' rule: at each limit step, the value of each cell isdefined if and only if the content of that cell has stabilized before that limit step and is then equal to this constant value. The author studies different  variants of wITTMs adding multiple tapes, heads, or bidimensional tapes. It is shown that some of these models are equivalent to each other concerning their computational strength and  that wITTMs decide exactly the arithmetic relations on natural numbers.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2309496$49891B00-A9D9-4F3D-8D21-96EC7B363389","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"c45938d3b1c1a5c68183caabb02f42934d9ff682","datavalue":{"value":{"entity-type":"item","numeric-id":588140,"id":"Q588140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2309496$6703C217-97D1-41EF-9B4D-8CE89831F769","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"33d9ad5fa3901c3c85d59a42af89ee043a9f83fb","datavalue":{"value":"03D10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2309496$CB300208-B0BF-4EA2-AC3B-22DC8DCD7A98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4c09ea78484192dfb20180fed0b8ec0fbe50483f","datavalue":{"value":"03D60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2309496$E75E61E1-F4FC-43F3-A775-2A09C8F30B3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d21a69e3457646e46a9bbf0d57100c034be8348f","datavalue":{"value":"03D78","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2309496$FE80B00D-552D-4A2A-8EF7-CFF336206509","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"23e7cdaf2e82f5cc864274e843d1c5be36653b9f","datavalue":{"value":"68Q01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2309496$F0735276-5085-4601-97BB-9EE38F7613D9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3fa8f6b1e40c493975d2a492da3721f3bb25f7c1","datavalue":{"value":"7184236","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2309496$79F9A66A-4474-4E00-9E82-953B588A0736","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"443b9daecbfc8042b652a7d9b22575f62749d1bd","datavalue":{"value":"ordinal computability","type":"string"},"datatype":"string"},"type":"statement","id":"Q2309496$94039CF5-4921-444F-BE95-27948053A6A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bfeaad602e31fd2f65991ed23ea762adf4fdd4cf","datavalue":{"value":"infinite time Turing machine","type":"string"},"datatype":"string"},"type":"statement","id":"Q2309496$3D8E643D-30CF-405F-80FE-A41828B2D96E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1e1c7ba82583c518791a4d9965774b58375d1bb7","datavalue":{"value":"transfinite computation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2309496$EACA23B1-5D51-4B57-AA64-746DDDC50788","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0c888049818ea5bb5704499f17d2d0e9a4a72166","datavalue":{"value":"supertask","type":"string"},"datatype":"string"},"type":"statement","id":"Q2309496$C0E6D6A3-8E3F-49C1-A4A6-5EA20AF2B18C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d06fc6f1c79093684c9c62a5d1839ec686b9c8e4","datavalue":{"value":"arithmetic hierarchy","type":"string"},"datatype":"string"},"type":"statement","id":"Q2309496$16955714-D58A-4FF4-B8CD-D926A38B6D20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"070a713e4f646cf5dc8e386cbda1f9c27651dd55","datavalue":{"value":"real arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2309496$2F1C39E9-E432-4264-A267-F6E6C67A965A","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":"Q2309496$3591D65B-44FB-4E83-A81E-619E02013300","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"39a6d474739ce52b84a9b33b27c5125c3e7864b3","datavalue":{"value":"https://doi.org/10.1007/s00153-019-00692-9","type":"string"},"datatype":"url"},"type":"statement","id":"Q2309496$B2EB3B05-45A6-4531-B551-65D1C7C2CC63","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"fd21f1833296a896893ace455bfbb8a8f3f820c8","datavalue":{"value":"W2972938863","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2309496$CA129633-63E3-443A-8E6C-F09D7660D43F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4de0feb4b015bcec3cfbc56461e950b7c6cbf648","datavalue":{"value":{"entity-type":"item","numeric-id":5346689,"id":"Q5346689"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2309496$1B884AB4-0D21-4128-95BD-F3B7BC9649BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d5bbd92176fce26861b6583befa80dfc4df50b20","datavalue":{"value":{"entity-type":"item","numeric-id":2309496,"id":"Q2309496"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2309496$4F3921B7-6584-4077-BA12-93E6F740EE62","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":"Q2309496$422C5F84-7BBC-48FB-861A-E73189BE3D40","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":"Q2309496$7BAAF459-B4DC-49A3-8A95-972A6C804E3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9635365b0780328d7ae22bc69b462e7144999d03","datavalue":{"value":{"entity-type":"item","numeric-id":5573961,"id":"Q5573961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2309496$D9F204A9-0168-4795-91C9-A0238BE6B069","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"bd25609ec266a64ea953425993da49aebf8fd4e5","datavalue":{"value":"Q127240606","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2309496$4F6C1E93-D4B0-41A1-B41D-FB02BD927B06","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a4917d20bae313bd29abdcd59d7b0ff647697236","datavalue":{"value":"10.1007/S00153-019-00692-9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2309496$3E6E55B7-E378-4D2D-ACBA-4F8E59A99A6B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f97ac1193d59f1759f29d01ecbb7a247c47203a3","datavalue":{"value":{"entity-type":"item","numeric-id":1004086,"id":"Q1004086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ed014b77cb2fd589b76f530638102e052f8c5e7a","datavalue":{"value":{"amount":"+0.8816731","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":"Q2309496$52FC1F37-8B13-41A6-9B5E-246352B9D63A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"463eedefeb09043c5b8c5fa1edd9e83f341db03e","datavalue":{"value":{"entity-type":"item","numeric-id":3081648,"id":"Q3081648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cf7bd141bb5122b556f974889022e089d4260c3f","datavalue":{"value":{"amount":"+0.8803812","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":"Q2309496$5A1EDE3F-82BB-4FFA-B276-0ADEEC1C18CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4d08cbdb04c87eef093dc1c7e9c4007d834dfc30","datavalue":{"value":{"entity-type":"item","numeric-id":5898830,"id":"Q5898830"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f82767854f8e7c5ff33aa8a5d6dfe95d32fa118b","datavalue":{"value":{"amount":"+0.8718026","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":"Q2309496$4E06A5F0-CB3A-4B8C-BE16-2834D55D2121","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"59f97e3abacd9c8c0970366a658a83970efe3937","datavalue":{"value":{"entity-type":"item","numeric-id":3507445,"id":"Q3507445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"43883ed320a250e85fed6a5c5cba9ff001e211e5","datavalue":{"value":{"amount":"+0.8635901","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":"Q2309496$4715C22F-4EFF-4D4C-B092-12DFFACB78D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aec94e4b1710737e21b4fadbccf227c363fb9fe3","datavalue":{"value":{"entity-type":"item","numeric-id":5326373,"id":"Q5326373"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"98c069b569c2987002095ec7e9c2efe0b23ed164","datavalue":{"value":{"amount":"+0.8585958","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":"Q2309496$DB22213F-E422-4F79-A30F-B1787CAEFB8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f5cc79ff392a3e9213c3dff3bb309221192c6278","datavalue":{"value":{"entity-type":"item","numeric-id":3011123,"id":"Q3011123"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"19f74e8518b3978c843b0d2707eec1ea1bd6653e","datavalue":{"value":{"amount":"+0.85512584","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":"Q2309496$CD0BC582-CCDB-46C5-A259-2E5C8552D814","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"90ca1accf3dff8a0c6d66179a1ecbd16b7d35753","datavalue":{"value":{"entity-type":"item","numeric-id":5898853,"id":"Q5898853"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ab82a6e75f02c53d95117ba255cc1db47a6a4a54","datavalue":{"value":{"amount":"+0.84995663","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":"Q2309496$ACB89AF1-0BFA-4D51-8E85-3B0CDE00EEF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ba97f754b110d8c3e0d4b5f00359d4abb58f3f12","datavalue":{"value":{"entity-type":"item","numeric-id":4805392,"id":"Q4805392"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"97cc4afd51c44cec161ef13a130d670d00ae435a","datavalue":{"value":{"amount":"+0.84585917","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":"Q2309496$978FC2AE-2E6E-4AF8-A21E-19CFB8E4D9BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cae8c888e72fa880e14438ee583d3fb1167e1ab7","datavalue":{"value":{"entity-type":"item","numeric-id":2011657,"id":"Q2011657"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"19e2299b66b0548d37e61bab933372f0cd6a3bc8","datavalue":{"value":{"amount":"+0.8380739","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":"Q2309496$1C87C644-BD17-426C-BC7A-C4379FADC0C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7694dc07b6af80f9dd3d8dce3f115cd459b0738d","datavalue":{"value":{"entity-type":"item","numeric-id":5717037,"id":"Q5717037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"394c94eefe9d485f2a14595dd58367ba2535e454","datavalue":{"value":{"amount":"+0.83771706","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":"Q2309496$87E95626-AD5B-4DB1-B91D-4D589317713A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2309496","badges":[]}}}}}