DIALOGUE THEORY OF PROOFS FOR ARITHMETIC, ANALYSIS, AND SET THEORY

DOI10.1070/IM1995V044N03ABEH001614zbMath0836.03029OpenAlexW2013867795MaRDI QIDQ4858291

Vadim Yankov

Publication date: 15 January 1996

Published in: Russian Academy of Sciences. Izvestiya Mathematics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1070/im1995v044n03abeh001614

zbMATH Keywords

consistencyintuitionistic analysisintuitionistic arithmeticclassical analysisclassical arithmeticintuitionistic ZFclassical set theoryimpredicative extensions

Mathematics Subject Classification ID

Consistency and independence results (03E35) First-order arithmetic and fragments (03F30) Axiomatics of classical set theory and its fragments (03E30) Functionals in proof theory (03F10) Proof theory in general (including proof-theoretic semantics) (03F03) Subsystems of classical logic (including intuitionistic logic) (03B20) Intuitionistic mathematics (03F55)

Related Items (1)

Dialogues and Proofs; Yankov’s Contribution to Proof Theory

This page was built for publication: DIALOGUE THEORY OF PROOFS FOR ARITHMETIC, ANALYSIS, AND SET THEORY