scientific article; zbMATH DE number 1870423
From MaRDI portal
Publication:4793035
zbMath1015.03058MaRDI QIDQ4793035
Publication date: 18 February 2003
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Second- and higher-order arithmetic and fragments (03F35) Metamathematics of constructive systems (03F50) Proof theory in general (including proof-theoretic semantics) (03F03)
Related Items (7)
The Suslin operator in applicative theories: its proof-theoretic analysis via ordinal theories ⋮ On Feferman's operational set theory \textsf{OST} ⋮ The Operational Perspective: Three Routes ⋮ Explicit mathematics: power types and overloading ⋮ The Operational Penumbra: Some Ontological Aspects ⋮ On the proof theory of type two functionals based on primitive recursive operations ⋮ A new model construction by making a detour via intuitionistic theories. II: Interpretability lower bound of Feferman's explicit mathematics \(T_0\)
This page was built for publication:
