All Questions
Tagged with constructive-mathematics theories-of-arithmetic
1 questions from the last 7 days
5
votes
1
answer
109
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{HA}...
- 6,403