Survey Papers.- An ?-logic Primer.- Upper Semi-lattice Algebras and Combinatorics.- Small Definably-large Cardinals.- Real-valued Measurable Cardinals and Well-orderings of the Reals.- Complexity of Sets and Binary Relations in Continuum Theory: A Survey.- Weak Systems of Gandy, Jensen and Devlin.- Some New Directions in Infinite-combinatorial Topology.- Research Papers.- The Number of Near-Coherence Classes of Ultrafilters is Either Finite or .- Stable Axioms of Set Theory.- Forcing with Finite Conditions.- Subgroups of Abelian Polish Groups.- On the Strength of Mutual Stationarity.- Part(?, ?) and Part*(?, ?).- Local Connectedness and Distance Functions.- Bounded Martin's Maximum and Strong Cardinals.

This is a collection of articles on set theory written by some of the participants in theResearchProgrammeonSetTheoryanditsApplicationsthattookplaceatthe Centre de Recerca Matem` atica (CRM) in Bellaterra (Barcelona). The Programme run from September 2003 to July 2004 and included an international conference on set theory in September 2003, an advanced course on Ramsey methods in ? analysis in January 2004, and a joint CRM-ICREA workshop on the foundations of set theory in June 2004, the latter held in Barcelona. A total of 33 short and long term visitors from 15 countries participated in the Programme. This volume consists of two parts, the ?rst containing survey papers on some of the mainstream areas of set theory, and the second containing original research papers. All of them are authored by visitors who took part in the set theory Programme or by participants in the Programme's activities. The survey papers cover topics as Omega-logic, applications of set theory to lattice theory and Boolean algebras, real-valued measurable cardinals, complexity of sets and relations in continuum theory, weak subsystems of axiomatic set t- ory, de?nable versions of large cardinals, and selection theory for open covers of topological spaces. As for the research papers, they range from topics such as the number of near-coherence classes of ultra?lters, the consistency strength of bounded forcing axioms,P (?) combinatorics,someapplicationsof morasses,subgroupsofAbelian ? Polish groups, adding club subsets of ? with ?nite conditions, the consistency 2 strength of mutual stationarity, and new axioms of set theory.