How recent work in mathematical logic relates to the foundations of mathematics (Q1085151)
From MaRDI portal
| This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: How recent work in mathematical logic relates to the foundations of mathematics |
scientific article; zbMATH DE number 3981148
| Language | Label | Description | Also known as |
|---|---|---|---|
| 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
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
0 references