![Proof Theory and Intuitionistic Systems [electronic resource] /](/search/themes/bootstrap3/images/libros.png)
Proof Theory and Intuitionistic Systems [electronic resource] /
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*.
Saved in:
| Main Authors: | , |
|---|---|
| Format: | Texto biblioteca |
| Language: | eng |
| Published: |
Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer,
1971
|
| Subjects: | Mathematics., Mathematical logic., Mathematical Logic and Foundations., Mathematics, general., |
| Online Access: | http://dx.doi.org/10.1007/BFb0068783 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|