Constructibility by Keith J Devlin
This comprehensive account of the theory of constructible sets at an advanced level provides complete coverage of constructibility theory, rather than its many and diverse applications. However, applications are used to motivate and illustrate the theory.-
Computable Structure Theory
-
Subsystems of Second Order Arithmetic
-
General Recursion Theory
-
Computability in Analysis and Physics
-
Recursion-Theoretic Hierarchies
-
Degrees of Unsolvability
-
Fundamentals of Stability Theory
-
Higher Recursion Theory
-
Essential Stability Theory
-
Model-Theoretic Logics
-
Admissible Sets and Structures
-
Pure Inductive Logic
-
Lambda Calculus with Types
-
Proofs and Computations
Keith J. Devlin works in the Department of Mathematics at the University of Lancaster.
| SKU | Unavailable |
| ISBN 13 | 9781107168350 |
| ISBN 10 | 110716835X |
| Title | Constructibility |
| Author | Keith J Devlin |
| Series | Perspectives In Logic |
| Condition | Unavailable |
| Binding Type | Hardback |
| Publisher | Cambridge University Press |
| Year published | 2017-03-16 |
| Number of pages | 437 |
| Cover note | Book picture is for illustrative purposes only, actual binding, cover or edition may vary. |
| Note | Unavailable |