scientific article; zbMATH DE number 4103066

MaRDI QIDQ3828003zbMATH OpenFDO

Authors Edward Nelson

Publication date 1989

zbMATH Keywords

demonstrably consistent elementary mathematicsfinitary logicinduction principleinfinitesimal objectmodification of Raphael-Robinson theory Qmodified Hilbert program

Mathematics Subject Classification ID

Foundations of classical theories (including reverse mathematics) (03B30) Nonstandard models of arithmetic (03H15)

Recommendations

• scientific article; zbMATH DE number 4087620
• scientific article; zbMATH DE number 2204755
• scientific article; zbMATH DE number 7095141
• Hilbert's programs and beyond
• Partial realizations of Hilbert's program
• Some remarks on Hilbert's program
• scientific article; zbMATH DE number 5575850
• scientific article; zbMATH DE number 713586
• Hilbert's program sixty years later

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 Q3828003)