A Model-Theoretic Approach to Proof Theory
Idioma: inglés
Editorial: Springer International Publishing, 2020
- Tapa blanda
- Nuevo
Librería: moluna, Greven, Alemaniamoluna
Vendedor de IberLibro desde 9 de julio de 2020
Condición: Nuevo
EUR 48,37
Cantidad disponible: Más de 20 disponibles
Añadir al carritoDescripción del artículo del vendedor
Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Details ordinal combinatorics of large sets tailored for independence resultsPresents various proofs of Goedel incompleteness theoremsOffers an approach towards independence results by model-theoretic methodsHenryk Kotlarski (1949.
N° de ref. del artículo 406445595
- Título
- A Model-Theoretic Approach to Proof Theory
- Autor
- Henryk Kotlarski
- Editorial
- Springer International Publishing
- Año de publicación
- 2020
- Estado
- New
- Encuadernación
- Encuadernación de tapa blanda
- Idioma
- inglés
- ISBN 10
- 3030289230
- ISBN 13
- 9783030289232
- Serie
- Libro 44 de 53: Trends in Logic
- Catálogos de vendedores
- Geisteswissenschaften/Kunst/Musik
This book presents a detailed treatment of ordinal combinatorics of large sets tailored for independence results. It uses model theoretic and combinatorial methods to obtain results in proof theory, such as incompleteness theorems or a description of the provably total functions of a theory.
In the first chapter, the authors first discusses ordinal combinatorics of finite sets in the style of Ketonen and Solovay. This provides a background for an analysis of subsystems of Peano Arithmetic as well as for combinatorial independence results. Next, the volume examines a variety of proofs of Gödel's incompleteness theorems. The presented proofs differ strongly in nature. They show various aspects of incompleteness phenomena. In additon, coverage introduces some classical methods like the arithmetized completeness theorem, satisfaction predicates or partial satisfaction classes. It also applies them in many contexts.
The fourth chapter defines the method of indicators for obtaining independence results. It shows what amount of transfinite induction we have in fragments of Peano arithmetic. Then, it uses combinatorics of large sets of the first chapter to show independence results. The last chapter considers nonstandard satisfaction classes. It presents some of the classical theorems related to them. In particular, it covers the results by S. Smith on definability in the language with a satisfaction class and on models without a satisfaction class.
Overall, the book's content lies on the border between combinatorics, proof theory, and model theory of arithmetic. It offers readers a distinctive approach towards independence results by model-theoretic methods.“Sinopsis” puede pertenecer a otra edición de este título.
Acerca del autor
Henryk Kotlarski (1949 – 2008) published over forty research articles, most of them devoted to model theory of Peano arithmetic. He studied nonstandard satisfaction classes, automorphisms of models of Peano arithmetic, clasification of elementary cuts, ordinal combinatorics of finite sets in the style of Ketonen and Solovay, and independence results.
Zofa Adamowicz was a colleague of Henryk Kotlarski for about forty years. They did not write a joint paper but they had a lot of discussions and inspired one another. She shared the main interests of Henryk, in partcular the interest in the incompleteness phenomenon and various proofs of the second Gödel incompleteness theorem.
Teresa Bigorajska is a PhD student of Zofia Adamowicz and a major collaborator of Henryk Kotlarski during his last years. They worked together on ordinal combinatorics of finite sets – a notion heavily used in the book. They studied combinatorial properties of partitions and trees with respect to the notion of largness in the style of Ketonen and Solovay. They developed the machinery for proving independence results presented in the book.
Konrad Zdanowski's research interests focus on theories of arithmetic, intuitionistic logic, and philosophy. Konrad Zdanowski worked with Henryk Kotlarski on one of his last articles and, through many conversations, he learned from Henryk some of his approach to arithmetic.
“Acerca de” puede pertenecer a otra edición de este título.
moluna
Greven, Alemania
Vendedor de IberLibro desde 9 de julio de 2020
Tarifas de envío de Alemania a Estados Unidos de America
| Artículo | De 26 a 60 días hábiles | De 26 a 60 días hábiles |
|---|---|---|
| Primer artículo | EUR 48,99 | EUR 48,99 |
Métodos de pago
- Cheque
- Giro bancario
- PayPal
Descripción de la tienda
Online Handel nur mit Neubüchern
Información empresarial del vendedor
Moluna GmbH
Engberdingdamm 27
Greven, Alemania 48268
Condiciones de venta
Aviso legal
Reconocimiento legal del oferente:
Moluna GmbH
Representadas por el gerente Helge Blischke
Engberdingdamm 27
48268 Greven
Alemania
Teléfono: 02571/5698933
Fax: 02571/5698930
E-Mail: abe@moluna.de
Identificación tributaria del impuesto a las ganancias: DE296281834
inscripto en el Registro Público de Comercio del Tribunal de Primera Instancia Steinfurt
Número HRB de Registro en el Registro Público de Comercio 10553
Somos miembros de la iniciativa « FairCommerce » desde 24.07.2015.
Para más información, consulte: www.haendlerbund.de/faircommerce.
Derecho al desistimiento
Si es un consumidor, puede rescindir el contrato de acuerdo con lo siguiente. Por consumidor se entiende cualquier persona física que actúe con fines ajenos a su actividad comercial, empresarial, oficio o profesión.
Información sobre el derecho de desistimiento
Derecho legal de desistimiento
Tiene derecho a rescindir este contrato en un plazo de 14 días sin dar ningún motivo.
El periodo de desistimiento vencerá a los 14 días desde que usted, o un tercero que no sea el transportista e indicado por usted, adquiera la posesión física del último bien o del último lote o pieza.
Para ejercer el derecho de desistimiento, complete de forma electrónica y envíe una declaración clara en nuestro sitio web, desde "Mis compras" en "Mi cuenta". Le enviaremos sin demora un acuse de recibo de dicho desistimiento a través de un soporte duradero (por ejemplo, por correo electrónico).
Para cumplir con el plazo de desistimiento, basta con que envíe su comunicación relativa al ejercicio del derecho de desistimiento antes de que venza el periodo de desistimiento.
Efectos del desistimiento
Si rescinde este contrato, le reembolsaremos todos los pagos que hayamos recibido de usted, incluidos los gastos de envío (excepto los gastos adicionales que surjan si elige un tipo de envío que no sea el tipo de envío estándar más económico que ofrecemos).
Podemos hacer una deducción del reembolso por la pérdida de valor de cualquier bien suministrado, si la pérdida es el resultado de una manipulación innecesaria por su parte.
Efectuaremos el reembolso sin demoras indebidas y, a más tardar, 14 días después de que se nos informe de su decisión de rescindir este contrato.
Efectuaremos el reembolso utilizando el mismo medio de pago que utilizó para la transacción inicial, a menos que haya acordado expresamente lo contrario; en cualquier caso, no incurrirá en ningún cargo como resultado de dicho reembolso.
Podremos retener el reembolso hasta que hayamos recibido los bienes o hasta que nos haya presentado una prueba de que los ha devuelto, lo que ocurra primero.
Deberá devolver los bienes o entregarlos a moluna, Greven, Germany, sin demoras indebidas y, en cualquier caso, en un plazo máximo de 14 días a partir del día en que nos comunique su desistimiento del presente contrato. El plazo se cumple si devuelve la mercancía antes de que venza el periodo de 14 días. Tendrá que asumir los gastos directos de devolución de los bienes. Usted solo es responsable de la disminución del valor de los bienes como resultado de una manipulación distinta a la necesaria para establecer la naturaleza, las características y el funcionamiento de los bienes.
Excepciones al derecho de desistimiento
El derecho de desistimiento no se aplica a lo siguiente:
- La entrega de periódicos, diarios o revistas, con la excepción de los contratos de suscripción; y
- El suministro de contenido digital que no se proporcione en un soporte tangible (por ejemplo, en un CD o DVD) si, al hacer el pedido, aceptó que podíamos empezar a entregarlo y que no podría desistir una vez iniciada la entrega.