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

(11)

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

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)