منابع مشابه
Coherent and finiteness spaces
This short note presents a new relation between coherent spaces and finiteness spaces. This takes the form of a functor from Coh to Fin commuting with the additive and multiplicative structure of linear logic. What makes this correspondence possible and conceptually interesting is the use of the infinite Ramsey theorem. Along the way, the question of the cardinality of the collection of finiten...
متن کاملFiniteness spaces
We investigate a new denotational model of linear logic based on the purely relational model. In this semantics, webs are equipped with a notion of “finitary” subsets satisfying a closure condition and proofs are interpreted as finitary sets. In spite of a formal similarity, this model is quite different from the usual models of linear logic (coherence semantics, hypercoherence semantics, the v...
متن کاملFiniteness and Torelli Spaces
Torelli space Tg (g ≥ 2) is the quotient of Teichmüller space by the Torelli group Tg. It is the moduli space of compact, smooth genus g curves C together with a symplectic basis of H1(C;Z) and is a model of the classifying space of Tg. Mess, in his thesis [12], proved that T2 has the homotopy type of a bouquet of a countable number of circles. Johnson and Millson (cf. [12]) pointed out that a ...
متن کاملFiniteness spaces, graphs and "coherence"
We look at a sub-collection of finiteness spaces introduced in [2] based on the notion of coherence spaces from [4]. The original idea was to generalize the notion of stable functions between coherence spaces to interpret the algebraic lambda-calculus ([6]) or even the differential lambda-calculus ([3]). An important tool for this analysis is the infinite Ramsey theorem. 0. Introduction. The ca...
متن کاملFiniteness of volume of moduli spaces
We give a “physics proof” of a conjecture made by the first author at Strings 2005, that the moduli spaces of certain conformal field theories are finite volume in the Zamolodchikov metric, using an RG flow argument.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Logical Methods in Computer Science
سال: 2011
ISSN: 1860-5974
DOI: 10.2168/lmcs-7(3:15)2011