On a system of intuitionistic analysis equivalent to classical analysis

MaRDI QIDQ787974zbMATH OpenFDO

Authors M. R. Kovtun

Publication date 1983

Published in Moscow University Mathematics Bulletin (Search for Journal in Brave)

zbMATH Keywords

Kleene systemrelativized bar-induction

Mathematics Subject Classification ID

Intuitionistic mathematics (03F55) Constructive and recursive analysis (03F60)

Review text

Translation from Vestn. Mosk. Univ., Ser. I 1983, No.1, 41-44 (Russian) (1983; Zbl 0505.03028).

Cited in

(1)

• A generalization of a conservativity theorem for classical versus intuitionistic arithmetic

This page was built for publication: On a system of intuitionistic analysis equivalent to classical analysis

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