Related papers: A symmetric $\beta$-model

A set is effectively chosen in every class of $\bf\Delta^0_2$ sets modulo countable.

This work extends the results known for the Delta sets of non-symmetric numerical semigroups with embedding dimension three to the symmetric case. Thus, we have a fast algorithm to compute the Delta set of any embedding dimension three…

It is shown that for positive real numbers $ 0<\lambda_{1}<\dots<\lambda_{n}$, $\left[\frac{1}{\beta({\lambda_i}, {\lambda_j})}\right]$, where $ \beta(\cdot,\cdot)$ denotes the beta function, is infinitely divisible and totally positive.…

Solving nonlinear SMT problems over real numbers has wide applications in robotics and AI. While significant progress is made in solving quantifier-free SMT formulas in the domain, quantified formulas have been much less investigated. We…

We show that assuming modest large cardinals, there is a definable class of ordinals, closed and unbounded beneath every uncountable cardinal, so that for any closed and unbounded subclasses $P, Q$, $\langle L[P],\in ,P \rangle$ and…

It is studied a connection between the separability and the countable chain condition of spaces with the $L$-property (a topological space $X$ has the $L$-property if for every topological space $Y$, separately continuous function…

We say that an ideal I is homogeneous, if its restriction to any I-positive subset is isomorphic to I. The paper investigates basic properties of this notion -- we give examples of homogeneous ideals and present some applications to…

We initiate the study of computable presentations of real and complex C*-algebras under the program of effective metric structure theory. With the group situation as a model, we develop corresponding notions of recursive presentations and…

We show that many important natural science models in their mathematical formulation can be reduced to non-strictly hyperbolic systems of the same kind. This allows the same methods to be applied to them so that some essential results…

Let $T$ be a countable complete first-order theory with a definable, infinite, discrete linear order. We prove that $T$ has continuum-many countable models. The proof is purely first-order, but raises the question of Borel completeness of…

This paper extends those of Glendinning and Sidorov [3] and of Hare and Sidorov [6] from the case of the doubling map to the more general $\beta$-transformation. Let $\beta \in (1,2)$ and consider the $\beta$-transformation…

Working in any model theoretic structure, we single out a class of definable bipartite graphs that admit definable, close to perfect matchings. We use this result to prove a strengthening of Tarski's theorem for the definable setting.

We prove that an arbitrary countable dimensional Lie algebra over a field of characteristic $\neq 2$ that is locally of subexponential growth is embeddable in a finitely generated Lie algebra of subexponential growth.

In this paper, we define a new realizability semantics for the simply typed lambda-mu-calculus. We show that if a term is typable, then it inhabits the interpretation of its type. We also prove a completeness result of our realizability…

Theories of classification distinguish classes with some good structure theorem from those for which none is possible. Some classes (dense linear orders, for instance) are non-classifiable in general, but are classifiable when we consider…

Let $H$ be a commutative multiplicative hyperring and $\alpha, \beta \in \mathbb{Z}^+$. A proper hyperideal $P$ of $H$ is called (weakly) $(\alpha,\beta)$-prime if $x^\alpha \circ y \subseteq P$ for $x,y \in H$ implies $x^\beta \subseteq P$…

This paper is devoted to understand groups definable in Presburger arithmetic. We prove the following theorems: Theorem 1. Every group definable in a model of Presburger Arithmetic is abelian-by-finite. Theorem 2. Every bounded group…

We name an indecomposable symmetrizable generalized Cartan matrix $A$ and the corresponding Kac--Moody Lie algebra ${\goth g} ^\prime (A)$ {\it of the arithmetic type} if for any $\beta \in Q$ with $(\beta | \beta)<0$ there exist $n(\beta…

Let {\phi} be an arbitrary generalized Gaussian (squeezed coherent state), {\Lambda}_{{\alpha}{\beta}}=({\alpha}_1 Z \times\cdot\cdot\cdot\times \alpha_{n}\mathbb{Z)\times}(\beta_{1}\mathbb{Z}\times\cdot\cdot\cdot…

Several studies have exploited the integrable structure of central spin models to deepen understanding of these fundamental systems. In recent years, an underlying supersymmetry for systems with XX interactions has been uncovered. Here we…