Distributed representations (such as those based on embed-dings) and discrete representations (such as those based on logic) have complementary strengths. We explore one possible approach to combining these two kinds of representations. We present a model theory/semantics for first order logic based on vectors of reals. We describe the model theory , discuss some interesting properties of such ...

This paper attempts to serve as an introduction to abstract model theory. We introduce the notion of abstract logics, explore first-order logic as an instance of and as the basis for abstract logics, and end by proving Lindström’s theorem.

Collection List

Axiomatizations of the General Theory of Relativity.have occasionally been conducted to achieve precision and clarification of underlying concepts. Rigorous and inspiring work towards that aim based on first-order logic has been performed by Professor Németi and his working group (see references below). A complementary approach (Benda 2008) constructs the relativistic spacetime manifold ab init...

Steenrod operations were defined by Voedvodsky in motivic cohomology in order to prove the Milnor and Bloch-Kato conjectures. These operations have also been constructed by Brosnan for Chow rings [5]. The purpose of this paper is to provide a setting for the construction of the Steenrod operations in algebraic geometry, for generalized cohomology theories whose formal group law has order two. W...

In this paper, we consider a class of connected oriented (with respect to Z/p) closed G-manifolds with a non-empty finite fixed point set, each of which is G-equivariantly formal, where G = Z/p and p is an odd prime. Using localization theorem and equivariant index, we give an explicit description of the mod p equivariant cohomology ring of such a G-manifold in terms of algebra. This makes ...

We consider fragments of first-order logic over finite words. In particular, we deal with first-order logic with a restricted number of variables and with the lower levels of the alternation hierarchy. We use the algebraic approach to show decidability of expressibility within these fragments. As a byproduct, we survey several characterizations of the respective fragments. We give complete proo...

Craig interpolation is investigated for various types of formulae. By shifting the focus from syntactic to semantic interpolation, we generate, prove and classify a series of interpolation results for first-order logic. A few of these results non-trivially generalize known interpolation results; all the others are new. We also discuss some applications of our results to the theory of institutio...

In this paper we consider the partial many-sorted first-order logic and its extension to the subsorted partial many-sorted first-order logic that underly the Casl specification formalism. First we present counterexamples showing that the generalization of the Craig Interpolation Property does not hold for these logics in general (i.e., with respect to arbitrary signature morphisms). Then we for...