scientific article; zbMATH DE number 1870415

zbMATH Open1018.03047MaRDI QIDQ4793026

G. E. Mints

Publication date: 18 February 2003

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

zbMATH Keywords

first-order arithmeticepsilon substitutioncontinuity of functionalsnonconstructive method

Mathematics Subject Classification ID

First-order arithmetic and fragments (03F30) Functionals in proof theory (03F10) Proof theory in general (including proof-theoretic semantics) (03F03)

Related Items (4)

Epsilon substitution method for \(\text{ID}_{1}(\Pi_{1}^{0}\vee{\Sigma} _{1}^{0})\) ⋮ A termination proof for epsilon substitution using partial derivations ⋮ Title not available (Why is that?) ⋮ Strong termination for the epsilon substitution method

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