Aspects of Incompleteness

Inbunden, Engelska, 2017

Av Sweden) Lindstrom, Per (Goteborgs Universitet, Per Lindström

1 999 kr

Beställningsvara. Skickas inom 7-10 vardagar
Fri frakt för medlemmar vid köp för minst 249 kr.
This volume presents some of the main areas and results of general metamathematics. In addition to standard results of Gödel et al. on incompleteness, (non-)finite axiomatizability, and interpretability, the book contains a thorough treatment of partial conservativity and degrees of interpretability. The method of arithmetization also plays an important role.

Produktinformation

  • Utgivningsdatum2017-03-02
  • Mått156 x 235 x 15 mm
  • Vikt300 g
  • FormatInbunden
  • SpråkEngelska
  • SerieLecture Notes in Logic
  • Antal sidor142
  • FörlagCambridge University Press
  • ISBN9781107167926

Tillhör följande kategorier

Du kanske också är intresserad av

Logic and Algebraic Structures in Quantum Computing
Del 45

Logic and Algebraic Structures in Quantum Computing

Jennifer Chubb, Ali Eskandarian, Valentina Harizanov, Jennifer (University of San Francisco) Chubb, Washington DC) Eskandarian, Ali (George Washington University, Washington DC) Harizanov, Valentina (George Washington University

2 309 kr

Bounded Variable Logics and Counting

Bounded Variable Logics and Counting

Germany) Otto, Martin (Rheinisch-Westfalische Technische Hochschule, Aachen, Martin Otto

1 999 kr

The Core Model Iterability Problem

The Core Model Iterability Problem

Berkeley) Steel, John R. (University of California, John R. Steel

1 999 kr

General Algebraic Semantics for Sentential Logics
Del 7

General Algebraic Semantics for Sentential Logics

Josep M. Font, Ramon Jansana

719 kr

Fine Structure and Iteration Trees

Fine Structure and Iteration Trees

William J. (University of Florida) Mitchell, Los Angeles) Steel, John R. (University of California, William J. Mitchell, John R. Steel

1 999 kr

Kurt Godel

Kurt Godel

California) Feferman, Solomon (Stanford University, Massachusetts) Parsons, Charles (Edgar Pierce Professor of Philosophy, Emeritus, Harvard University, Stephen G. (Pennsylvania State University) Simpson, Solomon Feferman, Charles Parsons, Stephen G. Simpson

2 179 kr

Course in Model Theory

Course in Model Theory

Katrin Tent, Martin Ziegler, Germany) Ziegler, Martin (Albert-Ludwigs-Universitat Freiburg

999 kr

Lundakarnevalens historia

Lundakarnevalens historia

Per Lindström

299 kr

First-Order Logic

First-Order Logic

Per Lindström

239 kr

Core Model Iterability Problem
Del 8

Core Model Iterability Problem

John Steel

719 kr