## Mathematical Logic, Pages 244-531 |

### What people are saying - Write a review

We haven't found any reviews in the usual places.

### Other editions - View all

### Common terms and phrases

algebraic apply assume assumption atomic axiom axiomatizable binary relation cardinal chapter choose clear Clearly closed compact complete conditions are equivalent consider consistent construction contradiction Corollary countable decidable define Definition desired easily element elementary elementary class embedding equality example existence expansion extension fact field Finally finite finite subset first-order language Fmla following conditions formula function give given Hence holds hypothesis implies induction infinite isomorphism L-structure language Lemma logic m-ary mapping natural nonlogical constants Note notion obtain Obviously occurs one-one operation symbol otherwise prime PROOF properties Proposition prove recursive replacing respectively result satisfies sentence sequence similarly structures substructure suppose syntactically definable term theorem theory ultrafilter unary relation symbol undecidable universal variables