Download PDF - A recursion-theoretic characterization of instances of $ΒΣ_n$ provable in $П_{n+1}(N)$All rights reserved. Copyright exceptions and limitations apply

ArticleOriginal scientific text

Title

A recursion-theoretic characterization of instances of ΒΣn provable in Пn+1(N)

Authors 1

Affiliations

  1. Warszawa, Polska
Fundamenta Mathematicae
1988/129/3
Export to PBN, Opens in new tab
Pages:
231-236
Main language of publication
English
Published
1988
Exact and natural sciences