Intuitionistic Provability versus Uniform Provability in $$\mathsf{RCA}$$ (Q3195695)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Intuitionistic Provability versus Uniform Provability in $$\mathsf{RCA}$$ |
scientific article |
Statements
Intuitionistic Provability versus Uniform Provability in $$\mathsf{RCA}$$ (English)
0 references
20 October 2015
0 references
reverse mathematics
0 references
constructive mathematics
0 references
computable analysis
0 references
Medvedev reducibility
0 references
