Table of Contents

Introduction 0. Prerequisites 1. Boolean Algebras 2. Propositional Calculus 3. Predicate Calculus 4. Beginning Model Theory 5. Introducing Ultraproducts 6. Set Theoretic Properties of Ultraproducts 7. Elementary Classes 8. Ultralimits 9. Completeness and Model Completeness 10. Homogeneous and Universal Structures 11. Saturated Models 12. Applications of Ultraproducts 13. Generalized Quantifiers 14. Infinitary Languages Some Suggestions for Further Reading Bibliography Index of Named Theorems General Index

About the Author

John L. Bell is a Professor of Philosophy at the University of Western Ontario and Alan Slomson is Director of Undergraduate Studies at the University of Leeds' School of Mathematics.