Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
c 2008 by Yimu Yin. All rights reserved. SETS, MODELS, AND VALUED FIELDS
 

Summary: c 2008 by Yimu Yin. All rights reserved.
SETS, MODELS, AND VALUED FIELDS
BY
YIMU YIN
Department of Philosophy
Carnegie Mellon University
DISSERTATION
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.
Acknowledgments
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.

  

Source: Avigad, Jeremy - Departments of Mathematical Sciences & Philosophy, Carnegie Mellon University

 

Collections: Multidisciplinary Databases and Resources; Mathematics