All Questions
Tagged with theories-of-arithmetic constructive-mathematics
1 questions from the last 7 days
5
votes
1
answer
143
views
Mathematical strength of the statement "Heyting Arithmetic admits Markov's rule"
Consider the following theorem about Heyting arithmetic (HA):
For every arithmetical formula $\phi$ whose only free variable is $n$, if $\text{HA} \vdash \forall n. \phi \lor \lnot \phi$ and $\text{...
- 6,403