Reverse mathematics, countable and uncountable: a computational approach
Abstract Reverse mathematics analyzes the complexity of mathematical statements in terms of the strength of axiomatic systems needed to prove them. Its setting is countable mathematics and subsystems of second order arithmetic. We present a similar analysis based on (recursion-theoretic) computation...
Uložené v:
| Vydané v: | Effective Mathematics of the Uncountable Ročník Series Number 41; s. 150 - 163 |
|---|---|
| Hlavný autor: | |
| Médium: | Kapitola |
| Jazyk: | English |
| Vydavateľské údaje: |
United States
Cambridge University Press
31.10.2013
|
| Predmet: | |
| ISBN: | 1107014514, 9781107014510 |
| On-line prístup: | Získať plný text |
| Tagy: |
Pridať tag
Žiadne tagy, Buďte prvý, kto otaguje tento záznam!
|
Buďte prvý, kto okomentuje tento záznam!