scientific article
From MaRDI portal
Publication:3795673
zbMATH Open0651.03041MaRDI QIDQ3795673
Publication date: 1988
Title of this publication is not available (Why is that?)
First-order arithmetic and fragments (03F30) Other degrees and reducibilities in computability and recursion theory (03D30) Relative consistency and interpretations (03F25)
Related Items (2)
Honest elementary degrees and degrees of relative provability without the cupping property ⋮ Undecidable extensions of Büchi arithmetic and Cobham-Semënov Theorem
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 Q3795673)
