Partial collapses of the Sigma::1:: complexity hierarchy in models for fragments of bounded arithmetic

Zofia Adamowicz, Leszek Aleksander Kolodziejczyk. Partial collapses of the Sigma::1:: complexity hierarchy in models for fragments of bounded arithmetic. Annals of Pure and Applied Logic, 145(1):91-95, 2007. [doi]

Abstract

Abstract is missing.