1,462 research outputs found
Complexes of Discrete Distributional Differential Forms and their Homology Theory
Complexes of discrete distributional differential forms are introduced into
finite element exterior calculus. Thus we generalize a notion of Braess and
Sch\"oberl, originally studied for a posteriori error estimation. We construct
isomorphisms between the simplicial homology groups of the triangulation, the
discrete harmonic forms of the finite element complex, and the harmonic forms
of the distributional finite element complexes. As an application, we prove
that the complexes of finite element exterior calculus have cohomology groups
isomorphic to the de Rham cohomology, including the case of partial boundary
conditions. Poincar\'e-Friedrichs-type inequalities will be studied in a
subsequent contribution.Comment: revised preprint, 26 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
- …