相关论文: Bqo is Pi^1_2-complete
The main goal of this project is to prove the equivalency of several characterizations of completeness of Archimedean ordered fields; some of which appear in most modern literature as theorems following from the Dedekind completeness of the…
Motivated by quantum states with zero transition probability, we introduce the notion of ortho-set which is a set equipped with a relation $\neq_\mathrm{q}$ satisfying: $x\neq_\mathrm{q} y$ implies both $x\neq y$ and $y \neq_\mathrm{q} x$.…
We establish that every second countable completely regularly preordered space (E,T,\leq) is quasi-pseudo-metrizable, in the sense that there is a quasi-pseudo-metric p on E for which the pseudo-metric p\veep^-1 induces T and the graph of…
We analyze the effective content of countable, second countable topological spaces by directly calculating the complexity of several topologically defined index sets. We focus on the separation principles, calibrating an arithmetic…
We employ the notions of `sequential function' and `interrogation' (dialogue) in order to define new partial combinatory algebra structures on sets of functions. These structures are analyzed using J. Longley's preorder-enriched category of…
It is well known that the set of algebraic numbers (let us call it $A$) is countable. In this paper, instead of the usage of the classical terminology of cardinals proposed by Cantor, a recently introduced methodology using \G1-based…
In the infinite-dimensional separable complex Hilbert space we construct new abstract examples of unbounded maximal accretive and maximal sectorial operators $B$ for which ${\rm dom\,}B^{\frac{1}{2}}\ne{\rm dom\,}B^{*{\frac{1}{2}}}$. New…
We introduce ($\ell$-)bimonoids as ordered algebras consisting of two compatible monoidal structures on a partially ordered (lattice-ordered) set. Bimonoids form an appropriate framework for the study of a general notion of complementation,…
We provide a method of constructing better-quasi-orders by generalising a technique for constructing operator algebras that was developed by Pouzet. We then generalise the notion of $\sigma$-scattered to partial orders, and use our method…
Higher-order probabilistic programming languages allow programmers to write sophisticated models in machine learning and statistics in a succinct and structured way, but step outside the standard measure-theoretic formalization of…
A new notion of an optimal algebra for a first order coordinate differential was introduced in \cite{BKO}. Some relevant examples are indicated. Quadratic identities in the optimal algebras and calculi on quadratic algebras are studied.…
Recent work has shown that quantum computers can compute scattering probabilities in massive quantum field theories, with a run time that is polynomial in the number of particles, their energy, and the desired precision. Here we study a…
We formulate an elementary condition on an involutive quantaloid Q under which there is a distributive law from the Cauchy completion monad over the symmetrisation comonad on the category of Q-enriched categories. For such quantaloids,…
In this note we give a wellfoundedness proof of a computable notation system for first-order reflection.
We complete our theory of weighted $L^p(w_1) \times L^q(w_2) \to L^r(w_1^{r/p} w_2^{r/q})$ estimates for bilinear bi-parameter Calder\'on--Zygmund operators under the assumption that $w_1 \in A_p$ and $w_2 \in A_q$ are bi-parameter weights.…
An example of a cocomplete abelian category that is not complete is constructed.
This paper concerns the self-similarity of topological spaces, in the sense defined in math.DS/0411344. I show how to recognize self-similar spaces, or more precisely, universal solutions of self-similarity systems. Examples include the…
Algebraic logic studies algebraic theories related to proposition and first-order logic. A new algebraic approach to first-order logic is sketched in this paper. We introduce the notion of a quantifier theory, which is a functor from the…
In 1994, John Cobb asked: given $N>m>k>0$, does there exist a Cantor set in $\mathbb R^N$ such that each of its projections into $m$-planes is exactly $k$-dimensional? Such sets were described for $(N,m,k)=(2,1,1)$ by L.Antoine (1924) and…
Given an (affine) integral arrangement $\mathcal{A}$ in $\mathbb{R}^n$, the reduction of $\mathcal{A}$ modulo an arbitrary positive integer $q$ naturally yields an arrangement $\mathcal{A}_q$ in $\mathbb{Z}_q^n$. Our primary objective is to…