The collection principle and the existential quantifier
From MaRDI portal
Publication:3824407
DOI10.1090/trans2/142/01zbMath0671.03035MaRDI QIDQ3824407
Publication date: 1989
Published in: American Mathematical Society Translations: Series 2 (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1090/trans2/142/01
Collection; proof theory; bounded formula; analogue of E-theorem for RBC; generalization of cut elimination; sequent calculus RBC; sigma formula; Principle
03F05: Cut-elimination and normal-form theorems
Related Items
Hereditarily-finite sets, data bases and polynomial-time computability, \(\Delta\)-languages for sets and LOGSPACE computable graph transformers