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

DOI10.1007/BF03024483zbMath0607.03001MaRDI QIDQ1085151

F.R.Drake

Publication date: 1985

Published in: The Mathematical Intelligencer (Search for Journal in Brave)

zbMATH Keywords

large cardinalsweak arithmeticpartial ordering of consistency strengths

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Large cardinals (03E55) Second- and higher-order arithmetic and fragments (03F35)

Related Items (1)

Incompleteness Theorems, Large Cardinals, and Automata Over Finite Words

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Borel determinacy
• Infinitary combinatorics and the axiom of determinateness
• On the singular cardinals problem. I
• The health of mathematics
• A model of set-theory in which every set of reals is Lebesgue measurable
• Elementary embeddings and infinitary combinatorics
• Morasses, diamond, and forcing
• Which set existence axioms are needed to prove the Cauchy/Peano theorem for ordinary differential equations?
• The core model
• Accessible Independence Results for Peano Arithmetic
• A Short Proof of Two Recently Discovered Independence Results Using Recursion Theoretic Methods
• Higher set theory and mathematical practice

This page was built for publication: How recent work in mathematical logic relates to the foundations of mathematics