$\textrm {CT}_{0}$ is stronger than $\textrm {CT}_{0}!$
HTML articles powered by AMS MathViewer
- by Vladimir Lifschitz PDF
- Proc. Amer. Math. Soc. 73 (1979), 101-106 Request permission
Abstract:
${\text {CT}_0}$! is the result of adding the uniqueness condition to the antecedent of ${\text {CT}_0}$. ${\mathbf {HA}} + {\text {CT}_0}$ is shown to be essentially stronger than ${\mathbf {HA}} + {\text {CT}_0}$!.References
- A. S. Troelstra, Intuitionistic formal systems, Metamathematical investigation of intuitionistic arithmetic and analysis, Lecture Notes in Mathematics, Vol. 344, Springer, Berlin, 1973, pp. 1–96. MR 0444439
Additional Information
- © Copyright 1979 American Mathematical Society
- Journal: Proc. Amer. Math. Soc. 73 (1979), 101-106
- MSC: Primary 03F50; Secondary 03F55
- DOI: https://doi.org/10.1090/S0002-9939-1979-0512067-X
- MathSciNet review: 512067