849 research outputs found
Eilenberg Theorems for Free
Eilenberg-type correspondences, relating varieties of languages (e.g. of
finite words, infinite words, or trees) to pseudovarieties of finite algebras,
form the backbone of algebraic language theory. Numerous such correspondences
are known in the literature. We demonstrate that they all arise from the same
recipe: one models languages and the algebras recognizing them by monads on an
algebraic category, and applies a Stone-type duality. Our main contribution is
a variety theorem that covers e.g. Wilke's and Pin's work on
-languages, the variety theorem for cost functions of Daviaud,
Kuperberg, and Pin, and unifies the two previous categorical approaches of
Boja\'nczyk and of Ad\'amek et al. In addition we derive a number of new
results, including an extension of the local variety theorem of Gehrke,
Grigorieff, and Pin from finite to infinite words
Mass problems and intuitionistic higher-order logic
In this paper we study a model of intuitionistic higher-order logic which we
call \emph{the Muchnik topos}. The Muchnik topos may be defined briefly as the
category of sheaves of sets over the topological space consisting of the Turing
degrees, where the Turing cones form a base for the topology. We note that our
Muchnik topos interpretation of intuitionistic mathematics is an extension of
the well known Kolmogorov/Muchnik interpretation of intuitionistic
propositional calculus via Muchnik degrees, i.e., mass problems under weak
reducibility. We introduce a new sheaf representation of the intuitionistic
real numbers, \emph{the Muchnik reals}, which are different from the Cauchy
reals and the Dedekind reals. Within the Muchnik topos we obtain a \emph{choice
principle} and a \emph{bounding principle} where range over Muchnik
reals, ranges over functions from Muchnik reals to Muchnik reals, and
is a formula not containing or . For the convenience of the
reader, we explain all of the essential background material on intuitionism,
sheaf theory, intuitionistic higher-order logic, Turing degrees, mass problems,
Muchnik degrees, and Kolmogorov's calculus of problems. We also provide an
English translation of Muchnik's 1963 paper on Muchnik degrees.Comment: 44 page
On the characterization of models of H*: The semantical aspect
We give a characterization, with respect to a large class of models of
untyped lambda-calculus, of those models that are fully abstract for
head-normalization, i.e., whose equational theory is H* (observations for head
normalization). An extensional K-model is fully abstract if and only if it
is hyperimmune, {\em i.e.}, not well founded chains of elements of D cannot be
captured by any recursive function.
This article, together with its companion paper, form the long version of
[Bre14]. It is a standalone paper that presents a purely semantical proof of
the result as opposed to its companion paper that presents an independent and
purely syntactical proof of the same result
The homology of the Higman-Thompson groups
We prove that Thompson's group is acyclic, answering a 1992 question of
Brown in the positive. More generally, we identify the homology of the
Higman-Thompson groups with the homology of the zeroth component of
the infinite loop space of the mod Moore spectrum. As , we
can deduce that this group is acyclic. Our proof involves establishing
homological stability with respect to , as well as a computation of the
algebraic K-theory of the category of finitely generated free Cantor algebras
of any type .Comment: 49 page
The Lattice structure of Chip Firing Games and Related Models
In this paper, we study a famous discrete dynamical system, the Chip Firing
Game, used as a model in physics, economics and computer science. We use order
theory and show that the set of reachable states (i.e. the configuration space)
of such a system started in any configuration is a lattice, which implies
strong structural properties. The lattice structure of the configuration space
of a dynamical system is of great interest since it implies convergence (and
more) if the configuration space is finite. If it is infinite, this property
implies another kind of convergence: all the configurations reachable from two
given configurations are reachable from their infimum. In other words, there is
a unique first configuration which is reachable from two given configurations.
Moreover, the Chip Firing Game is a very general model, and we show how known
models can be encoded as Chip Firing Games, and how some results about them can
be deduced from this paper. Finally, we define a new model, which is a
generalization of the Chip Firing Game, and about which many interesting
questions arise.Comment: See http://www.liafa.jussieu.fr/~latap
- …