Admissible sets and structures: An approach to definability...

Main
Mathematics
Admissible sets and structures: An...

Admissible sets and structures: An approach to definability theory

J. Barwise

0 / 0

이 책이 얼마나 마음에 드셨습니까?

파일의 품질이 어떻습니까?

책의 품질을 평가하시려면 책을 다운로드하시기 바랍니다

다운로드된 파일들의 품질이 어떻습니까?

카테고리:

년:

1976

판:

1

출판사:

Springer

언어:

english

페이지:

414

ISBN 10:

3540074511

ISBN 13:

9783540074519

시리즈:

Perspectives in Mathematical Logic

파일:

DJVU, 2.70 MB

IPFS:

,

english, 1976

온라인으로 읽기

다운로드 (djvu, 2.70 MB)

로의 변환이 실행 중입니다

로의 변환이 실패되었습니다

귀하의 관심을 살 수 있습니다

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

Bawise J. (ed.) — The Syntax and Semantics of Infinitary Languages

John N. Crossley (ed.) — Sets, Models and Recursion Theory (Logic Colloquium'65)

John N. Crossley — Sets, Models and Recursion Theory: Proceedings of the Summer School in Mathematical Logic and Tenth Logic Colloquium Leicester, August-September 1965

Zofia Adamowicz (auth.), Alistair Lachlan, Marian Srebrny, Andrzej Zarach (eds.) — Set Theory and Hierarchy Theory V

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

F. R. Drake — Set Theory: An Introduction to Large Cardinals

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

Fenstad J.E., Gandy R.O., Sacks G.E. (eds.) — Generalized Recursion Theory II: Proceedings of the 1977 Oslo Symposium

Yiannis N Moschovakis — Elementary induction on abstract structures

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

Yehosha Bar-Hillel — Mathematical logic and foundations of set theory: Proceedings Jerusalem, 1968

Gandy R.O., Yates C.M.E. (eds.) — Logic Colloquium '69: Proceedings Manchester, 1969

Jech, T.J; Scott, D. — Axiomatic Set Theory, Volume 1 (Symposium in Pure Mathematics Los Angeles July, 1967)

Jon Barwise — Admissible Sets and Structures

Peter G. Hinman — Recursion-Theoretic Hierarchies

Jon Barwise — Admissible Sets and Structures

Gerald E. Sacks — Higher Recursion Theory

Peter G. Hinman — Fundamentals of Mathematical Logic

Kenneth Kunen — The Foundations of Mathematics

Peter Hinman — Recursion-theoretic hierarchies

A. Lachlan, M. Srebrny, A. Zarach — Set Theory and Hierarchy Theory V

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

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

M. Lerman, J.H. Schmerl, R.I. Soare — Logic. Year 1979-80

K. J. Devlin — Constructibility

Heinz-Dieter Ebbinghaus, Gert H. Müller, Gerald E. Sacks — Recursion Theory Week. Proceedings conference Oberwolfach, 1984

Gerald E. Sacks — Higher Recursion Theory

Wolfram Pohlers — Proof Theory: The First Step into Impredicativity

Jon Barwise — Admissible Sets and Structures: An Approach to Definability Theory

Peter G. Hinman — Recursion-Theoretic Hierarchies

Keith J. Devlin — Constructibility

Gerald E. Sacks — Selected Logic Papers

주로 사용되는 용어