Inductive inference and reverse mathematics

, &
Annals of Pure and Applied Logic 167 (12):1242-1266 (2016)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/j.apal.2016.06.002

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 100,733

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

GASARCH, W., see FORTNOW, L. HASKELL, D. and MACPHERSON, D., Cell decompositions of C-minimal structures HIRST, JL, Reverse mathematics and ordinal exponentiation JAIN, S., see FORTNOW, L. [REVIEW]F. Cardone & M. Dezani-Ciancaglini - 1994 - Annals of Pure and Applied Logic 66:303.
Primitive recursive reverse mathematics.Nikolay Bazhenov, Marta Fiori-Carones, Lu Liu & Alexander Melnikov - 2024 - Annals of Pure and Applied Logic 175 (1):103354.
Reverse mathematics and properties of finite character.Damir D. Dzhafarov & Carl Mummert - 2012 - Annals of Pure and Applied Logic 163 (9):1243-1251.
Reverse Mathematics and parameter-free Transfer.Benno van den Berg & Sam Sanders - 2019 - Annals of Pure and Applied Logic 170 (3):273-296.
Derivatives of normal functions in reverse mathematics.Anton Freund & Michael Rathjen - 2021 - Annals of Pure and Applied Logic 172 (2):102890.
Dominating the Erdős–Moser theorem in reverse mathematics.Ludovic Patey - 2017 - Annals of Pure and Applied Logic 168 (6):1172-1209.
Carlson-Simpson's lemma and applications in reverse mathematics.Paul-Elliot Angles D'Auriac, Lu Liu, Bastien Mignoty & Ludovic Patey - 2023 - Annals of Pure and Applied Logic 174 (9):103287.
Degrees bounding principles and universal instances in reverse mathematics.Ludovic Patey - 2015 - Annals of Pure and Applied Logic 166 (11):1165-1185.
Inductive rings and fields.Wang Shiqiang - 1989 - Annals of Pure and Applied Logic 44 (1-2):133-137.
Inductive rings and fields.S. Wang - 1989 - Annals of Pure and Applied Logic 44 (1/2):133.

Analytics

Added to PP
2016-06-30

Downloads
47 (#464,550)

6 months
9 (#461,774)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Add more citations

References found in this work

A cohesive set which is not high.Carl Jockusch & Frank Stephan - 1993 - Mathematical Logic Quarterly 39 (1):515-530.
Correction to “a cohesive set which is not high”.Carl Jockusch & Frank Stephan - 1997 - Mathematical Logic Quarterly 43 (4):569-569.
Inductive Inference and Unsolvability.Leonard M. Adleman & M. Blum - 1991 - Journal of Symbolic Logic 56 (3):891-900.

Add more references