54,580 research outputs found
Enumeration Reducibility in Closure Spaces with Applications to Logic and Algebra
In many instances in first order logic or computable algebra, classical
theorems show that many problems are undecidable for general structures, but
become decidable if some rigidity is imposed on the structure. For example, the
set of theorems in many finitely axiomatisable theories is nonrecursive, but
the set of theorems for any finitely axiomatisable complete theory is
recursive. Finitely presented groups might have an nonrecursive word problem,
but finitely presented simple groups have a recursive word problem. In this
article we introduce a topological framework based on closure spaces to show
that many of these proofs can be obtained in a similar setting. We will show in
particular that these statements can be generalized to cover arbitrary
structures, with no finite or recursive presentation/axiomatization. This
generalizes in particular work by Kuznetsov and others. Examples from first
order logic and symbolic dynamics will be discussed at length
From self-similar groups to self-similar sets and spectra
The survey presents developments in the theory of self-similar groups leading
to applications to the study of fractal sets and graphs, and their associated
spectra
On the homology of locally finite graphs
We show that the topological cycle space of a locally finite graph is a
canonical quotient of the first singular homology group of its Freudenthal
compactification, and we characterize the graphs for which the two coincide. We
construct a new singular-type homology for non-compact spaces with ends, which
in dimension~1 captures precisely the topological cycle space of graphs but
works in any dimension.Comment: 30 pages. This is an extended version of the paper "The homology of a
locally finite graph with ends" (to appear in Combinatorica) by the same
authors. It differs from that paper only in that it offers proofs for Lemmas
3, 4 and 10, as well as a new footnote in Section
- …