Related papers: Constructing Types in Differentially Closed Fields…
We mainly investigate model of set theory with restricted choice, e.g., ZF + DC + "the family of countable subsets of lambda is well ordered for every lambda" (really local version for a given lambda). In this frame much of pcf theory can…
We investigate multi-field multicritical scalar theories using CFT constraints on two- and three-point functions combined with the Schwinger-Dyson equation. This is done in general and without assuming any symmetry for the models, which we…
${\cal Q}_0$ is an elegant version of Church's type theory formulated and extensively studied by Peter B. Andrews. Like other traditional logics, ${\cal Q}_0$ does not admit undefined terms. The "traditional approach to undefinedness" in…
We generalise the correspondence between $\aleph 0$-categorical theories and their automorphism groups to arbitrary complete theories in classical logic, and to some theories (including, in particular, all $\aleph 0$-categorical ones) in…
A Daniell-Stone type characterization theorem for Aumann integrals of set-valued measurable functions will be proven. It is assumed that the values of these functions are closed convex upper sets, a structure that has been used in some…
The article continues the work on the description of integrable nonlinear chains with three independent variables of the following form $u^j_{n+1,x}=u^j_{n,x}+f(u^{j+1}_{n}, u^{j}_n,u^j_{n+1 },u^{j-1}_{n+1})$ by the presence of a hierarchy…
In these notes, we aim at a precise definition of the tree level action for the noncommutative scalar and gauge field theories on four-dimensional canonically deformed Euclidean space. As tools to achieve this goal we employ power counting…
It is well known that ZFC, despite its usefulness as a foundational theory for mathematics, has two unwanted features: it cannot be written down explicitly due to its infinitely many axioms, and it has a countable model due to the…
We investigate the properties of lax comma categories over a base category $X$, focusing on topologicity, extensivity, cartesian closedness, and descent. We establish that the forgetful functor from $\mathsf{Cat}//X$ to $\mathsf{Cat}$ is…
Spontaneously broken, flavour-dependent, gauged $U(1)$ extensions of the Standard Model (SM) have many phenomenological uses. We chart the space of solutions to the gauge anomaly cancellation equations in such extensions, for both the SM…
Category theory gives a mathematical characterization of naturality but not of canonicity. The purpose of this paper is to develop the logical theory of canonical maps based on the broader demonstration that the dual notions of elements &…
Termination analysis of linear loops plays a key r\^{o}le in several areas of computer science, including program verification and abstract interpretation. Already for the simplest variants of linear loops the question of termination…
In this paper, using definability of types over indiscernible sequences as a template, we study a property of formulas and theories called "uniform definability of types over finite sets" (UDTFS). We explore UDTFS and show how it relates to…
Dependent type theory is the foundation of many modern proof assistants. Inhabitation and unification are undecidable problems that are useful for theorem proving and program synthesis. We introduce Canonical-min, a sound and complete…
Differentiable logics are a family of quantitative logics originated in the machine learning literature. Because of their origin, differentiable logics often come equipped with analytic properties that guarantee that they are…
We address analytic regularity for the divergence equation $\text{div}\, u = f$ in $\Omega$, with $u=0$ on $\partial\Omega$, where $\Omega$ is an arbitrary bounded analytic domain and $\int_{\Omega} f\,dx=0$. If $f$ is analytic on the…
We prove "untyping" theorems: in some typed theories (semirings, Kleene algebras, residuated lattices, involutive residuated lattices), typed equations can be derived from the underlying untyped equations. As a consequence, the…
We prove a differential analog of a theorem of Chevalley on extending homomorphisms for rings with commuting derivations, generalizing a theorem of Kac. As a corollary, we establish that, under suitable hypotheses, the image of a…
Assume ZF (without the Axiom of Choice). Let $j:V_\varepsilon\to V_\delta$ be a non-trivial $\in$-cofinal $\Sigma_1$-elementary embedding, where $\varepsilon,\delta$ are limit ordinals. We prove some restrictions on the constructibility of…
For each countable ordinal $\alpha$, we introduce an ideal $conv_\alpha$ and use it to characterize the class of all compact countable spaces which are homeomorphic to the space $\omega^{\alpha}\cdot n+1$ with the order topology. The…