scientific article; zbMATH DE number 2168558
From MaRDI portal
Publication:4674792
zbMath1111.00006MaRDI QIDQ4674792
Publication date: 18 May 2005
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Philosophy of mathematics (00A30) Philosophical and critical aspects of logic and foundations (03A05) General histories, source books (01A05)
Related Items
Proof Theory in Philosophy of Mathematics ⋮ On Arbitrary sets andZFC ⋮ Reflection principles and second-order choice principles with urelements ⋮ A CLASSICAL MODAL THEORY OF LAWLESS SEQUENCES ⋮ Proving Theorems from Reflection ⋮ Obtaining Woodin’s cardinals ⋮ Reflective mereology ⋮ A STRONG REFLECTION PRINCIPLE ⋮ Set-theoretic reflection is equivalent to induction over well-founded classes ⋮ Absolute Infinity in Class Theory and in Theology ⋮ Interpretation and Truth in Set Theory ⋮ The Operational Perspective: Three Routes ⋮ Objectivity and Truth in Mathematics: A Sober Non-platonist Perspective ⋮ On reflection principles ⋮ On the concept of finitism ⋮ A consistency proof for some restrictions of Tait's reflection principles ⋮ Mathematical intuition and natural numbers: a critical discussion ⋮ Some comments on ``The mathematical universe ⋮ Tait's conservative extension theorem revisited ⋮ UNFOLDING FINITIST ARITHMETIC ⋮ Feferman on Set Theory: Infinity up on Trial ⋮ Hintikka and the functions of logic ⋮ Primitive Recursive Arithmetic and Its Role in the Foundations of Arithmetic: Historical and Philosophical Reflections
This page was built for publication:
