Logic Colloquium: Proceedings of the Summer School and Colloquium in Mathematical LogicNorth-Holland Pub., 1969 - Logic, Symbolic and mathematical |
Contents
Measurable cardinals | 19 |
Infinitary methods in the model theory of set theory | 53 |
On semisets | 69 |
Copyright | |
12 other sections not shown
Other editions - View all
Common terms and phrases
abstract admissible ordinals algorithmic analysis applied arguments arithmetic copy axiomatic axioms BRFT computation theory concept consider consistent construction Corollary countable defined domain elements equivalent existence extension F₁ finite follows formal formula given Gödel number Hence hierarchy hyperarithmetic hyperprojective inductive definition infinite isomorphic k₁ Kleene language large cardinal Lemma mapping Math measurable cardinal metarecursion theory monadic Moschovakis natural numbers notation notion O-computable obtained operations ordinary recursion theory p.m.v. functions partial functions partial recursive functions predicate prewellordering prime computable problem proof properties prove quantifiers r.e. sets realism recursion theory recursive set recursively enumerable relation result satisfies schema Section semisets sequence set theory sets of integers structure subset Symbolic Logic Theorem thesis tion total function Turing undefined variables w₁ well-ordering