## Sets, models and recursion theory: Proceedings of the Summer School in Mathematical Logic and tenth Logic Colloquium, Leicester, August-September 1965 |

### What people are saying - Write a review

We haven't found any reviews in the usual places.

### Contents

A Proof of the Relative Consistency of | 1 |

Constructibility | 33 |

Concrete Models of Set Theory | 44 |

Copyright | |

12 other sections not shown

### Other editions - View all

### Common terms and phrases

a-recursive admissible ordinal arguments arithmetic assume automorphism axiom of choice bounded cardinal closure computation condition consistent constructible sets continuum hypothesis Corollary countable D-prod deduction definition degree denote domain elementary extension elementary submodel elements embedding end extension equations equivalent exists finite sets formula free variables function symbols functor given Godel Hence holds I0-formula induction infinite inner model isomorphism Keisler Kleene language lattice lemma logic M-definable mapping Math metafinite metarecursion theory metarecursively enumerable set minimal model of ZF natural numbers notation notion obtained order type ordered set partial function partial recursive polyadic algebra predicate primitive recursive primitive recursive function proof properties proposition provable proved quantifiers recursion theory recursive function recursive ordinals regressive isols relation relativized replaced replicas restricted result satisfies saturated models schema sentences sequence set theory Skolem functions Suppose theorem transfinite ultrafilter ultrapower ultraproduct