Related papers: Relational reasoning in the region connection calc…
We present a self-contained analysis of infinity from two mathematical perspectives: set theory and algebra. We begin with cardinal and ordinal numbers, examining deep questions such as the continuum hypothesis, along with foundational…
We investigate the computability of algebraic closure and definable closure with respect to a collection of formulas. We show that for a computable collection of formulas of quantifier rank at most $n$, in any given computable structure,…
Rice's theorem shows that nontrivial extensional properties of partial recursive functions are undecidable. For finite weighted Boolean optimization/CSP-style slices, a Rice-style structural analogue holds for tractability classification:…
This paper investigates the logical strength of completeness theorems for modal propositional logic within second-order arithmetic. We demonstrate that the weak completeness theorem for modal propositional logic is provable in…
This chapter provides an introduction to the use of diagrammatic language, or perhaps more accurately, diagrammatic calculus, in quantum information and quantum foundations. We illustrate the use of diagrammatic calculus in one particular…
Let $D$ be a connected component of a possibly disconnected reductive group $G$ over an algebraic closed field. We define a partition of $D$ into finitely many Strata each of which is a union of $G^0$-conjugacy classes of fixed dimension.…
We show that a fractal cube $F$ in $\mathbb R^3$ may have an uncountable set $Q$ of connected components $K_\alpha$ neither of which is contained in any plane, whereas the set $Q$ is a totally disconnected self-similar subset of the…
The formalization of process algebras usually starts with a minimal core of operators and rules for its transition system, and then relax the system to improve its usability and ease the proofs. In the calculus of communicating systems…
We give a practical computer algebra implementation of the Covering Lemma for finite transformation semigroups. The lemma states that given a surjective relational morphism $(X,S)\twoheadrightarrow(Y,T)$, we can establish emulation by a…
In this article we use existing machinery to define connective $K$-theory spectra associated to topological ringoids. Algebraic $K$-theory of discrete ringoids, and the analytic $K$-theory of Banach categories are obtained as special cases.…
To some braiding R of Hecke type (a Hecke symmetry) we put into correspondence an associative algebra called the modified Reflection Equation Algebra (mREA). We construct a series of matrices L_(m), m=1,2,... with entries belonging to mREA…
We introduce the nuclear dimension of a C*-algebra; this is a noncommutative version of topological covering dimension based on a modification of the earlier concept of decomposition rank. Our notion behaves well with respect to inductive…
Galilean Conformal Algebras (GCA) have been recently proposed as a different non-relativistic limit of the AdS/CFT conjecture. In this note, we look at the representations of the GCA. We also construct explicitly the two and three point…
One-dimensional quantum cellular automata (QCA) consist in a line of identical, finite dimensional quantum systems. These evolve in discrete time steps according to a local, shift-invariant unitary evolution. By local we mean that no…
We show that a C*-algebra "looking like" a Cuntz-Krieger algebra is a Cuntz-Krieger algebra. This implies that, in an appropriate sense, the class of Cuntz-Krieger algebras is closed under extensions of real rank zero.
The relation between the quark-gluon description of QCD and the hadronic picture is studied up to order alpha_s. The analysis of the spin-1 correlators is developed within the large NC framework. Both representations are shown to be…
We study CR-manifolds of arbitrary CR codimension, mainly focusing on Levi and contact-nondegeneracy and depth. We investigate these and other invariants in the locally homogeneous case, developing a comprehensive theory which establishes…
Some basic properties of the ring of integers $\mathbb{Z}$ are extended to entire rings. In particular, arithmetic in entire principal rings is very similar than arithmetic in the ring of integers $\mathbb{Z}$. These arithmetic properties…
An algebraic description of basic discrete symmetries (space inversion P, time reversal T, charge conjugation C and their combinations PT, CP, CT, CPT) is studied. Discrete subgroups {1,P,T,PT} of orthogonal groups of multidimensional…
We develop general foundations of topological algebra over a linearly topologized ring k in a format applicable to both formal schemes and analytic adic spaces. We are especially interested in determining exact closed tensor categories of…