Related papers: A Model Existence Theorem for Infinitary Formulas …

Model sets (also called cut and project sets) are generalizations of lattices. Here we show how the self-similarities of model sets are a natural replacement for the group of translations of a lattice. This leads us to the concept of…

We prove completeness of preferential conditional logic with respect to convexity over finite sets of points in the Euclidean plane. A conditional is defined to be true in a finite set of points if all extreme points of the set interpreting…

We first prove a version of Tietze-Urysohn's theorem for proper functions taking values in non-negative real numbers defined on $\sigma$-compact locally compact Hausdorff spaces. As its application, we prove an extension theorem of proper…

The decidability of axiomatic extensions of the modal logic K with modal reduction principles, i.e. axioms of the form $\Diamond^{k} p \rightarrow \Diamond^{n} p$, has remained a long-standing open problem. In this paper, we make…

Recently, Abbadini and Guffanti gave an algebraic proof of Herbrand's theorem using a completion for Lawvere doctrines that freely adds existential and universal quantifiers. A more direct argument can be given by only completing with…

We apply the local removable singularity theorem for minimal laminations and the local picture theorem on the scale of topology to obtain two descriptive results for certain possibly singular minimal laminations of $\mathbb{R}^3$. These two…

We study the basic properties of a dual "spectral" topology on positive type spaces of h-inductive theories and its essential connection to infinitary logic. The topology is Hausdorff, has the Baire property, and its compactness…

In this paper we define intensional models for the classical theory of types, thus arriving at an intensional type logic ITL. Intensional models generalize Henkin's general models and have a natural definition. As a class they do not…

We establish universal approximation theorems for infinite-dimensional geometric rough paths, i.e., we show that continuous functions on the space of infinite-dimensional weakly geometric H\"older continuous rough paths can be approximated…

Let $X$ be an asymptotically hyperbolic manifold and $M$ its conformal infinity. This paper is devoted to deduce several existence results of the fractional Yamabe problem on $M$ under various geometric assumptions on $X$ and $M$: Firstly,…

We present a model-theoretic property of finite structures, that can be seen to be a finitary analogue of the well-studied downward L\"owenheim-Skolem property from classical model theory. We call this property as the…

We continue our work on the model theory of free lattices, solving two of the main open problems from our first paper on the subject. Our main result is that the universal (existential) theory of infinite free lattices is decidable. Our…

For a given finite subset $S$ of a compact Riemannian manifold $(M,g)$ whose Schouten curvature tensor belongs to a given cone, we establish a necessary and sufficient condition for the existence and uniqueness of a conformal metric on $M…

We prove a Clarkson-Erd\"os-Schwartz type theorem for the case of a closed sector in the plane. Concretely, we get some sufficient conditions for the incompleteness and minimality of a M\"untz system $E(\Lambda)={z^{\lambda_n}:n=0,1,...}$…

In this article, we introduce and investigate the concept of partial quasi-metric type space as a generalization of both partial quasi-metric and quasi-metric type spaces. We show that many important constructions studied in K\"unzi's…

On a 3-manifold bounding a compact 4-manifold, let a conformal structure be induced from a complete Einstein metric which conformally compactifies to a K\"ahler metric. Formulas are derived for the eta invariant of this conformal structure…

In this paper we establish a general framework in which the verification of support theorems for generalized convex functions acting between an algebraic structure and an ordered algebraic structure is still possible. As for the domain…

In this paper, we give an interesting extension of the partial S-metric space which was introduced [4] to the M_s-metric space. Also, we prove the existence and uniqueness of a fixed point for a self mapping on an Ms-metric space under…

Using the sine-Gordon model as the prime example an alternative approach to integrable boundary conditions for a theory restricted to a half-line is proposed. The main idea is to explore the consequences of taking into account the…

In many instances in first order logic or computable algebra, classical theorems show that many problems are undecidable for general structures, but become decidable if some rigidity is imposed on the structure. For example, the set of…