How recent work in mathematical logic relates to the foundations of mathematics (Q1085151)

From MaRDI portal





scientific article; zbMATH DE number 3981148
Language Label Description Also known as
default for all languages
No label defined
    English
    How recent work in mathematical logic relates to the foundations of mathematics
    scientific article; zbMATH DE number 3981148

      Statements

      How recent work in mathematical logic relates to the foundations of mathematics (English)
      0 references
      0 references
      1985
      0 references
      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.
      0 references
      weak arithmetic
      0 references
      large cardinals
      0 references
      partial ordering of consistency strengths
      0 references

      Identifiers

      0 references
      0 references
      0 references
      0 references
      0 references