Markov's rule revisited (Q2277259)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Markov's rule revisited |
scientific article |
Statements
Markov's rule revisited (English)
0 references
1990
0 references
Heyting Arithmetic extended with transfinite induction over all recursive well-orderings \((HA^*)\) is considered. It is shown that Markov's Principle is unprovable in \(HA^*\). On the other hand \(HA^*\) is proved to be closed under Markov's Rule (MR). This yields a new proof of the closure of a number of intuitionistic theories under MR.
0 references
Heyting Arithmetic extended with transfinite induction over all recursive well-orderings
0 references
Markov's Principle
0 references
Markov's Rule
0 references
intuitionistic theories
0 references
