Aspects of Incompleteness

Inbunden, Engelska, 2017

1 944 kr

Beställningsvara. Skickas inom 5-8 vardagar. Fri frakt över 249 kr.

Beskrivning

Since their inception, the Perspectives in Logic and Lecture Notes in Logic series have published seminal works by leading logicians. Many of the original books in the series have been unavailable for years, but they are now in print once again. In this volume, the tenth publication in the Lecture Notes in Logic series, Per Lindström presents some of the main topics and results in general metamathematics. In addition to standard results of Gödel et al. on incompleteness, (non-)finite axiomatizability, and interpretability, this book contains a thorough treatment of partial conservativity and degrees of interpretability. It comes complete with exercises, and will be useful as a textbook for graduate students with a background in logic, as well as a valuable resource for researchers.

Produktinformation

Utgivningsdatum:2017-03-02
Mått:156 x 235 x 15 mm
Vikt:300 g
Format:Inbunden
Språk:Engelska
Serie:Lecture Notes in Logic
Antal sidor:144
Förlag:Cambridge University Press
ISBN:9781107167926

Utforska kategorier

Matematikens grunder inom Naturvetenskap och teknik

Mer om författaren

Per Lindström works in the Department of Philosophy at Göteborgs Universitet, Sweden.

Recensioner i media

Select Guide Rating

Innehållsförteckning

Preface; Introduction; 1. Preliminaries; 2. Incompleteness; 3. Numerations of r.e. sets; 4. Axiomatizations; 5. Partial conservativity; 6. Interpretability; 7. Degrees of interpretabilty; 8. Generations; References; Index; Notation.

Mer från samma serie

Del 9

Bounded Variable Logics and Counting

Martin Otto

Inbunden, 2017

1 944 kr

Del 33

Kurt Gödel

Solomon Feferman, Charles Parsons, Stephen G. Simpson

Inbunden, 2010

2 008 kr

Del 39

Simple Theories and Hyperimaginaries

Enrique Casanovas

Inbunden, 2011

1 944 kr

Del 34

A Framework for Priority Arguments

Manuel Lerman

Inbunden, 2010

1 944 kr

Del 30

Stable Domination and Independence in Algebraically Closed Valued Fields

Deirdre Haskell, Ehud Hrushovski, Dugald Macpherson

Häftad, 2011

549 kr

Del 35

Logic Colloquium 2007

Françoise Delon, Ulrich Kohlenbach, Penelope Maddy, Frank Stephan

Inbunden, 2010

1 864 kr

Del 37

Wadge Degrees and Projective Ordinals

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

Inbunden, 2011

2 309 kr

Del 40

A Course in Model Theory

Katrin Tent, Martin Ziegler

Inbunden, 2012

971 kr

Del 29

Logic Colloquium 2004

Alessandro Andretta, Keith Kearnes, Domenico Zambella

Inbunden, 2007

1 593 kr

Costas Dimitracopoulos, Ludomir Newelski, Dag Normann, John R. Steel, Costas Dimitracopoulos, Ludomir Newelski, Dag Normann - Logic Colloquium 2005, Inbunden

Del 28

Logic Colloquium 2005

Costas Dimitracopoulos, Ludomir Newelski, Dag Normann, John R. Steel, Costas Dimitracopoulos, Ludomir Newelski, Dag Normann

Inbunden, 2007

1 880 kr

Du kanske också är intresserad av

10% rabatt på allt

Exit Adventskalender - Julens magi (SE)

Exit

499 kr

Del 45

Logic and Algebraic Structures in Quantum Computing

Jennifer Chubb, Ali Eskandarian, Valentina Harizanov

Inbunden, 2016

2 263 kr

Del 9

Bounded Variable Logics and Counting

Martin Otto

Inbunden, 2017

1 944 kr

Del 53

Homogeneous Ordered Graphs, Metrically Homogeneous Graphs, and Beyond: Volume 1, Ordered Graphs and Distanced Graphs

Gregory Cherlin

Inbunden, 2022

1 928 kr

Del 8

The Core Model Iterability Problem

John R. Steel

Inbunden, 2017

1 944 kr

Del 3

Fine Structure and Iteration Trees

William J. Mitchell, John R. Steel

Inbunden, 2017

1 944 kr

Del 12

Logic Colloquium '96

J. M. Larrazabal, D. Lascar, G. Mints

Inbunden, 2017

1 864 kr

Del 40

A Course in Model Theory

Katrin Tent, Martin Ziegler

Inbunden, 2012

971 kr

Core Model Iterability Problem

John Steel

Häftad, 1996

555 kr

Del 11

Logic Colloquium '95

Johann A. Makowsky, Elena V. Ravve

Inbunden, 2017

2 167 kr

Aspects of Incompleteness

AvPer Lindström

Inbunden, Engelska, 2017

Del 10 i serien Lecture Notes in Logic

1 944 kr

Beställningsvara. Skickas inom 5-8 vardagar. Fri frakt över 249 kr.

Beskrivning

Produktinformation

Utgivningsdatum:2017-03-02
Mått:156 x 235 x 15 mm
Vikt:300 g
Format:Inbunden
Språk:Engelska
Serie:Lecture Notes in Logic
Antal sidor:144
Förlag:Cambridge University Press
ISBN:9781107167926

Utforska kategorier

Matematikens grunder inom Naturvetenskap och teknik

Mer om författaren

Per Lindström works in the Department of Philosophy at Göteborgs Universitet, Sweden.

Recensioner i media

Select Guide Rating

Innehållsförteckning

Preface; Introduction; 1. Preliminaries; 2. Incompleteness; 3. Numerations of r.e. sets; 4. Axiomatizations; 5. Partial conservativity; 6. Interpretability; 7. Degrees of interpretabilty; 8. Generations; References; Index; Notation.