相关论文: An Example of Pi^0_3-complete Infinitary Rational …

Let $\kappa$ be a regular cardinal. Consider the Baire numbers of the spaces $(2^{\theta})_\kappa$ (functions from $\theta$ to 2 and the less than $\kappa$ topology) for various $\theta \geq \kappa$. Let l be the number of such different…

A non-deterministic automaton running on infinite trees is unambiguous if it has at most one accepting run on every tree. The class of languages recognisable by unambiguous tree automata is still not well-understood. In particular,…

The present work investigates regular, semiregular, and chiral polytopes of any rank $d\geq 3$, whose automorphism groups are 2-groups. There is a large variety of rather small finite regular or alternating semiregular polytopes with…

Fair termination is the property of programs that may diverge "in principle" but that terminate "in practice", i.e. under suitable fairness assumptions concerning the resolution of non-deterministic choices. We study a conservative…

We construct four infinite families of chiral $3$-polytopes of type $\{4, 8\}$, with $1024m^4$, $2048m^4$, $4096m^4$ and $8192m^4$ automorphisms for every positive integer $m$, respectively. The automorphism groups of these polytopes are…

We divide the class of infinite computable trees into three types. For the first and second types, $0'$ computes a nontrivial self-embedding while for the third type $0''$ computes a nontrivial self-embedding. These results are optimal and…

In this paper, we study the continuity of rational functions realized by B\"uchi finite state transducers. It has been shown by Prieur that it can be decided whether such a function is continuous. We prove here that surprisingly, it cannot…

In this paper, we give new examples of a finite lattice $L$ such that the join-meet ideal $I_L$ is radical.

Parikh automata extend finite automata by counters that can be tested for membership in a semilinear set, but only at the end of a run, thereby preserving many of the desirable algorithmic properties of finite automata. Here, we study the…

We derive the integral operator form for the general rational solution of the Yang-Baxter equation with $s\ell(2|1)$ symmetry. Considering the defining relations for the kernel of the R-operator as a system of second order differential…

Abstract polytopes are combinatorial objects that generalise geometric objects such as convex polytopes, maps on surfaces and tilings of the space. Chiral polytopes are those abstract polytopes that admit full combinatorial rotational…

Motivated by problems arising in the relative trace formula and arithmetic invariant theory we prove the existence of rational points on orbits arising from certain infinitesimal symmetric spaces. As an application, we prove analogous…

We shall present effective approximations measures for certain infinite products related to $q$-exponential function. There are two main targets. First we shall prove an explicit irrationality measure result for the values of…

We improve the known results about the complexity of the relation of isomorphism between separable Banach spaces up to Borel reducibility, and we achieve this using the classical spaces $c_0$, $\ell_p$ and $L_p$, $1 \leq p <2$. More…

This paper is devoted to systematic studies of some extensions of first-order G\"odel logic. The first extension is the first-order rational G\"odel logic which is an extension of first-order G\"odel logic, enriched by countably many…

For a geometrically rational surface X over an arbitrary field of characteristic different from 2 and 3 that contains all roots of 1, we show that either X is birational to a product of a projective line and a conic, or the group of…

Let X be an irreducible variety and Bir(X) its group of birational transformations. We show that the group structure of Bir(X) determines whether X is rational and whether X is ruled. Additionally, we prove that any Borel subgroup of Bir(X)…

This paper summarizes the fundamental expressiveness, closure, and decidability properties of various finite-state automata classes with multiple input tapes. It also includes an original algorithm for the intersection of one-way…

We describe an infinitary logic for metric structures which is analogous to $L_{\omega_1, \omega}$. We show that this logic is capable of expressing several concepts from analysis that cannot be expressed in finitary continuous logic. Using…

We describe a 3-parametric family $\mathcal{K}$ of properly embedded minimal tori with four parallel ends in quotients of $\mathbb{R}^3$ by two independent translations, which we will call the \textit{Standard Examples.} These surfaces…