The collection principle and the existential quantifier

DOI10.1090/trans2/142/01zbMath0671.03035OpenAlexW4234933305MaRDI QIDQ3824407

Vladimir Yu. Sazonov

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

zbMATH Keywords

Collectionproof theorybounded formulaanalogue of E-theorem for RBCgeneralization of cut eliminationsequent calculus RBCsigma formulaPrinciple

Mathematics Subject Classification ID

Cut-elimination and normal-form theorems (03F05)

Related Items

\(\Delta\)-languages for sets and LOGSPACE computable graph transformers ⋮ Hereditarily-finite sets, data bases and polynomial-time computability