scientific article
From MaRDI portal
Publication:3035275
zbMath0693.03035MaRDI QIDQ3035275
Publication date: 1990
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
linear logicfragments of PAimplementation of the NCI in Ketonen's proof checker EKLInfinite Ramsey TheoremNo Counterexample Interpretation
First-order arithmetic and fragments (03F30) Generalized Ramsey theory (05C55) Functionals in proof theory (03F10) Software, source code, etc. for problems pertaining to mathematical logic and foundations (03-04)
Related Items
Herbrand analyses ⋮ Some logical metatheorems with applications in functional analysis ⋮ An intuitionistic version of Ramsey's theorem and its use in program termination
