Related papers: On Interpretations in B\"uchi Arithmetics
We present a bounded modified realisability and a bounded functional interpretation of intuitionistic nonstandard arithmetic with nonstandard principles. The functional interpretation is the intuitionistic counterpart of Ferreira and…
In this work, we present multiple new optimizations and heuristics for the determinization of B\"uchi automata that exploit a number of semantic and structural properties, most of which may be applied together with any determinization…
Bipolar Argumentation Frameworks (BAFs) admit several interpretations of the support relation and diverging definitions of semantics. Recently, several classes of BAFs have been captured as instances of bipolar Assumption-Based…
We show that the functional bosonization procedure can be generalized in such a way that, to any field theory with a conserved Abelian charge in (2+1) dimensions, there corresponds a dual Abelian gauge field theory. The properties of this…
We introduce the operators "modified limit" and "accumulation" on a Banach space, and we use this to define what we mean by being internally computable over the space. We prove that any externally computable function from a computable…
We present a unified translation of LTL formulas into deterministic Rabin automata, limit-deterministic B\"uchi automata, and nondeterministic B\"uchi automata. The translations yield automata of asymptotically optimal size (double or…
Denote by $B_n$ the set of complex square matrices of order $n$, whose Euclidean operator norms are $<1$. Its Shilov boundary is the set $U(n)$ of all unitary matrices. A holomorphic map $B_m\to B_n$ is inner if it sends $U(m)$ to $U(n)$.…
In 1996, Michaux and Villemaire considered integer relations $R$ which are not definable in Presburger Arithmetic. That is, not definable in first-order logic over integers with the addition function and the order relation…
The representation of integral binary forms as sums of two squares is discussed and applied to establish the Manin conjecture for certain Ch\^atelet surfaces defined over the rationals.
Two salient notions of sameness of theories are synonymy, also known as definitional equivalence, and bi-interpretability. Of these two definitional equivalence is the strictest notion. In which cases can we infer synonymy from…
We describe the symbolic calculus of operators on the unit sphere in the complex n-space $\mathbb C^n$ defined by the Berezin quantization. In particular, we derive a explicit formula for the composition of Berezin symbol and with that a…
The space of Bloch functions on bounded symmetric domains is extended by considering Bloch functions $f$ on the unit ball $B_E$ of finite and infinite dimensional complex Banach spaces in two different ways: by extending the classical Bloch…
Let $\varphi(x_1,\ldots,x_h,y) = u_1x_1 + \cdots + u_hx_h+vy$ be a linear form with nonzero integer coefficients $u_1,\ldots, u_h, v.$ Let $\mathcal{A} = (A_1,\ldots, A_h)$ be an $h$-tuple of finite sets of integers and let $B$ be an…
Given two C*-algebras A and B, abstract A-B bimodules that can be isometrically represented as operator bimodules are characterised in terms of their norm. Various properties of such bimodules are given. Their theory is very similar to…
A "numerical set-expression" is a term specifying a cascade of arithmetic and logical operations to be performed on sets of non-negative integers. If these operations are confined to the usual Boolean operations together with the result of…
The finite families of biorthogonal rational functions and orthogonal polynomials of Hahn type are interpreted algebraically in a unified way by considering the three-generated meta Hahn algebra and its finite-dimensional representations.…
Probabilistic B\"uchi Automata (PBA) are randomized, finite state automata that process input strings of infinite length. Based on the threshold chosen for the acceptance probability, different classes of languages can be defined. In this…
We consider an extension of the unary negation fragment of first-order logic in which arbitrarily many binary symbols may be required to be interpreted as equivalence relations. We show that this extension has the finite model property.…
Research in Artificial Intelligence (AI) has focused mostly on two extremes: either on small improvements in narrow AI domains, or on universal theoretical frameworks which are usually uncomputable, incompatible with theories of biological…
Quadratic algebras are generalizations of Lie algebras which include the symmetry algebras of 2nd order superintegrable systems in 2 dimensions as special cases. The superintegrable systems are exactly solvable physical systems in classical…