Currently displaying 1 – 2 of 2

Showing per page

Order by Relevance | Title | Year of publication

On sentences provable in impredicative extensions of theories

Zygmunt Ratajczyk — 1979

CONTENTS0. Introduction.......................................................................... 51. Preliminaries............................................................................... 72. Basic facts to be used in the sequel....................................... 113. Predicates OD(.,.) and CL(.,.).................................................... 174. Predicate Sels............................................................................. 185. Strong ∑ n 1 -collection...........................................................

Page 1

Download Results (CSV)