Markov's rule revisited (Q2277259)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Markov's rule revisited |
scientific article; zbMATH DE number 4195941
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Markov's rule revisited |
scientific article; zbMATH DE number 4195941 |
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
0.7719986438751221
0 references
0.7625946402549744
0 references
