Inductive inference and reverse mathematics

10.1016/j.apal.2016.06.002

Saved in:
Bibliographic Details
Main Authors: Hölzl R., Jain S., Stephan F.
Other Authors: DEPARTMENT OF COMPUTER SCIENCE
Format: Article
Published: Elsevier B.V. 2020
Subjects:
Online Access:https://scholarbank.nus.edu.sg/handle/10635/177532
Tags: Add Tag
No Tags, Be the first to tag this record!
Institution: National University of Singapore
id sg-nus-scholar.10635-177532
record_format dspace
spelling sg-nus-scholar.10635-1775322024-04-25T01:32:04Z Inductive inference and reverse mathematics Hölzl R. Jain S. Stephan F. DEPARTMENT OF COMPUTER SCIENCE MATHEMATICS Inductive inference Learning from positive data Recursion theory Reverse mathematics 10.1016/j.apal.2016.06.002 Annals of Pure and Applied Logic 167 12 1242-1266 2020-10-15T07:42:57Z 2020-10-15T07:42:57Z 2016 Article Hölzl R., Jain S., Stephan F. (2016). Inductive inference and reverse mathematics. Annals of Pure and Applied Logic 167 (12) : 1242-1266. ScholarBank@NUS Repository. https://doi.org/10.1016/j.apal.2016.06.002 0168-0072 https://scholarbank.nus.edu.sg/handle/10635/177532 Elsevier B.V.
institution National University of Singapore
building NUS Library
continent Asia
country Singapore
Singapore
content_provider NUS Library
collection ScholarBank@NUS
topic Inductive inference
Learning from positive data
Recursion theory
Reverse mathematics
spellingShingle Inductive inference
Learning from positive data
Recursion theory
Reverse mathematics
Hölzl R.
Jain S.
Stephan F.
Inductive inference and reverse mathematics
description 10.1016/j.apal.2016.06.002
author2 DEPARTMENT OF COMPUTER SCIENCE
author_facet DEPARTMENT OF COMPUTER SCIENCE
Hölzl R.
Jain S.
Stephan F.
format Article
author Hölzl R.
Jain S.
Stephan F.
author_sort Hölzl R.
title Inductive inference and reverse mathematics
title_short Inductive inference and reverse mathematics
title_full Inductive inference and reverse mathematics
title_fullStr Inductive inference and reverse mathematics
title_full_unstemmed Inductive inference and reverse mathematics
title_sort inductive inference and reverse mathematics
publisher Elsevier B.V.
publishDate 2020
url https://scholarbank.nus.edu.sg/handle/10635/177532
_version_ 1800914449025990656