Extensional Gödel Functional Interpretation

A Consistensy Proof of Classical Analysis

AvHorst Luckhardt

Häftad, Engelska, 1973

Del 306 i serien Lecture Notes in Mathematics

281 kr

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

Produktinformation

Utgivningsdatum:1973-01-09
Mått:155 x 235 x 10 mm
Vikt:271 g
Format:Häftad
Språk:Engelska
Serie:Lecture Notes in Mathematics
Antal sidor:166
Förlag:Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN:9783540061199

Utforska kategorier

Beräkning och matematisk analys inom Naturvetenskap och teknik

Innehållsförteckning

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 författare

Extensional Godel Functional Interpretation

Horst Luckhardt

E-bok

2006

364 kr

Mer från samma serie

Del 1144

Knot Theory and Manifolds

Dale Rolfsen

Häftad, 1985

281 kr

Convergence in Measure and in Category

Władysław Wilczyński

Häftad, 2026

741 kr

Del 620

Moduli Theory and Classification Theory of Algebraic Varieties

H. Popp

Häftad, 1977

314 kr

Del 1788

Moduli of Families of Curves for Conformal and Quasiconformal Mappings

Alexander Vasil'ev

Häftad, 2002

499 kr

From Hahn-Banach to Monotonicity

Stephen Simons

Häftad, 2008

556 kr

Del 2070

Probabilistic Group Theory, Combinatorics, and Computing

Alla Detinko, Dane Flannery, Eamonn O'Brien

Häftad, 2013

391 kr

Del 2191

Leavitt Path Algebras

Gene Abrams, Pere Ara, Mercedes Siles Molina

Häftad, 2017

665 kr

Index and Other Useful Information

A. Dold, B. Eckmann

Häftad, 2013

556 kr

Del 1965

Geometric Properties of Banach Spaces and Nonlinear Iterations

Charles Chidume

Häftad, 2009

556 kr

Del 2229

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

Sebastian Klein

Häftad, 2018

446 kr

Du kanske också är intresserad av

10% rabatt på allt

Adventskalender Ravensburger pussel 2026

Ravensburger

319 kr

Sauerstoffbedarf und Sauerstoffversorgung des Herzens in Narkose

D. Kettler

Häftad, 1973

588 kr

Extensional Godel Functional Interpretation

Horst Luckhardt

E-bok

2006

364 kr

10% rabatt på allt

Jag såg hur vi var stjärnor

Laleh Pourkarim

Inbunden, 2026

269 kr

Ruth Kvarnström-Jones - SIGNERAD - Systrarna på Sophiahemmet, Inbunden

Signerad!

Del 3

SIGNERAD - Systrarna på Sophiahemmet

Ruth Kvarnström-Jones

Inbunden, 2026

249 kr

10% rabatt på allt

Del 7

Fördrivaren

Viveca Sten

Inbunden, 2026

269 kr

10% rabatt på allt

Del 11

Medusa

Lars Kepler

Inbunden, 2026

269 kr

Ruth Kvarnström-Jones - Systrarna på Sophiahemmet, Inbunden

10% rabatt på allt

Del 3

Systrarna på Sophiahemmet

Ruth Kvarnström-Jones

Inbunden, 2026

249 kr

Nyhet

Nya testamentet 2026 storpocket

Libris förlag

Häftad, 2026

149 kr

Den fjärde väggen

Victor Pavic Lundberg

Inbunden, 2026

(3)

259 kr

Extensional Gödel Functional Interpretation

A Consistensy Proof of Classical Analysis

AvHorst Luckhardt

Häftad, Engelska, 1973

Del 306 i serien Lecture Notes in Mathematics

281 kr

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

Produktinformation

Utgivningsdatum:1973-01-09
Mått:155 x 235 x 10 mm
Vikt:271 g
Format:Häftad
Språk:Engelska
Serie:Lecture Notes in Mathematics
Antal sidor:166
Förlag:Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN:9783540061199

Utforska kategorier

Beräkning och matematisk analys inom Naturvetenskap och teknik

Innehållsförteckning

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.