Advances in Proof Theory

Häftad, Engelska, 2018

Del 28 i serien Progress in Computer Science and Applied Logic

1 082 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.

Beskrivning

The aim of this volume is to collect original contributions by the best specialists from the area of proof theory, constructivity, and computation and discuss recent trends and results in these areas.

Produktinformation

Utgivningsdatum:2018-05-27
Mått:155 x 235 x 24 mm
Vikt:663 g
Format:Häftad
Språk:Engelska
Serie:Progress in Computer Science and Applied Logic
Antal sidor:425
Förlag:Birkhauser Verlag AG
ISBN:9783319805139

Utforska kategorier

Innehållsförteckning

W. Buchholz: A survey on ordinal notations around the Bachmann-Howard ordinal.- A. Cantini: About truth and types.- R. Dyckhoff: Intuitionistic decision procedures since Gentzen.- S. Feferman: The operational perspective.- R. Gore: Formally verified proof-theory using Isabelle/HOL.- P. Minari: Analytic equational proof systems for combinatory logic and lambda calculus.- W. Pohlers: From subsystems of classical analysis to subsystems of set theory - a personal account.- M. Rathjen: Ordinal analysis and witness extraction.- P. Schuster: Logic completeness via open induction.- H. Schwichtenberg: On the computational content of Higman's lemma.- P. Schroeder-Heister: TBA.- A. Setzer: TBA.- S. Wainer: On weak "pointwise" induction, and a miniaturized predicativity.