Pages that link to "Item:Q3799998"

The following pages link to Partial realizations of Hilbert's program (Q3799998):

Displaying 36 items.

• Different senses of finitude: an inquiry into Hilbert's finitism (Q375340) (← links)
• On the concept of finitism (Q510710) (← links)
• Consistency, models, and soundness (Q551223) (← links)
• A simple proof of Parsons' theorem (Q558443) (← links)
• Hilbert versus Hindman (Q661295) (← links)
• On an alleged refutation of Hilbert's Program using Gödel's first incompleteness theorem (Q809063) (← links)
• The constructive Hilbert program and the limits of Martin-Löf type theory (Q813417) (← links)
• The meaning of pure mathematics (Q1123181) (← links)
• The ignorance of Bourbaki (Q1200112) (← links)
• We shall know: Hilbert's apology (Q1286340) (← links)
• Reverse mathematics and its meaning (Q1312709) (← links)
• Taking formalism seriously (Q1317509) (← links)
• The proof-theoretic strength of Ramsey's theorem for pairs and two colors (Q1644984) (← links)
• Understanding uniformity in Feferman's explicit mathematics (Q1899146) (← links)
• Things that can and things that cannot be done in PRA (Q1971796) (← links)
• \( \mathsf{SRT}_2^2\) does not imply \(\mathsf{RT}_2^2\) in \(\omega \)-models (Q2048618) (← links)
• Predicativity and constructive mathematics (Q2080590) (← links)
• Periodic points and subsystems of second-order arithmetic (Q2367412) (← links)
• Truth, reflection and hierarchies (Q2386109) (← links)
• The mathematical universe (Q2481233) (← links)
• 2000 European Summer Meeting of the Association for Symbolic Logic. Logic Colloquium 2000. La Sorbonne, Paris, France, July 23-31, 2000 (Q2732529) (← links)
• Some remarks on Hilbert's program (Q2736243) (← links)
• Finitization procedures and finite model property (Q2770973) (← links)
• Proof Theory in Philosophy of Mathematics (Q3160752) (← links)
• Objectivity and Truth in Mathematics: A Sober Non-platonist Perspective (Q3305632) (← links)
• On Relating Theories: Proof-Theoretical Reduction (Q3305638) (← links)
• TWO (OR THREE) NOTIONS OF FINITISM (Q3550708) (← links)
• (Q3828003) (← links)
• 1997–98 Annual Meeting of the Association for Symbolic Logic (Q4254569) (← links)
• Ordered Groups: A Case Study in Reverse Mathematics (Q4254643) (← links)
• THE BOREL COMPLEXITY OF ISOMORPHISM FOR O-MINIMAL THEORIES (Q4977215) (← links)
• REVERSE MATHEMATICS, YOUNG DIAGRAMS, AND THE ASCENDING CHAIN CONDITION (Q4977220) (← links)
• Foundations of Mathematics: an Optimistic Message (Q5013912) (← links)
• A MARRIAGE OF BROUWER’S INTUITIONISM AND HILBERT’S FINITISM I: ARITHMETIC (Q5082051) (← links)
• Predicativity and Feferman (Q5214793) (← links)
• THE PREHISTORY OF THE SUBSYSTEMS OF SECOND-ORDER ARITHMETIC (Q5274882) (← links)