scientific article

zbMath1225.03076MaRDI QIDQ3001106

William W. Tait

Publication date: 31 May 2011

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

substitution methodSkolem function\(\varepsilon\)-term

Mathematics Subject Classification ID

Cut-elimination and normal-form theorems (03F05) First-order arithmetic and fragments (03F30) Recursive ordinals and ordinal notations (03F15)

Related Items (3)

Triposes, exact completions, and Hilbert's \(\varepsilon\)-operator ⋮ A characterization of those categories whose internal logic is Hilbert's \(\varepsilon\)-calculus ⋮ A categorical interpretation of the intuitionistic, typed, first order logic with Hilbert's \(\varepsilon\)-terms

This page was built for publication: