Gerald E Sacks
SELECTED LOGIC PAPERS
Gebonden Engels 1999 9789810232672Levertijd ongeveer 11 werkdagen
Gratis verzonden
Samenvatting
The author selects 23 of his papers in mathematical logic that pursue definability via priority, forcing, compactness and fine structure applied to classical recursion, hyperarithmetic sets, recursion in objects of finite type, measure, models and E-recursion. His general introduction provides a chronology both personal and technical.
Specificaties
ISBN13:9789810232672
Taal:Engels
Bindwijze:Gebonden
Aantal pagina's:452
Uitgever:World Scientific Publishing Co Pte Ltd
Thema:
Lezersrecensies
Wees de eerste die een lezersrecensie schrijft!
Inhoudsopgave
Recursive enumerability and the jump operator; on the degrees less than 0'; a simple set which is not effectively simple; the recursively enumerable degrees are dense; metarecursive sets (with G. Kreisel); Post's problem, admissable ordinals and regularity; on a theorem of Lachlan and Martin; a minimal hyperdegree (with R.O. Gandy); measure-theoretic uniformity in recursion theory and set theory; forcing with perfect closed sets; recursion in objects of finite type; the a-finite injury methods (with S.G. Simpson); remarks against foundational activity; countable admissible ordinals and hyperdegrees; the 1-section of a type 'n' object; the k-section of a type 'n' object; Post's problem, absoluteness and recursion in finite types; effective bonds on Morley rank; on the number of countable models; Post's problem in E-recursion; the limits of E-recursive enumerability; effective versus proper forcing.
Rubrieken
- advisering
- algemeen management
- coaching en trainen
- communicatie en media
- economie
- financieel management
- inkoop en logistiek
- internet en social media
- it-management / ict
- juridisch
- leiderschap
- marketing
- mens en maatschappij
- non-profit
- ondernemen
- organisatiekunde
- personal finance
- personeelsmanagement
- persoonlijke effectiviteit
- projectmanagement
- psychologie
- reclame en verkoop
- strategisch management
- verandermanagement
- werk en loopbaan