How recent work in mathematical logic relates to the foundations of mathematics
type: Item
instance of: scholarly article
title: How recent work in mathematical logic relates to the foundations of mathematics
zbMATH Open document ID: 0607.03001
DOI: 10.1007/BF03024483
author: F.R.Drake
published in: The Mathematical Intelligencer
publication date: 1985-01-01T00:00:00Z
review text: This paper is related to an article of \textit{S. MacLane} [ibid. 5, No. 4, 53--55 (1983; Zbl 1366.00035)]. The aim of the author is to explain the connections between recent work in mathematical logic and foundations, contrary to what was argued by MacLane. In order to clarify this connection, the paper contains a survey of some results of mathematical logic (from weak arithmetic to large cardinals) from the point of view of the partial ordering of consistency strengths.
Mathematics Subject Classification ID: 03-02
Mathematics Subject Classification ID: 03E55
Mathematics Subject Classification ID: 03F35
zbMATH DE Number: 3981148
zbMATH Keywords: weak arithmetic
zbMATH Keywords: large cardinals
zbMATH Keywords: partial ordering of consistency strengths
reviewed by: Pier Luigi Ferrari
MaRDI profile type: Publication
cites work: The health of mathematics
cites work: Accessible Independence Results for Peano Arithmetic
cites work: A Short Proof of Two Recently Discovered Independence Results Using Recursion Theoretic Methods
cites work: Borel determinacy
cites work: Higher set theory and mathematical practice
cites work: A model of set-theory in which every set of reals is Lebesgue measurable
cites work: Infinitary combinatorics and the axiom of determinateness
cites work: Elementary embeddings and infinitary combinatorics
cites work: Q4108331
cites work: The core model
cites work: Morasses, diamond, and forcing
cites work: Q5613932
cites work: On the singular cardinals problem. I
cites work: Q3968902
cites work: Q4071198
cites work: Which set existence axioms are needed to prove the Cauchy/Peano theorem for ordinary differential equations?
description: scientific article; zbMATH DE number 3981148