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

DOI10.1007/BF03024483zbMATH Open0607.03001MaRDI QIDQ1085151FDOQ1085151

F.R.Drake

Publication date: 1985

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

Recommendations

• scientific article; zbMATH DE number 4075014
• The consistency of arithmetic, based on a logic of meaning containment
• Feferman on foundations. Logic, mathematics, philosophy
• scientific article; zbMATH DE number 2101964
• Second-Order Logic and Foundations of Mathematics

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)

Cites Work

• Borel determinacy
• A model of set-theory in which every set of reals is Lebesgue measurable
• Elementary embeddings and infinitary combinatorics
• Title not available (Why is that?)
• Title not available (Why is that?)
• 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
• Morasses, diamond, and forcing
• Infinitary combinatorics and the axiom of determinateness
• On the singular cardinals problem. I
• Which set existence axioms are needed to prove the Cauchy/Peano theorem for ordinary differential equations?
• Title not available (Why is that?)
• The health of mathematics
• Title not available (Why is that?)

Cited In (2)

• Incompleteness Theorems, Large Cardinals, and Automata Over Finite Words
• Title not available (Why is that?)

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1085151)