پایه‌های ریاضیات: منطق در هاروارد مقالاتی به افتخار شصتمین سالگرد W. Hugh Woodin، ۲۷-۲۹ مارس ۲۰۱۵ دانشگاه هاروارد، کمبریج، MA (ریاضیات معاصر)

This volume contains the proceedings of the Logic at Harvard conference in honor of W. Hugh Woodin's 60th birthday, held March 27–29, 2015, at Harvard University. It presents a collection of papers related to the work of Woodin, who has been one of the leading figures in set theory since the early 1980s. The topics cover many of the areas central to Woodin's work, including large cardinals, determinacy, descriptive set theory and the continuum problem, as well as connections between set theory and Banach spaces, recursion theory, and philosophy, each reflecting a period of Woodin's career. Other topics covered are forcing axioms, inner model theory, the partition calculus, and the theory of ultrafilters. This volume should make a suitable introduction to Woodin's work and the concerns which motivate it. The papers should be of interest to graduate students and researchers in both mathematics and philosophy of mathematics, particularly in set theory, foundations and related areas. Norming Infinitesimals Of Large Fields / H.g. Dales -- The Enumeration Degrees: Local And Global Structural Interactions / Theodore A. Slaman And Mariya I. Soskova -- Ramsey Properties Of Finite Measure Algebras And Topolotical Dynamics Of The Group Of Measure Preserving Automorphisms: Some Results And An Open Problem / A.s. Kechris, M. Sokic, And S. Todorcevic -- Topological Ramsey Numbers And Countable Ordinals / Andres Eduardo Caicedo And Jacob Hilton -- Open Determinacy For Class Games / Victoria Gitman And Joel David Hamkins -- Open Problems On Ultrafilters And Some Connections To The Continuum / M. Malliaris And S. Shelah -- Obtaining Woodin's Cardinals / P.d. Welch -- Woodin's Axiom (*), Or Martin's Maximum, Or Both? / Ralf Schindler -- Translation Procedures In Descriptive Inner Model Theory / Grigor Sargsyan -- Implications Of Very Large Cardinals / Scott Cramer -- What Makes The Continuum / Justin Tatch Moore -- Set-theoretic Foundations / Penelope Maddy. Andrés Eduardo Caicedo [and Three Others], Editors. Includes Bibliographical References. Contains the proceedings of the Logic at Harvard conference in honour of W. Hugh Woodin's 60th birthday. The topics cover many of the areas central to Woodin's work, including large cardinals, determinacy, descriptive set theory and the continuum problem, as well as connections between set theory and Banach spaces, recursion theory, and philosophy, each reflecting a period of Woodin's career.