RANDOMNESS NOTIONS AND REVERSE MATHEMATICS

ResearchSpace/Manakin Repository

Show simple item record

dc.contributor.author Nies, Andre en
dc.contributor.author Shafer, Paul en
dc.date.accessioned 2020-06-15T23:21:29Z en
dc.date.issued 2020-03-01 en
dc.identifier.citation JOURNAL OF SYMBOLIC LOGIC 85(1):271-299 Article number PII S0022481219000501 01 Mar 2020 en
dc.identifier.issn 0022-4812 en
dc.identifier.uri http://hdl.handle.net/2292/51611 en
dc.language English en
dc.publisher CAMBRIDGE UNIV PRESS en
dc.relation.ispartofseries JOURNAL OF SYMBOLIC LOGIC en
dc.rights Items in ResearchSpace are protected by copyright, with all rights reserved, unless otherwise indicated. Previously published items are made available in accordance with the copyright policy of the publisher. en
dc.rights.uri https://researchspace.auckland.ac.nz/docs/uoa-docs/rights.htm en
dc.subject Science & Technology en
dc.subject Physical Sciences en
dc.subject Mathematics en
dc.subject Logic en
dc.subject Science & Technology - Other Topics en
dc.subject computability theory en
dc.subject reverse mathematics en
dc.subject algorithmic randomness en
dc.subject Kolmogorov complexity en
dc.subject COMPUTABILITY en
dc.subject THEOREMS en
dc.subject UNIFORM en
dc.subject SETS en
dc.title RANDOMNESS NOTIONS AND REVERSE MATHEMATICS en
dc.type Journal Article en
dc.identifier.doi 10.1017/jsl.2019.50 en
pubs.issue 1 en
pubs.begin-page 271 en
pubs.volume 85 en
dc.rights.holder Copyright: Association for Symbolic Logic 2019 en
pubs.author-url http://gateway.webofknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcApp=PARTNER_APP&SrcAuth=LinksAMR&KeyUT=WOS:000525578300013&DestLinkType=FullRecord&DestApp=ALL_WOS&UsrCustomerID=6e41486220adb198d0efde5a3b153e7d en
pubs.end-page 299 en
pubs.publication-status Published en
dc.rights.accessrights http://purl.org/eprint/accessRights/RestrictedAccess en
pubs.subtype Article en
pubs.subtype Journal en
pubs.elements-id 800497 en
pubs.org-id Science en
pubs.org-id School of Computer Science en
dc.identifier.eissn 1943-5886 en
pubs.number PII S0022481219000501 en


Full text options

Find Full text

This item appears in the following Collection(s)

Show simple item record

Share

Search ResearchSpace


Advanced Search

Browse