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...
Saved in:
| Published in: | Effective Mathematics of the Uncountable Vol. Series Number 41; pp. 150 - 163 |
|---|---|
| Main Author: | |
| Format: | Book Chapter |
| Language: | English |
| Published: |
United States
Cambridge University Press
31.10.2013
|
| Subjects: | |
| ISBN: | 1107014514, 9781107014510 |
| Online Access: | Get full text |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Be the first to leave a comment!