Geodesic

Studies in constructive mathematics and mathematical logic. Part VIII

Sommaire

A coherence theorem for canonical morphisms in cartesian closed categories
p. 3-29
A machine description and a hierarchy of initial Grzegorczyk's classes
p. 30-46
Time bounds of multidimensional Turing machines
p. 47-55
Two reductions of graph isomorphism to problems for polynomials
p. 56-61
Theorems on the time hierarchy for random access machines
p. 62-72
On decision procedures for invariant properties of short algorithms
p. 73-77
A diophantine representation of perfect numbers
p. 78-89
Calculuses with monotone deductions and their economic interpretation
p. 90-105
A new reduction sequence for arithmetic
p. 106-130
A primitive recursive bound of strong normalization for predicate calculus
p. 131-136
Lower bounds for lengthening of proofs after cut-elimination
p. 137-162
Three ways of recognizing essential formulas in sequents
p. 163-175
Machine-independent description of some machine complexity classes
p. 176-185
Positive rudimentarity of the graphs of the Ackermann's and Grzegorczyk's functions
p. 186-191
A growth of length of $\mathrm L$-derivationtrans formed into natural deduction
p. 192-196
Preservation of the equivalence of proofs under reduction of the formula depth
p. 197-208
Representation of proof s' by coloured graphs and Hadwiger hypothesis
p. 209-217
On canonical recursive functions and operations
p. 218-235
Corrections to the previous volumes
p. 248-249