Aspects of Incompleteness by Per Lindstrm
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 Lindstrom presents some of the main topics and results in general metamathematics. In addition to standard results of Godel 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.-
Effective Mathematics of the Uncountable
-
Set Theory, Arithmetic, and Foundations of Mathematics
-
Abstract Recursion and Intrinsic Complexity
-
Games, Scales and Suslin Cardinals
-
Large Cardinals, Determinacy and Other Topics
-
Logic Colloquium 2007
-
Complexity of Infinite-Domain Constraint Satisfaction
-
Lectures on Infinitary Model Theory
-
Logic and Algebraic Structures in Quantum Computing
-
Ordinal Definability and Recursion Theory
-
Logic Colloquium 2005
-
Homogeneous Ordered Graphs, Metrically Homogeneous Graphs, and Beyond: Volume 2, 3-Multi-graphs and 2-Multi-tournaments
-
Homogeneous Ordered Graphs, Metrically Homogeneous Graphs, and Beyond: Volume 1, Ordered Graphs and Distanced Graphs
-
Stable Domination and Independence in Algebraically Closed Valued Fields
-
A Comparison Process for Mouse Pairs
-
Recursion Theory
-
Descriptive Set Theory and Forcing
-
A General Algebraic Semantics for Sentential Logics
-
Bounded Variable Logics and Counting
-
Model Theory of Fields
-
Logic Colloquium '95
-
Logic Colloquium '90
-
Fine Structure and Iteration Trees
-
Logic Colloquium '96
-
The Core Model Iterability Problem
-
Quantifiers, Propositions and Identity
-
A Framework for Priority Arguments
-
Kurt Godel
-
A Guide to NIP Theories
-
The Cabal Seminar 4 Volume Hardback Set
-
The Largest Suslin Axiom
-
A Course in Model Theory
-
Simple Theories and Hyperimaginaries
-
Wadge Degrees and Projective Ordinals
Per Lindström works in the Department of Philosophy at Göteborgs Universitet, Sweden.
| SKU | Unavailable |
| ISBN 13 | 9781107167926 |
| ISBN 10 | 1107167922 |
| Title | Aspects of Incompleteness |
| Author | Per Lindstrm |
| Series | Lecture Notes In Logic |
| Condition | Unavailable |
| Binding Type | Hardback |
| Publisher | Cambridge University Press |
| Year published | 2017-03-02 |
| Number of pages | 142 |
| Cover note | Book picture is for illustrative purposes only, actual binding, cover or edition may vary. |
| Note | Unavailable |