Coalgebraic Probabilistic Logic over Measurable Spaces via Stone Duality

申请者是EPSRC支持的项目EP/G041296/1，协代数逻辑：扩大范围(CLES)的联合调查员，该项目于2009年9月开始。本提案的目的是通过在2010年春季任期内起草为期5个月的MAM的专门知识来加强现有项目。这样的机会出现了，因为最近授予麻省理工学院的学习假。由于MAM的大部分工资将由他所在的机构支付，这份申请只是要求提供经济帮助，以支付与离家生活相关的额外费用；因此，它承诺以非常低的投资回报提供极好的价值。

The applicants are coinvestigators on the EPSRC supported projectEP/G041296/1, Coalgebraic Logic: Expanding the Scope (CLES),which started in September 2009. The purpose of the current proposalis to strengthen the existing project by drafting in the expertise ofMAM for a period of 5 months in the Spring Term 2010. The opportunityfor this has arisen because of the study leave recently granted toMAM. Since the largest part of MAM's salary will be paid by his homeinstitution, this application is merely asking for financial help withthe additional costs associated with living away from home; it thuspromises to provide excellent value in return for a very modestinvestment.