Premium
TOPOLOGICAL FRAMEWORK FOR FINITE INJURY
Author(s) -
Kontostathis Kyriakos
Publication year - 1992
Publication title -
mathematical logic quarterly
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 0.473
H-Index - 28
eISSN - 1521-3870
pISSN - 0942-5616
DOI - 10.1002/malq.19920380114
Subject(s) - mathematics , baire category theorem , recursively enumerable language , brouwer fixed point theorem , degree (music) , compactness theorem , pure mathematics , danskin's theorem , green's theorem , discrete mathematics , fixed point theorem , physics , acoustics
We formulate an abstract version of the finite injury method in the form of the Baire category theorem. The theorem has the following corollaries: The Friedberg‐Muchnik pair of recursively enumerable degrees, the Sacks splitting theorem, the existence of a minimal degree below 0′ and the Shoenfield jump theorem.
Accelerating Research
Robert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom
Address
John Eccles HouseRobert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom