scientific article; zbMATH DE number 1045790

zbMath0874.03066MaRDI QIDQ4347425

V. Yu. Shavrukov

Publication date: 2 November 1997

Full work available at URL: https://eudml.org/doc/212206

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

zbMATH Keywords

relative interpretabilityreflexive theoriesfinitely axiomatized sequential theoriesprovability of restricted consistency statements on cuts

Mathematics Subject Classification ID

First-order arithmetic and fragments (03F30) Relative consistency and interpretations (03F25)

Related Items (2)

Provability and interpretability logics with restricted realizations ⋮ Interpretability in PRA

This page was built for publication: