Recursion theory. Computational aspects of definability

Main
Mathematics
Recursion theory. Computational aspects...

Recursion theory. Computational aspects of definability

Chong, Chi-Tat, Yu, Liang

0 / 0

كم أعجبك هذا الكتاب؟

ما هي جودة الملف الذي تم تنزيله؟

قم بتنزيل الكتاب لتقييم الجودة

ما هي جودة الملفات التي تم تنزيلها؟

الفئات:

عام:

2015

الناشر:

Walter de Gruyter GmbH & Co

اللغة:

english

الصفحات:

306

ISBN 10:

3110275651

ISBN 13:

9783110275650

سلسلة الكتب:

De Gruyter series in logic and its applications 8

ملف:

PDF, 1.56 MB

IPFS:

,

english, 2015

إقرأ علي الإنترنت

تحميل (pdf, 1.56 MB)

جاري التحويل إلى

التحويل إلى باء بالفشل

قد تكون في قائمة إهتماماتك

Chi Tat Chong, Liang Yu — Recursion Theory: Computational Aspects of Definability

Figueira, Santiago Daniel — Untitled

Pudlák, Pavel; Buss, Samuel R.; Hájek, Petr (eds.) — Logic colloquium '98: proceedings of the annual European summer meeting of the Association for symbolic logic, held in Prague, Czech Republic, August 9-15, 1998

Rod Downey, Denis R. Hirschfeldt — Algorithmic Randomness and Complexity

— Descriptive Set Theory 001

H.C. Doets — Zermelo Fraenkel Set Theory 001

Bagaria J. (ed.), Todorcevic S. (ed.) — Set Theory: Centre de Recerca Matematica Barcelona, 2003-2004

Bagaria J., Todorcevic S. (Editors) — Set Theory. Centre de Recerca Matematica Barcelona

R. Mansfield, G. Weitkamp — Recursive aspects of descriptive set theory

Kechris A.S., Moschovakls Y.N. — Cabal Seminar 76-77

A. S. Kechris — Cabal Seminar 79 81

Fenstad J.E., Hinman P.G. (eds.) — Generalized Recursion Theory: Proceedings of the 1972 Oslo Symposium

Stephen G. Simpson — Subsystems of Second Order Arithmetic

P. T. Johnstone — Notes on Logic and Set Theory

R.O. Gandy and C.M.E. Yates (Eds.) — Logic Colloquium '69

Yiannis N. Moschovakis — Descriptive set theory

Dominique Lecomte — Potential Wadge classes

Jens E. Fenstad — General Recursion Theory: An Axiomatic Approach

David Marker — Lectures on Infinitary Model Theory

Johanna N Y Franklin; Christopher P Porter — Algorithmic Randomness: Progress and Prospects

Gerald E. Sacks — Higher Recursion Theory

Matthew Foreman, Akihiro Kanamori (Authors & Editors) — Handbook of Set Theory

Vassilios Gregoriades — Classes of Polish Spaces Under Effective Borel Isomorphism

Buss, Samuel R.; Hájek, Petr; Pudlák, Pavel (eds.) — Logic Colloquium '98 : proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, held in Prague, Czech Republic, August 9-15, 1998

Florin Manea, Barnaby Martin, Daniël Paulusma, Giuseppe Primiero — Computing with Foresight and Industry: 15th Conference on Computability in Europe, CiE 2019, Durham, UK, July 15–19, 2019, Proceedings

Chi Tat Chong; Liang Yu — Recursion Theory: Computational Aspects of Definability

U. Felgner, T. B. Flannagan (auth.), Gert H. Müller, Dana S. Scott (eds.) — Higher Set Theory: Proceedings, Oberwolfach, Germany, April 13–23, 1977

A. S. Kechris, Y. N. Moschovakis — Cabal Seminar 76-77

J. E. Fenstad — General recursion theory: An axiomatic approach

Gerald E. Sacks — Higher Recursion Theory

Juichi Shinoda, Theodore A. Slaman, Tosiyuki Tugue — Mathematical logic and applications. Proc.meeting, Kyoto, 1987

Arnold W. Miller — Descriptive Set Theory and Forcing

Wolfram Pohlers — Proof Theory: The First Step into Impredicativity

Stephen F. Barker (auth.), Jack J. Bulloff, Thomas C. Holyoke, Samuel W. Hahn (eds.) — Foundations of Mathematics: Symposium Papers Commemorating the Sixtieth Birthday of Kurt Gödel

Todorcevic, Stevo; Bagaria, Joan (eds.) — Set theory. Centre de Recerca Matematica Barcelona, 2003-2004

أكثر المصطلحات والعبارات المستخدمة