Del 306 i serien Lecture Notes in Mathematics

Extensional Gödel Functional Interpretation

A Consistensy Proof of Classical Analysis

Häftad, Engelska, 1973

AvHorst Luckhardt

359 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt för medlemmar vid köp för minst 249 kr.

Produktinformation

Utgivningsdatum1973-01-09
Mått155 x 235 x 10 mm
Vikt271 g
FormatHäftad
SpråkEngelska
SerieLecture Notes in Mathematics
Antal sidor166
FörlagSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN9783540061199

Tillhör följande kategorier

Beräkning och matematisk analys inom Naturvetenskap och teknik

and survey.- A formal system of classical analysis.- Elimination of extensionality.- Translation of classical into intuitionistic approximated theories.- Gödel's functional interpretation in the narrower sense.- The calculus T of the primitive recursive functionals.- Functional interpretation of classical arithmetic plus (ER)-qf, (AC)-qf and functional interpretation in the narrower sense of Heyting-analysis plus (ER)-qf, (MP), in T.- The calculus T?BR of the bar recursive functionals.- Functional interpretation of classical (AC)o-, (?AC)-analysis with (ER)-qf and functional interpretation in the narrower sense of Heyting-analysis plus (ER)-qf, (MP), in T?BR.- Further consequences from the functional interpretation of classical analysis.- Consistency proof by computation. Computation of T?BRo...o??.- Generalized inductive definitions.- Generalization of bar induction BID and the inductive generation processes to trees over species.- A model for T?BR.- On the bar recursive model of classical analysis and the general bar induction over species.

Mer från samma serie

Del 1250

Stochastic Processes - Mathematics and Physics II

Sergio Albeverio, Philippe Blanchard, Ludwig Streit

Häftad

489 kr

Del 759

Degrees of Unsolvability

R. L. Epstein

Häftad

699 kr

Del 1302

Function Spaces and Applications

Michael Cwikel, Jaak Peetre, Yoram Sagher, Hans E. Wallin

Häftad

629 kr

From Hahn-Banach to Monotonicity

Stephen Simons

Häftad

699 kr

Del 2070

Probabilistic Group Theory, Combinatorics, and Computing

Alla Detinko, Dane Flannery, Eamonn O'Brien

Häftad

489 kr

Del 2191

Leavitt Path Algebras

Gene Abrams, Pere Ara, Mercedes Siles Molina

Häftad

839 kr

Index and Other Useful Information

A. Dold, B. Eckmann

Häftad

699 kr

Del 1965

Geometric Properties of Banach Spaces and Nonlinear Iterations

Charles Chidume

Häftad

699 kr

Del 2229

Spectral Theory for Simply Periodic Solutions of the Sinh-Gordon Equation

Sebastian Klein

Häftad

559 kr

Del 2228

Zeta Integrals, Schwartz Spaces and Local Functional Equations

Wen-Wei Li

Häftad

629 kr

Du kanske också är intresserad av

Sauerstoffbedarf und Sauerstoffversorgung des Herzens in Narkose

D. Kettler

Häftad

739 kr

Nyhet

Bröllopsgästerna

Alison Espach

Pocket

79 kr129 kr

Nyhet

Ultravåld

Tone Schunnesson

Inbunden

289 kr319 kr

Nyhet

Mina vänner

Fredrik Backman

Pocket

79 kr129 kr

Nyhet

Del 7

En sjunde brigad

Denise Rudberg

Inbunden

289 kr339 kr

Signerad

Del 1

SIGNERAD Gaspien - Flickan och silverhjorten

Alexandra Bring

Inbunden

219 kr249 kr

Nyhet

Del 1

Klanen

Pascal Engman

Pocket

79 kr129 kr

Nyhet

Del 2

Intrig i Amalfi

Anders de la Motte, Anette de la Motte

Pocket

79 kr129 kr

4 pocket för 3

Hon som blev kvar

Riley Sager

Pocket

129 kr

Nyhet

Inte död riktigt än

Holly Jackson

Pocket

79 kr129 kr