Related papers: Preservation under Substructures modulo Bounded Co…
We study which classic modal definability and preservation results survive when attention is restricted to finite structures, where many first-order transfer theorems are known to break down. Several semantic characterizations for modal…
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…
We investigate sentences which are simultaneously partially conservative over several theories. First, we generalize Bennet's results on this topic to the case of more than two theories. In particular, for any finite family $\{T_i\}_{i \leq…
Generalizing the $\omega$-categorical context, we introduce a notion, which we call the Lascar Property, that allows for a fine analysis of the topological isomorphisms between automorphism groups of countable structures satisfying this…
To Rogers (1994) we owe the insight that monadic second order predicate logic with multiple successors (MSO) is well suited in many respects as a realistic formal base for syntactic theorizing. However, the agreeable formal properties of…
The subject under study is an open subsystem of a larger linear and conservative system and the way in which it is coupled to the rest of system. Examples are a model of crystalline solid as a lattice of coupled oscillators with a finite…
Suppose $\phi$ is a wildly ramified cover of germs of curves defined over an algebraically closed field of characteristic p. We study unobstructed deformations of $\phi$ in equal characteristic, which are equiramified in that the branch…
Program semantics can often be expressed as a (many-sorted) first-order theory S, and program properties as sentences $\varphi$ which are intended to hold in the canonical model of such a theory, which is often incomputable. Recently, we…
For a class $\Gamma$ of formulas, $\Gamma$ local reflection principle $\mathrm{Rfn}_{\Gamma}(T)$ for a theory $T$ of arithmetic is a scheme formalizing the $\Gamma$-soundness of $T$. Beklemishev proved that for every $\Gamma \in \{\Sigma_n,…
We investigate $n$-component systems of conservation laws that possess third-order Hamiltonian structures of differential-geometric type. The classification of such systems is reduced to the projective classification of linear congruences…
We prove conservativity results for weak K\H{o}nig's lemma that extend the celebrated result of Harrington (for $\Pi^1_1$-statements) and are somewhat orthogonal to the extension by Simpson, Tanaka and Yamazaki (for statements of the form…
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…
In this paper we will study an important but rather technical result which is called The Reduction Property. The result tells us how much arithmetical conservation there is between two arithmetical theories. Both theories essentially speak…
We prove that, for certain extensions of valued fields which admit a sensible theory of ramification groups, there exist canonical towers that correspond to the break-points of their Herbrand function. In particular, each of the…
We present several new theorems concerning the first fundamental group of a path connected metric space. Among the results proven are strengthenings of the main theorems of \cite{Sh2} and \cite{CoCo}. A compactness theorem for the…
In this article, we give a representation of bounded complex linear operators which preserve idempotent elements on the Fourier algebra of a locally compact group. When such an operator is moreover positive or contractive, we show that the…
We consider fragments of first-order logic and as models we allow finite and infinite words simultaneously. The only binary relations apart from equality are order comparison < and the successor predicate +1. We give characterizations of…
We present MSO and FO logics with predicates `between' and `neighbour' that characterise various fragments of the class of regular languages that are closed under the reverse operation. The standard connections that exist between MSO and FO…
We study in general algebras Gratzer's notion of congruence preserving function, characterizing functions in terms of stability under inverse image of particular Boolean algebras of subsets generated from any subset of the algebra.…
In this paper we study compactifications of heterotic string theory on manifolds satisfying the ddbar-lemma. We consider the Strominger system description of the low energy supergravity to first order in alpha' and show that the moduli of…