Related papers: The Mostowski Bridge
Godel's First Incompleteness Theorem is generalized to definable theories, which are not necessarily recursively enumerable, by using a couple of syntactic-semantic notions, one is the consistency of a theory with the set of all true…
We investigate a hierarchy of semidefinite bounds $\vartheta^{(r)}(G)$ for the stability number $\alpha(G)$ of a graph $G$, based on its copositive programming formulation and introduced by de Klerk and Pasechnik [{\em SIAM J. Optim.} 12…
A $Z_2\times Z_2$-graded Lie superalgebra $g$ is a $Z_2\times Z_2$-graded algebra with a bracket $[.,.]$ that satisfies certain graded versions of the symmetry and Jacobi identity. In particular, despite the common terminology, $g$ is not a…
We investigate a generalization of the {\L}o\'s-Tarski preservation theorem via the semantic notion of \emph{preservation under substructures modulo $k$-sized cores}. It was shown earlier that over arbitrary structures, this semantic notion…
This article discusses completeness of Boolean Algebra as First Order Theory in Goedel's meaning. If Theory is complete then any possible transformation is equivalent to some transformation using axioms, predicates etc. defined for this…
We prove a stronger version of the Kontsevich Formality Theorem for orientable manifolds, relating the Batalin-Vilkovisky (BV) algebra of multivector fields and the homotopy BV algebra of multidifferential operators of the manifold.
By making use of the $\phi $-mapping topological current theory, a novel expression of $\nabla \times \vec{V}$ in BEC is obtained, which reveals the inner topological structure of vortex lines characterized by Hopf indices and Brouwer…
The Univalence Principle is the statement that equivalent mathematical structures are indistinguishable. We prove a general version of this principle that applies to all set-based, categorical, and higher-categorical structures defined in a…
We provide a direct proof of a conjecture of Brini relating the Gromov-Witten theory of the resolved conifold to the Ablowitz-Ladik integrable hierarchy at the level of primaries. In doing so, we use a functional representation of the…
Bowen's notion of sofic entropy is a powerful invariant for classifying probability-preserving actions of sofic groups. It can be defined in terms of the covering numbers of certain metric spaces associated to such an action, the `model…
In this paper we establish a congruence on the degree of the map from a component of a Hurwitz space of covers of elliptic curves to the moduli stack of elliptic curves. Combinatorially, this can be expressed as a congruence on the…
We describe Bott towers as sequences of toric manifolds M^k, and identify the omniorientations which correspond to their original construction as toric varieties. We show that the suspension of M^k is homotopy equivalent to a wedge of Thom…
The first system of many-valued logic was introduced by J. Lukasiewicz, his motivation was of philosophical nature as he was looking for an interpretation of the concepts of possibility and necessity. Since then, plenty of research has been…
Two representations of a reductive group G are spectrally equivalent if the same irreducible representations appear in both of them. The semigroup of finite dimensional representations of G with tensor product and up to spectral equivalence…
A theory T is tight if different deductively closed extensions of T (in the same language) cannot be bi-interpretable. Many well-studied foundational theories are tight, including PA [Visser2006], ZF, Z2, and KM [enayat2017]. In this…
This paper examines the application of Tarski's Undefinability Theorem to first-order arithmetic. The generally accepted view is that for this case the Theorem establishes that arithmetic truth is not arithmetic. A careful examination of…
We consider the deformations of ``monomial solutions'' to Generalized Kontsevich Model \cite{KMMMZ91a,KMMMZ91b} and establish the relation between the flows generated by these deformations with those of $N=2$ Landau-Ginzburg topological…
We investigate a model-theoretic property that generalizes the classical notion of "preservation under substructures". We call this property \emph{preservation under substructures modulo bounded cores}, and present a syntactic…
In 1998 D. Tamarkin announced a proof of Kontsevich formality theorem based on the existence of structure of homotopy Gerstenhaber algebra in the Hochschild cochains of an associative algebra. In this note we give a detailed explanation of…
The consistency problem for a class of algebraic structures asks for an algorithm to decide for any given conjunction of equations whether it admits a non-trivial satisfying assignment within some member of the class. By Adyan (1955) and…