The thickness lemma from P− + IΣ1 + ¬BΣ2

DOI10.2307/2275845zbMATH Open0829.03038OpenAlexW2027905429WikidataQ125038167 ScholiaQ125038167MaRDI QIDQ4842627

Yue Yang

Publication date: 15 August 1995

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2275845

zbMATH Keywords

collectioninductionhigh incomplete r.e. set

Mathematics Subject Classification ID

First-order arithmetic and fragments (03F30)

This page was built for publication: The thickness lemma from P⁻ + IΣ₁ + ¬BΣ₂

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4842627)