Summary: c 2008 by Yimu Yin. All rights reserved.
SETS, MODELS, AND VALUED FIELDS
Department of Philosophy
Carnegie Mellon University
Submitted in partial fulfillment of the requirements
for the degree of Doctor of Philosophy in Logic
in the College of Humanities and Social Sciences of
Carnegie Mellon University, 2008
Pittsburgh, Pennsylvania, U.S.A.
I would like to thank my advisor, Jeremy Avigad, for his guidance and constant support during the past five
years. I am especially grateful for his patience while listening to me, very often having to endure nonsense.
I wish to thank the following who have helped me obtain the results contained in this thesis: Uri Abraham,
James Cummings, Rami Grossberg, Thomas Hales, and Chris Miller.
A special thanks goes to Haim Gaifman, who inspired me to study logic.
It has been a real pleasure to work in the Department of Philosophy at Carnegie Mellon University. I
thank everyone there for providing such a free intellectual environment.