APAL
2016
8 years 1 months ago
2016
This paper introduces the Cobham Recursive Set Functions (CRSF) as a version of polynomial time computable functions on general sets, based on a limited (bounded) form of ∈-recu...
APAL
2016
8 years 1 months ago
2016
We separate various weak forms of Club Guessing at ω1 in the presence of 2ℵ0 large, Martin’s Axiom, and related forcing axioms. We also answer a question of Abraham and Cummin...
APAL
2016
8 years 1 months ago
2016
Abstract. In this article we give a classi cation of the binary, simple, ω−categorical structures with SU−rank 1 and trivial pregeometry. This is done both by showing that the...
APAL
2016
8 years 1 months ago
2016
Geometry of Interaction (GoI) is a research program initiated by Jean-Yves Girard which aims at defining a semantics of linear logic proofs accounting for the dynamical aspects o...
APAL
2016
8 years 1 months ago
2016
we show that the automorphism groups of certain countable structures obtained using the Hrushovski amalgamation method are simple groups. The structures we consider are the ‘unco...