Fri frakt över 249 kr
•
Snabba leveranser
•
Billiga böcker

Fynda 4 pocketböcker till priset av 3 →

Iterated Inductive Definitions and Subsystems of Analysis: Recent Proof-Theoretical Studies

AvW. Buchholz,S. Feferman

Häftad, Engelska, 1981

Del 897 i serien Lecture Notes in Mathematics

386 kr

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

Produktinformation

Utgivningsdatum:1981-12-01
Mått:155 x 235 x 22 mm
Vikt:593 g
Format:Häftad
Språk:Engelska
Serie:Lecture Notes in Mathematics
Antal sidor:384
Förlag:Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN:9783540111702

Utforska kategorier

Matematikens grunder inom Naturvetenskap och teknik

Innehållsförteckning

Inductive definitions and subsystems of analysis.- Proof theoretic equivalences between classical and constructive theories for analysis.- Inductive definitions, constructive ordinals, and normal derivations.- The ??+1-Rule.- Ordinal analysis of ID?.- Proof-theoretical analysis of ID? by the method of local predicativity.

Mer från samma författare

W. Sieg, W. Pohlers, S. Feferman, W. Buchholz - Iterated Inductive Definitions and Subsystems of Analysis: Recent Proof-Theoretical Studies, E-bok

Iterated Inductive Definitions and Subsystems of Analysis: Recent Proof-Theoretical Studies

W. Sieg, W. Pohlers, S. Feferman, W. Buchholz

E-bok

2006

416 kr

Mer från samma serie

Dale Rolfsen - Knot Theory and Manifolds, Häftad

Del 1144

Knot Theory and Manifolds

Dale Rolfsen

Häftad, 1985

278 kr

Michel Boileau, Gerard Besson, Carlo Sinestrari, Gang Tian, Riccardo Benedetti, Carlo Mantegazza - Ricci Flow and Geometric Applications, Häftad

Del 2166

Ricci Flow and Geometric Applications

Michel Boileau, Gerard Besson, Carlo Sinestrari, Gang Tian, Riccardo Benedetti, Carlo Mantegazza

Häftad, 2016

386 kr

Gunnar Carlsson, Ralph Cohen, Haynes R. Miller, Douglas C. Ravenel - Algebraic Topology, Häftad

Del 1370

Algebraic Topology

Gunnar Carlsson, Ralph Cohen, Haynes R. Miller, Douglas C. Ravenel

Häftad, 1989

549 kr

Joseph Bernstein, Valery Lunts - Equivariant Sheaves and Functors, Häftad

Del 1578

Equivariant Sheaves and Functors

Joseph Bernstein, Valery Lunts

Häftad, 1994

333 kr

Jin Ma, Jiongmin Yong - Forward-Backward Stochastic Differential Equations and their Applications, Häftad

Forward-Backward Stochastic Differential Equations and their Applications

Jin Ma, Jiongmin Yong

Häftad, 1999

657 kr

Siegfried Graf, Harald Luschgy - Foundations of Quantization for Probability Distributions, Häftad

Del 1730

Foundations of Quantization for Probability Distributions

Siegfried Graf, Harald Luschgy

Häftad, 2000

658 kr

D. A. Edwards, H. M. Hastings - Cech and Steenrod Homotopy Theories with Applications to Geometric Topology, Häftad

Del 542

Cech and Steenrod Homotopy Theories with Applications to Geometric Topology

D. A. Edwards, H. M. Hastings

Häftad, 1976

441 kr

Vladimir Kozlov, Vladimir Maz'ya - Theory of a Higher-Order Sturm-Liouville Equation, Häftad

Del 1659

Theory of a Higher-Order Sturm-Liouville Equation

Vladimir Kozlov, Vladimir Maz'ya

Häftad, 1997

387 kr

Lars Garding - Singularities in Linear Wave Propagation, Häftad

Del 1241

Singularities in Linear Wave Propagation

Lars Garding

Häftad, 1987

278 kr

Stephen Simons - From Hahn-Banach to Monotonicity, Häftad

From Hahn-Banach to Monotonicity

Stephen Simons

Häftad, 2008

547 kr

Du kanske också är intresserad av

W. Sieg, W. Pohlers, S. Feferman, W. Buchholz - Iterated Inductive Definitions and Subsystems of Analysis: Recent Proof-Theoretical Studies, E-bok

Iterated Inductive Definitions and Subsystems of Analysis: Recent Proof-Theoretical Studies

W. Sieg, W. Pohlers, S. Feferman, W. Buchholz

E-bok

2006

416 kr

Kurt Gödel, S. Feferman, John W. Dawson, Jr., Stephen C. Kleene, G. Moore, R. Solovay, Jean van Heijenoort - Kurt Gödel: Collected Works, Häftad

Kurt Gödel: Collected Works

Kurt Gödel, S. Feferman, John W. Dawson, Jr., Stephen C. Kleene, G. Moore, R. Solovay, Jean van Heijenoort

Häftad, 2001

923 kr

Kurt Gödel, S. Feferman, John W. Dawson, Jr., Stephen C. Kleene, G. Moore, R. Solovay, Jean van Heijenoort - Kurt Gödel: Collected Works: Volume II, Inbunden

Kurt Gödel: Collected Works: Volume II

Kurt Gödel, S. Feferman, John W. Dawson, Jr., Stephen C. Kleene, G. Moore, R. Solovay, Jean van Heijenoort

Inbunden, 1990

3 486 kr

Kurt Gödel, S. Feferman, John W. Dawson, Jr., Warren Goldfarb, Charles Parsons, Wilfried Sieg - Kurt Gödel: Collected Works: Volume V, Inbunden

Kurt Gödel: Collected Works: Volume V

Kurt Gödel, S. Feferman, John W. Dawson, Jr., Warren Goldfarb, Charles Parsons, Wilfried Sieg

Inbunden, 2003

4 197 kr

J. Barwise, S. Feferman - Model-Theoretic Logics, Inbunden

Del 8

Model-Theoretic Logics

J. Barwise, S. Feferman

Inbunden, 2017

2 706 kr

Kurt Gödel, S. Feferman, John W. Dawson, Jr., Warren Goldfarb, Charles Parsons, R. Solovay - Kurt Gödel: Collected Works: Volume III, Häftad

Kurt Gödel: Collected Works: Volume III

Kurt Gödel, S. Feferman, John W. Dawson, Jr., Warren Goldfarb, Charles Parsons, R. Solovay

Häftad, 2001

891 kr

Kurt Gödel, S. Feferman, John W. Dawson, Jr., Stephen C. Kleene, G. Moore, R. Solovay, Jean van Heijenoort - Kurt Gödel: Collected Works: Volume I, Inbunden

Kurt Gödel: Collected Works: Volume I

Kurt Gödel, S. Feferman, John W. Dawson, Jr., Stephen C. Kleene, G. Moore, R. Solovay, Jean van Heijenoort

Inbunden, 1986

3 364 kr

Tone Schunnesson - Ultravåld, Inbunden

-19%

Ultravåld

Tone Schunnesson

Inbunden, 2026

(15)

209 kr259 kr

Marcus Frank - SIGNERAD - Mackans kost : Middagar och matlådor, Inbunden

Signerad!

SIGNERAD - Mackans kost : Middagar och matlådor

Marcus Frank

Inbunden, 2026

269 kr

Kristin Hannah - Näktergalen, Pocket

4 för 3

Näktergalen

Kristin Hannah

Pocket, 2023

(66)

99 kr