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...

Ausführliche Beschreibung

Bibliographische Detailangaben

Veröffentlicht in:	Effective Mathematics of the Uncountable Jg. Series Number 41; S. 150 - 163
1. Verfasser:	Shore, Richard A.
Format:	Buchkapitel
Sprache:	Englisch
Veröffentlicht:	United States Cambridge University Press 31.10.2013
Schlagworte:	Mathematical logic Mathematical theory of computation
ISBN:	1107014514, 9781107014510
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!