Del 6 i serien WORLD SCIENTIFIC SERIES IN 20TH CENTURY MATHEMATICS

SELECTED LOGIC PAPERS

Inbunden, Engelska, 1999

3 359 kr

Tillfälligt slut

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.

Produktinformation

Utgivningsdatum1999-07-08
Mått152 x 229 x undefined mm
Vikt18 g
FormatInbunden
SpråkEngelska
SerieWORLD SCIENTIFIC SERIES IN 20TH CENTURY MATHEMATICS
FörlagWorld Scientific Publishing Co Pte Ltd
ISBN9789810232672

Tillhör följande kategorier

Matematikens grunder inom Naturvetenskap och teknik

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.

Mer från samma författare

Degrees of Unsolvability

Gerald E. Sacks

Häftad, 1963

1 079 kr

Del 2

Higher Recursion Theory

Gerald E. Sacks

Inbunden, 2017

2 979 kr

Del 1141

Recursion Theory Week

Heinz-Dieter Ebbinghaus, Gert H. Müller, Gerald E. Sacks

Häftad, 1985

719 kr

Del 1429

Logic and Computer Science

Steven Homer, Anil Nerode, Richard A. Platek, Gerald E. Sacks, Andre Scedrov, Piergiorgio Odifreddi

Häftad, 1990

369 kr

Del 1432

Recursion Theory Week

Klaus Ambos-Spies, Gert H. Müller, Gerald E. Sacks

Häftad, 1990

509 kr

SATURATED MODEL THEORY (2ND EDITION)

Gerald E Sacks

Inbunden, 2009

1 139 kr

MATHEMATICAL LOGIC IN THE 20TH CENTURY

SACKS GERALD E, Gerald E Sacks

Inbunden, 2003

5 209 kr

Mer från samma serie

Del 3

SELECTED PAPERS OF YU I MANIN

Yu I Manin, Yu I Manin

Inbunden, 1996

3 959 kr

Del 5

FIELDS MEDALLISTS' LECTURES

Michael Atiyah, Daniel Iagolnitzer, Sir Michael Atiyah, Daniel Iagolnitzer

Inbunden, 1997

2 379 kr

Del 5

FIELDS MEDALLISTS' LECTURES

Michael Atiyah, Daniel Iagolnitzer, Sir Michael Atiyah, Daniel Iagolnitzer

Häftad, 1997

1 359 kr

Del 2

40 YEARS IN MATHEMATICAL PHYSICS

L D Faddeev, Ludvig Dmitrievich Faddeev

Inbunden, 1995

3 589 kr

Del 2

40 YEARS IN MATHEMATICAL PHYSICS

L D Faddeev, Ludvig Dmitrievich Faddeev

Häftad, 1995

1 309 kr

Del 1

NEUMANN COMPENDIUM, THE

BRODY F, F Bródy, T Vámos

Inbunden, 1995

4 559 kr

Del 4

MATHEMATICIAN AND HIS MATHEMATICAL WORK, A: SELECTED PAPERS OF S S CHERN

CHENG S Y, S Y Cheng, P Li, G Tian

Inbunden, 1996

5 269 kr

Del 7

SELECTED PAPERS OF F.W.J. OLVER (IN 2 VOLUMES)

WONG RODERICK, Roderick Wong

Inbunden, 2000

8 209 kr

Del 8

COLLECTED PAPERS OF WEI-LIANG CHOW, THE

CHERN SS, S S Chern, V V Shokurov

Inbunden, 2002

3 789 kr

Del 9

FIELDS MEDALLISTS' LECTURES (2ND EDITION)

Michael Atiyah, Daniel Iagolnitzer, Sir Michael Atiyah, Daniel Iagolnitzer

Inbunden, 2003

3 039 kr

Du kanske också är intresserad av

SATURATED MODEL THEORY (2ND EDITION)

Gerald E Sacks

Inbunden, 2009

1 139 kr

MATHEMATICAL LOGIC IN THE 20TH CENTURY

SACKS GERALD E, Gerald E Sacks

Inbunden, 2003

5 209 kr

Degrees of Unsolvability

Gerald E. Sacks

Häftad, 1963

1 079 kr

Del 2

Higher Recursion Theory

Gerald E. Sacks

Inbunden, 2017

2 979 kr

Del 1432

Recursion Theory Week

Klaus Ambos-Spies, Gert H. Müller, Gerald E. Sacks

Häftad, 1990

509 kr

Del 1141

Recursion Theory Week

Heinz-Dieter Ebbinghaus, Gert H. Müller, Gerald E. Sacks

Häftad, 1985

719 kr

Del 1429

Logic and Computer Science

Steven Homer, Anil Nerode, Richard A. Platek, Gerald E. Sacks, Andre Scedrov, Piergiorgio Odifreddi

Häftad, 1990

369 kr

Del 2

40 YEARS IN MATHEMATICAL PHYSICS

L D Faddeev, Ludvig Dmitrievich Faddeev

Häftad, 1995

1 309 kr

Del 1

NEUMANN COMPENDIUM, THE

BRODY F, F Bródy, T Vámos

Inbunden, 1995

4 559 kr

Del 9

FIELDS MEDALLISTS' LECTURES (2ND EDITION)

Michael Atiyah, Daniel Iagolnitzer, Sir Michael Atiyah, Daniel Iagolnitzer

Häftad, 2003

1 129 kr

Del 6 i serien WORLD SCIENTIFIC SERIES IN 20TH CENTURY MATHEMATICS

SELECTED LOGIC PAPERS

Inbunden, Engelska, 1999

AvGerald E Sacks,Gerald E Sacks

3 359 kr

Tillfälligt slut

Produktinformation

Utgivningsdatum1999-07-08
Mått152 x 229 x undefined mm
Vikt18 g
FormatInbunden
SpråkEngelska
SerieWORLD SCIENTIFIC SERIES IN 20TH CENTURY MATHEMATICS
FörlagWorld Scientific Publishing Co Pte Ltd
ISBN9789810232672

Tillhör följande kategorier

Matematikens grunder inom Naturvetenskap och teknik

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.