scientific article

zbMATH Open0674.03022MaRDI QIDQ3828003

Edward Nelson

Publication date: 1989

Title of this publication is not available (Why is that?)

zbMATH Keywords

induction principlefinitary logicinfinitesimal objectdemonstrably consistent elementary mathematicsmodification 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

• Some remarks on Hilbert's program 👍 👎
• Hilbert's program sixty years later 👍 👎
• Partial realizations of Hilbert's program 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎

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)