3,117 research outputs found
Undecidable First-Order Theories of Affine Geometries
Tarski initiated a logic-based approach to formal geometry that studies
first-order structures with a ternary betweenness relation (\beta) and a
quaternary equidistance relation (\equiv). Tarski established, inter alia, that
the first-order (FO) theory of (R^2,\beta,\equiv) is decidable. Aiello and van
Benthem (2002) conjectured that the FO-theory of expansions of (R^2,\beta) with
unary predicates is decidable. We refute this conjecture by showing that for
all n>1, the FO-theory of monadic expansions of (R^2,\beta) is \Pi^1_1-hard and
therefore not even arithmetical. We also define a natural and comprehensive
class C of geometric structures (T,\beta), where T is a subset of R^2, and show
that for each structure (T,\beta) in C, the FO-theory of the class of monadic
expansions of (T,\beta) is undecidable. We then consider classes of expansions
of structures (T,\beta) with restricted unary predicates, for example finite
predicates, and establish a variety of related undecidability results. In
addition to decidability questions, we briefly study the expressivity of
universal MSO and weak universal MSO over expansions of (R^n,\beta). While the
logics are incomparable in general, over expansions of (R^n,\beta), formulae of
weak universal MSO translate into equivalent formulae of universal MSO.
This is an extended version of a publication in the proceedings of the 21st
EACSL Annual Conferences on Computer Science Logic (CSL 2012).Comment: 21 pages, 3 figure
Reachability in Biochemical Dynamical Systems by Quantitative Discrete Approximation (extended abstract)
In this paper, a novel computational technique for finite discrete
approximation of continuous dynamical systems suitable for a significant class
of biochemical dynamical systems is introduced. The method is parameterized in
order to affect the imposed level of approximation provided that with
increasing parameter value the approximation converges to the original
continuous system. By employing this approximation technique, we present
algorithms solving the reachability problem for biochemical dynamical systems.
The presented method and algorithms are evaluated on several exemplary
biological models and on a real case study.Comment: In Proceedings CompMod 2011, arXiv:1109.104
Corrigendum for "Almost vanishing polynomials and an application to the Hough transform"
In this note we correct a technical error occurred in [M. Torrente and M.C.
Beltrametti, "Almost vanishing polynomials and an application to the Hough
transform", J. Algebra Appl. 13(8), (2014)]. This affects the bounds given in
that paper, even though the structure and the logic of all proofs remain fully
unchanged.Comment: 30 page
- …