Model Theory and Algebra: A Memorial Tribute to Abraham Robinson

A₁ abelian groups algebraically bounded assume assumption axioms B₁ cardinality clopen closure coefficients coforced commutative condition consistent Corollary corresponding countable Dedekind cut defined and true definition denote dense diagram disjoint division ring divisor elementary equivalence embedding existentially complete structures exists f₁ finite forcing component finitely generic structures functors hence Hilbert Hilbertian element holds homomorphism idempotents implies induction infinite integers irreducible isomorphism language Lemma locally constant M-ideal Math Mathematics maximal ideal model theory model-companion model-completion nonstandard ordered field p-adic p-groups polynomial predicate prime ideal projectively model complete proof of Theorem prove quantifiers real closed fields recursive functions recursive set regular ring Robinson satisfies set of sentences Skolem functions Spec subset Suppose surjection symbols t₁ true in S,B ultrafilter ultrapower V₁ variables α α