Sets, Models and Recursion Theory: Proceedings of the Summer School in Mathematical Logic and Tenth Logic Colloquium, Leicester, August-September 1965John N. Crossley |
Contents
A Proof of the Relative Consistency of | 1 |
33333 | 44 |
Uniform Extension Operators for Models | 122 |
Copyright | |
8 other sections not shown
Common terms and phrases
a-recursive a₁ admissible ordinal arguments arithmetic assume automorphism axiom of choice cardinal closure computation condition consistent constants continuum hypothesis COROLLARY countable D-prod definition degree denote domain elementary extension elementary submodel elements embedding end extension equivalent exists formula free variables function symbols given Gödel Hence I₁ induction infinite inner model isomorphism Keisler Kleene language lemma logic M-definable mapping Math metafinite metarecursively enumerable set model of ZF natural numbers notation notion obtained operator order type ordered set partial function partial recursive polyadic algebra predicate primitive recursive primitive recursive function proof properties proposition proved quantifiers R₁ recursion theory recursive function recursive ordinals regressive isols relation relativized replaced replicas restricted result satisfies sequence set theory Skolem functions subset Suppose t₁ theorem transitive ultrafilter ultrapower ultraproduct v₁ v₂ x₁