Reverse mathematics and its meaning
type: Item
instance of: scholarly article
title: Reverse mathematics and its meaning
zbMATH Open document ID: 0787.03050
DOI: 10.1007/BF03186483
published in: Mathematische Semesterberichte
publication date: 1994-05-23T00:00:00Z
review text: The paper is devoted to the presentation of the so-called reverse mathematics. The background and basic ideas of this research programme of H. Friedman and S. G. Simpson are discussed and main results are presented. The philosophical and methodological meanings of the results (especially with respect to Hilbert's programme) are considered.
Mathematics Subject Classification ID: 03F35
Mathematics Subject Classification ID: 03-02
zbMATH DE Number: 495255
zbMATH Keywords: reverse mathematics
author: Roman Murawski
reviewed by: Roman Murawski
MaRDI profile type: Publication
cites work: Second order arithmetic and related topics
cites work: Hilbert's program. An essay on mathematical instrumentalism
cites work: Q4206703
cites work: Q4756727
cites work: Accessible Independence Results for Peano Arithmetic
cites work: Q4229041
cites work: On expandability of models of Peano arithmetic. I
cites work: Q3679180
cites work: Ordinal numbers and the Hilbert basis theorem
cites work: Q3395521
full work available at URL: https://doi.org/10.1007/bf03186483
OpenAlex ID: W1985781654
description: scientific article; zbMATH DE number 495255