@prefix vivo: . @prefix edm: . @prefix dcterms: . @prefix dc: . @prefix skos: . @prefix ns0: . vivo:departmentOrSchool "Non UBC"@en ; edm:dataProvider "DSpace"@en ; dcterms:creator "Yokoyama, Keita"@en ; dcterms:issued "2017-06-09T05:01:34Z"@*, "2016-12-07T10:45"@en ; dcterms:description """Many results of computable analysis can be reunderstood in the setting of reverse mathematics. For example, if there exists a computable instance of a problem whose solution always computes a PA degree, then one can almost say that the statement implies WKL over RCA_0. However, there sometimes exists a non-trivial gap to interpret computable analysis results into reverse mathematics because of the lack of induction. In this talk, I will show such examples and introduce several ways to overcome those obstructions. This is a joint work with Andre Nies and Marcus Triplett."""@en ; edm:aggregatedCHO "https://circle.library.ubc.ca/rest/handle/2429/61887?expand=metadata"@en ; dcterms:extent "49 minutes"@en ; dc:format "video/mp4"@en ; skos:note ""@en, "Author affiliation: JAIST"@en ; edm:isShownAt "10.14288/1.0348166"@en ; dcterms:language "eng"@en ; ns0:peerReviewStatus "Unreviewed"@en ; edm:provider "Vancouver : University of British Columbia Library"@en ; dcterms:publisher "Banff International Research Station for Mathematical Innovation and Discovery"@en ; dcterms:rights "Attribution-NonCommercial-NoDerivatives 4.0 International"@en ; ns0:rightsURI "http://creativecommons.org/licenses/by-nc-nd/4.0/"@en ; ns0:scholarLevel "Faculty"@en ; dcterms:isPartOf "BIRS Workshop Lecture Videos (Oaxaca de Juárez (Mexico))"@en ; dcterms:subject "Mathematics"@en, "Mathematical logic and foundations"@en, "Dynamical systems and ergodic theory"@en, "Logic and foundations"@en ; dcterms:title "Computable analysis and reverse mathematics"@en ; dcterms:type "Moving Image"@en ; ns0:identifierURI "http://hdl.handle.net/2429/61887"@en .