相关论文: On Non-Standard Models of B\"uchi Arithmetics

We introduce partially ordered two-way B\"uchi automata and characterize their expressive power in terms of fragments of first-order logic FO[<]. Partially ordered two-way B\"uchi automata are B\"uchi automata which can change the direction…

We compute the beta-functions of the standard model formulated on a noncommutative spacetime. If we assume that the scale for spacetime noncommutativity is of the order of 2.2 \times 10^{15} GeV we find that the three gauge couplings of the…

The basic power function $t_n(x)=x^n$ is in some sense a classical limit for large $x$, of the monictised Chebyshev polynomial of the first kind $T_n(x)/2^{n-1}$. A theorem of Ritt says they are the only two families of polynomials $p_n(x)$…

We introduce the notion of "functional extension" of a set X, by means of two natural algebraic properties of the operator * on unary functions. We study the connections with ultrapowers of structures with universe X, and we give a simple…

In this work, we exploit the power of \emph{unambiguity} for the complementation problem of B\"uchi automata by utilizing reduced run directed acyclic graphs (DAGs) over infinite words, in which each vertex has at most one predecessor. We…

We present calculations of the leading and O(1/N) terms in a large-N expansion of the \beta-functions for various supersymmetric theories: a Wess-Zumino model, supersymmetric QED and a non-abelian supersymmetric gauge theory. In all cases N…

In the present paper, unification of Bessel, modified Bessel, spherical Bessel and Bessel-Clifford functions via the generalized Pochhammer symbol [ Srivastava HM, Cetinkaya A, K{\i}ymaz O. A certain generalized Pochhammer symbol and its…

Bent functions are Boolean functions that are maximally nonlinear. They can be represented as bent squares, i.e., square matrices for which each row and each column is the Walsh spectrum of a Boolean function. Using this representation, it…

The first-order theory of addition over the natural numbers, known as Presburger arithmetic, is decidable in double exponential time. Adding an uninterpreted unary predicate to the language leads to an undecidable theory. We sharpen the…

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…

Probabilistic B\"uchi automata are a natural generalization of PFA to infinite words, but have been studied in-depth only rather recently and many interesting questions are still open. PBA are known to accept, in general, a class of…

This is a survey of results on definability and undefinability in models of arithmetic. The goal is to present a stark difference between undefinability results in the standard model and much stronger versions about expansions of…

We introduce a new functional space U designed to contain all classical arithmetic functions (Mobius, von Mangoldt, Euler phi, divisor functions, Dirichlet characters, etc.). The norm of U combines a Hilbert-type component, based on square…

$\beta$-functions for abelian and non-abelian gauge theories are studied in the regime where the large $N$ flavor expansion is applicable. The first nontrivial order in the 1/$N$ expansion is known for any value of $N\alpha$, and there are…

We calculate the possible Scott ranks of countable models of Peano arithmetic. We show that no non-standard model can have Scott rank less than $\omega$ and that non-standard models of true arithmetic must have Scott rank greater than…

We show that the existential fragment of B\"uchi arithmetic is strictly less expressive than full B\"uchi arithmetic of any base, and moreover establish that its $\Sigma_2$-fragment is already expressively complete. Furthermore, we show…

We propose $\omega$MSO$\Join$BAPA, an expressive logic for describing countable structures, which subsumes and transcends both Counting Monadic Second-Order Logic (CMSO) and Boolean Algebra with Presburger Arithmetic (BAPA). We show that…

We construct the non-standard complex (and real) numbers using the ultrapower method in the spirit of Cauchy's construction of the real numbers. We show that the non-standard complex numbers are a non-archimedean, algebraically closed…

Let $B_n$ (resp. $U_n$, $N_n$) be the set of $n\times n$ nonsingular (resp. unit, nilpotent) upper triangular matrices. We use a novel approach to explore the $B_n$-similarity orbits in $N_n$. The Belitski\u{\i}'s canonical form of $A\in…

Non-Archimedean mathematics (in particular, nonstandard analysis) allows to construct some useful models to study certain phenomena arising in PDE's; for example, it allows to construct generalized solutions of differential equations and…