44 pages matching A-finite model in this book
Results 1-3 of 44
What people are saying - Write a review
We haven't found any reviews in the usual places.
INTRODUCTION TO MODEL THEORY
SOME BASIC RESULTS OF MODEL THEORY
SOME APPLICATIONS OF SCOTT SENTENCES
A-characterizable A-finite model A-finite structure A-finiteness lemma A-language A-recursive function admissible ordinal arbitrary admissible sets automorphisms axiom of extensionality Barwise Compactness theorem canonical Scott sentence cardinality CHAPTER class of formulas clearly Conjecture Consequently constant symbols continuum countable admissible set countable structures define definition dense order end extension F is A-recursive fact finite follows free variables function with domain H(co homogeneous linear ordering homogeneous models I-model induction hypothesis infinitary infinitary logic invariably characterizable k-tuple of elements Kunen language least element Lowenheim-Skolem property LOWENHEIM-SKOLEM RESULTS Lowenheim-Skolem theorem m,p e mapping model theory notion order type p-th block partial Scott formula potentially isomorphic power set power set axiom proof property iff pseudo-well-ordering quantifier rank quasi-A-f quasi-A-finite structure recursively inaccessible relation set theory subset Suppose theory on admissible thesis transitive set well-ordered Z-formula