Intuitionistic choice and restricted classical logic

zbMATH Open0992.03072MaRDI QIDQ2765568

Ulrich Kohlenbach

Publication date: 16 September 2002

Published in: Mathematical Logic Quarterly (MLQ) (Search for Journal in Brave)

zbMATH Keywords

primitive recursive arithmeticaxiom of choiceintuitionistic arithmeticfunctional interpretationbinary König's lemmalesser numerical omniscience schemarestricted classical logicsemi-classical system

Mathematics Subject Classification ID

Functionals in proof theory (03F10) Second- and higher-order arithmetic and fragments (03F35) Metamathematics of constructive systems (03F50)

Related Items (1)

A Constructive Proof of Dependent Choice, Compatible with Classical Logic

This page was built for publication: Intuitionistic choice and restricted classical logic

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