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

Celý popis

Podrobná bibliografie

Vydáno v:	Effective Mathematics of the Uncountable Ročník Series Number 41; s. 150 - 163
Hlavní autor:	Shore, Richard A.
Médium:	Kapitola
Jazyk:	angličtina
Vydáno:	United States Cambridge University Press 31.10.2013
Témata:	Mathematical logic Mathematical theory of computation
ISBN:	1107014514, 9781107014510
On-line přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!