scientific article; zbMATH DE number 3330710

MaRDI QIDQ5608740zbMATH OpenFDO

Authors Georg Kreisel

Publication date 1970

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Proof theory and constructive mathematics (03F99)

Cited in

(10)

• Reflecting and unfolding
• The Operational Perspective: Three Routes
• The implicit commitment of arithmetical theories and its semantic core
• POINCARÉ–WEYL’S PREDICATIVITY: GOING BEYOND
• Truth and the philosophy of mathematics
• Truth, reflection and hierarchies
• Unfolding schematic systems
• The prehistory of the subsystems of second-order arithmetic
• Proof theoretic analysis by iterated reflection
• Predicativity and Feferman

This page was built for publication:

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