Back to Results
First PageMeta Content
Logic / Theory of computation / Turing degree / Enumeration / Constructible universe / Forcing / Mathematical logic / Mathematics / Computability theory


INTERPRETING TRUE ARITHMETIC IN THE LOCAL STRUCTURE OF THE ENUMERATION DEGREES. HRISTO GANCHEV AND MARIYA SOSKOVA 1. Introduction Degree theory studies mathematical structures, which arise from a formal notion of reducib
Add to Reading List

Document Date: 2011-05-26 05:13:53

Open Document

File Size: 185,37 KB

Share Result on Facebook

City

Tokyo / Sofia / Amsterdam / Lausanne / Shannon / London / New York / Oxford / /

Company

BP / Wes / Vis / Ge / /

Country

Bulgaria / Singapore / /

Event

Business Partnership / /

Facility

Sofia University / /

IndustryTerm

minimal solution / e-reducible / e-presentable / /

Organization

Faculty of Mathematics and Informatics / Sofia University / /

Person

Marcel Dekker / Ai / HRISTO GANCHEV / MARIYA SOSKOVA / /

Position

second author / /

ProgrammingLanguage

R / /

ProvinceOrState

New York / /

PublishedMedium

Annals of Mathematics / /

TVStation

WDiv / /

SocialTag