(2) The end-piece of P contains a beginning sequence for inductive definition (*) I (s), A (s, t, V) agt;G (s, t, V, {x, y}(A (x, y)Axalt;*s)) n n n or I(s), G (s, t.V. {x, y}(A (x, y)Ax^s)) agt; A (s, t, V) n n n where s and t are numerals. Our argument does not go throughanbsp;...

Title | : | Proceedings of the Summer School in Logik, Leeds 1967 |

Author | : | Martin H. Löb |

Publisher | : | Springer Verlag - 1968-01-01 |

Continue