Model Theory in Admissible Sets: The Theory of the Snake |
Common terms and phrases
A-characterizable A-finite model A-finite structure A-finiteness lemma A-language A-recursive function admissible ordinal arbitrary admissible sets ATOM automorphisms axiom B-model B-th block Barwise Compactness theorem canonical Scott sentence cardinality CHAPTER class of formulas clearly Compactness theorem Conjecture Consequently continuum countable admissible set countable structures css(m define definition dense order end extension fact finite follows free variables function with domain H(w₁ homogeneous linear ordering homogeneous models induction hypothesis infinitary infinitary logic invariably characterizable isomorphic k-tuple of elements Kenneth Kunen Kunen language least element Lowenheim-Skolem property LOWENHEIM-SKOLEM RESULTS Lowenheim-Skolem theorem mapping model theory notion order type partial Scott formula potentially isomorphic power set proof pseudo-well-ordering quantifier rank quasi-A-finite structure recursively inaccessible relation relativized respect set theory subset Suppose theory on admissible thesis transitive set ає ထယ