Ordinal Definability and Recursion Theory - The Cabal...

Main
Mathematics
Ordinal Definability and Recursion...

Ordinal Definability and Recursion Theory - The Cabal Seminar, Volume III

Alexander S. Kechris, Benedikt Löwe, John R. Steel (editors)

0 / 0

この本はいかがでしたか？

ファイルの質はいかがですか？

質を評価するには、本をダウンロードしてください。

ダウンロードしたファイルの質はいかがでしたか？

カテゴリー:

年:

2016

出版社:

CUP

言語:

english

ページ:

535

ISBN 10:

1107033403

ISBN 13:

9781107033405

シリーズ:

Lecture Notes in Logic 43

ファイル:

PDF, 3.80 MB

IPFS:

,

english, 2016

オンラインで読む

への変換進行中。

への変換が失敗しました。

こちらはいかがでしょうか？

Kechris A., Lowe B., Steel J. (eds.) — Wadge Degrees and Projective Ordinals: The Cabal Seminar Volume II

Alexander S. Kechris, Benedikt Lowe, John R. Steel — Games, Scales and Suslin Cardinals: The Cabal Seminar Volume I

Anupam Sinha, Gautam Kothari — Pocket Handbook of Spinal Injections

Alexander S. Kechris, Yiannis N. Moschovakis (auth.), Alexander S. Kechris, Yiannis N. Moschovakis (eds.) — Cabal Seminar 76–77: Proceedings, Caltech-UCLA Logic Seminar 1976–77

A. S. Kechris, D. A. Martin, Y. N. Moschovakis — Cabal Seminar 77 79

Matthew Foreman (auth.), Alexander S. Kechris, Donald A. Martin, Yiannis N. Moschovakis (eds.) — Cabal Seminar 79–81: Proceedings, Caltech-UCLA Logic Seminar 1979–81

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

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

Mueller G. H. (Ed), Scott D. S. (Ed) — Higher Set Theory: Proceeding, Oberwolfach

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

Jens Erik Fenstad, et al — Generalized Recursion Theory II: Proceedings of the 1977 Oslo Symposium: Symposium Proceedings

S. Barry Cooper, Herman Geuvers, Anand Pillay, Jouko Väänänen (Editors) — Logic Colloquium 2006

Cooper S.B., Truss J.K. (eds.) — Sets and Proofs

Yiannis N. Moschovakis — Descriptive set theory

Greenberg N., Hirschfeldt D., Hamkins J.D., Miller R. (eds.) — Effective Mathematics of the Uncountable

Giacomo Mauro D’Ariano, Giulio Chiribella, Paolo Perinotti — Quantum Theory from First Principles: An Informational Approach

Christopher D. Sogge — Fourier Integrals in Classical Analysis

Daniel W. Cunningham — Set Theory: A First Course

Jon Barwise — Admissible Sets and Structures

Petr Hájek, Pavel Pudlák — Metamathematics of First-Order Arithmetic

Tullio Ceccherini-Silberstein, Fabio Scarabotti, Filippo Tolli — Discrete Harmonic Analysis: Representations, Number Theory, Expanders, and the Fourier Transform

G. O. Jones and A. J. Wilkie — O-Minimality and Diophantine Geometry

Sharon Berry — A Logical Foundation for Potentialist Set Theory

John P. Burgess — Set Theory

Henk Barendregt, Wil Dekkers, Richard Statman — Lambda Calculus with Types

Peter Cholak — The Notre Dame Lectures

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

Haim Judah (editor), Winfried Just (editor), Hugh Woodin (editor) — Set Theory of the Continuum (Mathematical Sciences Research Institute Publications (26))

Andres Eduardo Caicedo, James Cummings, Peter Koellner, Paul B. Larson — Foundations of Mathematics: Logic at Harvard Essays in Honor of W. Hugh Woodin’s 60th Birthday March 27-29, 2015 Harvard University, Cambridge, MA

Caicedo, Andrés Eduardo; Cummings, James; Koellner, Peter; Larson, Paul B. (eds.) — Foundations of mathematics : logic at Harvard : essays in honor of W. Hugh Woodin’s 60th birthday

Paul B. Larson — Extensions of the Axiom of Determinacy

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

主要なフレーズ