dc.contributor.authorFranklin, Johanna N. Y.
dc.contributor.authorNg, Keng Meng
dc.date.accessioned2015-04-13T07:40:10Z
dc.date.available2015-04-13T07:40:10Z
dc.date.copyright2014en_US
dc.date.issued2014
dc.identifier.citationFranklin, J. N. Y.,& Ng, K. M. (2014). ω-change randomness and weak demuth randomness. The journal of symbolic logic, 79(3), 776-791.en_US
dc.identifier.issn1943-5886en_US
dc.identifier.urihttp://hdl.handle.net/10220/25391
dc.description.abstractWe extend our work on difference randomness. Each component of a difference test is a Boolean combination of two r.e. open sets; here we consider tests in which the k th component is a Boolean combination of g(k) r.e. open sets for a given recursive function g. We use this method to produce an alternate characterization of weak Demuth randomness in terms of these tests and further show that a real is weakly Demuth random if and only if it is Martin-Löf random and cannot compute a strongly prompt r.e. set. We conclude with a study of related lowness notions and obtain as a corollary that lowness for balanced randomness is equivalent to being recursive.en_US
dc.format.extent14 p.en_US
dc.language.isoenen_US
dc.relation.ispartofseriesThe journal of symbolic logicen_US
dc.rights© 2014 Association for Symbolic Logic. This is the author created version of a work that has been peer reviewed and accepted for publication by The Journal of Symbolic Logic, Association for Symbolic Logic. It incorporates referee’s comments but changes resulting from the publishing process, such as copyediting, structural formatting, may not be reflected in this document. The published version is available at: [http://dx.doi.org/10.1017/jsl.2013.34].en_US
dc.subjectDRNTU::Science::Mathematics::Mathematical logic
dc.titleω-change randomness and weak demuth randomnessen_US
dc.typeJournal Article
dc.contributor.schoolSchool of Physical and Mathematical Sciencesen_US
dc.identifier.doihttp://dx.doi.org/10.1017/jsl.2013.34
dc.description.versionAccepted versionen_US


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record