The collection principle and the existential quantifier

DOI10.1090/TRANS2/142/01MaRDI QIDQ3824407zbMATH OpenOpenAlexFDO

Authors 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

analogue of E-theorem for RBCbounded formulaCollectiongeneralization of cut eliminationPrincipleproof theorysequent calculus RBCsigma formula

Mathematics Subject Classification ID

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

Cited in

(3)

• Hereditarily-finite sets, data bases and polynomial-time computability
• -languages for sets and LOGSPACE computable graph transformers
• The Functional Interpretation of the Existential Quantifier

This page was built for publication: The collection principle and the existential quantifier

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3824407)