Related papers: Classes of structures with no intermediate isomorp…

The finite satisfiability problem of monadic second order logic is decidable only on classes of structures of bounded tree-width by the classic result of Seese (1991). We prove the following problem is decidable: Input: (i) A monadic second…

Given an inhomogeneous quadratic form $Q_\xi(v)=Q(v+\xi)$ with $Q$ an indefinite $\mathbb{Q}$-isotropic rational ternary form and $\xi\in \mathbb{R}^3$ irrational, we prove an effective lower bound for the number of integer vectors $v\in…

We examine the degree structure $\mathbf{ER}$ of equivalence relations on $\omega$ under computable reducibility. We examine when pairs of degrees have a join. In particular, we show that sufficiently incomparable pairs of degrees do not…

A complete first-order theory is equational if every definable set is a Boolean combination of instances of equations, that is, of formulae such that the family of finite intersections of instances has the descending chain condition.…

We prove that any complex analytic set in $\mathbb{C}^n$ which is Lipschitz normally embedded at infinity and has tangent cone at infinity that is a linear subspace of $\mathbb{C}^n$ must be an affine linear subspace of $\mathbb{C}^n$…

We study what we call topological cylindric algebras and tense cylindric algebras defined for every ordinal $\alpha$. The former are cylindric algebras of dimension $\alpha$ expanded with $\sf S4$ modalities indexed by $\alpha$. The…

We show that ideal submodules and closed ternary ideals in Hilbert modules are the same. We use this insight as a little peg on which to hang a little note about interrelations with other notions regarding Hilbert modules. In Section 3, we…

We prove that for a residual (and hence dense) subset $\mathcal{G}$ of Riemannian metrics on $S^{n+1}$ in the $C^{3}$ topology, no area-minimizing integral $n$-current that is a boundary admits a singular tangent cone which is linearly…

Theories of classification distinguish classes with some good structure theorem from those for which none is possible. Some classes (dense linear orders, for instance) are non-classifiable in general, but are classifiable when we consider…

Answering a question of Junker and Ziegler, we construct a countable first order structure which is not omega-categorical, but does not have any proper non-trivial reducts, in either of two senses (model-theoretic, and group-theoretic). We…

Let $\mathcal M=(M,<,...)$ be a linearly ordered first-order structure and $T$ its complete theory. We investigate conditions for $T$ that could guarantee that $\mathcal M$ is not much more complex than some colored orders (linear orders…

We show that (for the weak operator topology) the set of unitary operators on a separable infinite-dimensional Hilbert space is residual in the set of all contractions. The analogous result holds for isometries and the strong operator…

We study non-variational degenerate elliptic equations with high order singular structures. No boundary data are imposed and singularities occur along an {\it a priori} unknown interior region. We prove that positive solutions have a…

Let R be a discrete valuation ring of unequal characteristic with fraction field K which contains a primitive p^2-th root of unity. Let X be a faithfully flat R-scheme and G be a finite abstract group. Let us consider a G-torsor Y_K\to X_K…

Let V be a variety of not necessarily associative algebras, and A an inverse limit of nilpotent algebras A_i\in V, such that some finitely generated subalgebra S \subseteq A is dense in A under the inverse limit of the discrete topologies…

In this work, we provide some novel results that establish both the existence of Henig global proper efficient points and their density in the efficient set for vector optimization problems in arbitrary normed spaces. Our results do not…

We show that if A is a linear order then Th(A) is either $\aleph_0$-categorical or Borel complete (in the sense of Friedman and Stanley). We generalize this; if A has countably many unary predicates attached, then Th(A) is…

In this paper we prove that no consistent finitely axiomatized theory one-dimensionally interprets its own extension with predicative comprehension. This constitutes a result with the flavor of the Second Incompleteness Theorem whose…

This work is motivated by the problem of finding the limit of the applicability of the first incompleteness theorem ($\sf G1$). A natural question is: can we find a minimal theory for which $\sf G1$ holds? We examine the Turing degree…

In this paper, we study the well extension of strict(irreflective) partial well orderings. We first prove that any partially well-ordered structure <A, R> can be extended to a well-ordered one. Then we prove that every linear extension of…