Is game semantics necessary?
We discuss the extent to which game semantics is implicit in the formalism of linear logic and in the intuitions underlying linear logic.
math.LO↗
arXiv subjects
Andreas Blass
Publications and source records attributed to Andreas Blass.
Questions and answers -- a category arising in linear logic, complexity theory, and set theory
A category used by de Paiva to model linear logic also occurs in Vojtas's analysis of cardinal characteristics of the continuum. Its morphisms have been used in describing reductions between search problems in complexity theory. We describe this category and how it arises in these various contexts. We also show how these contexts suggest certain new multiplicative connectives for linear logic. Perhaps the most interesting of these is a sequential composition suggested by the set-theoretic application.
math.LO↗
Ultrafilters: Where topological dynamics = algebra = combinatorics
We survey some connections between topological dynamics, semigroups of ultrafilters, and combinatorics. As an application, we give a proof, based on ideas of Bergelson and Hindman, of the Hales-Jewett partition theorem.
math.LO↗
Cardinal Characteristics and the Product of Countably Many Infinite Cyclic Groups
Let P be the direct product of countably many copies of the additive group Z of integers. We study, from a set-theoretic point of view, those subgroups of P for which all homomorphisms to Z annihilate all but finitely many of the standard unit vectors. Specifically, we relate the smallest possible size of such a subgroup to several of the standard cardinal characteristics of the continuum. We also study some related properties and cardinals, both group-theoretic and set-theoretic. One of the set-theoretic properties and the associated cardinal are combinatorially natural, independently of any connection with algebra.
math.LO↗