Proof Theory and Intuitionistic Systems. Lecture Notes in Mathematics; 212.

Scarpellini, Bruno

ISBN 10: 354005541X / ISBN 13: 9783540055419

Editore: Berlin, Springer, 1971

Riguardo questo articolo

Ex-library with stamp and library-signature. GOOD condition, some traces of use. Ehem. Bibliotheksexemplar mit Signatur und Stempel. GUTER Zustand, ein paar Gebrauchsspuren. C-05004 354005541X Sprache: Englisch Gewicht in Gramm: 550.

Codice articolo 2491248

Dati bibliografici

• Titolo: Proof Theory and Intuitionistic Systems. Lecture Notes in Mathematics; 212.
• Editore: Berlin, Springer
• Data di pubblicazione: 1971
• Lingua: Inglese
• ISBN 10: 354005541X
• ISBN 13: 9783540055419
• Rilegatura: Softcover
• Peso: 550 grammi
• Cataloghi dei venditori:
  • SA MATHEMATIK

Descrizione articolo

Riassunto

Book by Scarpellini Bruno

Contenuti

and preliminaries.- A review of Gentzen's second consistency proof.- The intuitionistic system of number theory.- A formally intuitionistic system as strong as classical analysis.- Transfinite induction with respect to recursive wellorderings without function parameters.- A formally intuitonistic theory equivalent to classical transfinite induction with respect to recursive wellfounded trees with function parameters.- A system containing barinduction with respect to decidable predicates.- Harrop formulas.- The Markov principle.- Relative consistency proof of ZTN with respect to ZTi/IN*.