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)

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

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)