Related papers: Bi-interpretation in weak set theories

We introduce a generalization of stationary set reflection which we call "filter reflection", and show it is compatible with the axiom of constructibility as well as with strong forcing axioms. We prove the independence of filter reflection…

In the following paper we propose a model-theoretical way of comparing the "strength" of various truth theories which are conservative over PA. Let $\mathfrak{Th}$ denote the class of models of PA which admit an expansion to a model of…

We prove the characteristic zero case of Zilber's Restricted Trichotomy Conjecture. That is, we show that if $\mathcal M$ is any non-locally modular strongly minimal structure interpreted in an algebraically closed field $K$ of…

Possibility theory offers a framework where both Lehmann's "preferential inference" and the more productive (but less cautious) "rational closure inference" can be represented. However, there are situations where the second inference does…

Constructive theories usually have interesting metamathematical properties where explicit witnesses can be extracted from proofs of existential sentences. For relational theories, probably the most natural of these is the existence…

We predict credit applications with off-the-shelf, interchangeable black-box classifiers and we explain single predictions with counterfactual explanations. Counterfactual explanations expose the minimal changes required on the input data…

In [1, arXiv:1102.1844] the author disputes the conclusion of our paper [2, arXiv:1006.0714]. He claims that the Feynman graphs of three dimensional group field theory always represent pseudo manifolds. However, [1] uses a different…

We review Koszul duality in representation theory of category $ \cal O $, especially we give a new presentation of the Koszul duality functor. Combining this with work of Backelin, we show that the translation and Zuckerman functors are…

All known structural extensions of the substructural logic $\mathsf{FL_e}$, Full Lambek calculus with exchange/commutativity, (corresponding to subvarieties of commutative residuated lattices axiomatized by $\{\vee, \cdot, 1\}$-equations)…

All nonlinear extensions of the source-free Maxwell equations preserving both SO(2) electromagnetic duality invariance and conformal invariance are found, and shown to be limits of a one-parameter generalisation of Born-Infeld…

Most research on the interpretability of machine learning systems focuses on the development of a more rigorous notion of interpretability. I suggest that a better understanding of the deficiencies of the intuitive notion of…

Self-interpretation methods prompt language models to describe their own internal states, but remain unreliable due to hyperparameter sensitivity. We show that training lightweight adapters on interpretability artifacts, while keeping the…

In this paper we attempt to establish a theory of negative (quasi) probability distributions from fundamental principles and apply it to the study of the double-slit experiment in quantum mechanics. We do so in a way that preserves the main…

This work is motivated by the problem of finding the limit of the applicability of the first incompleteness theorem ($\sf G1$). A natural question is: can we find a minimal theory for which $\sf G1$ holds? We examine the Turing degree…

Motivated by permutation statistics, we define for any complex reflection group W a family of bivariate generating functions. They are defined either in terms of Hilbert series for W-invariant polynomials when W acts diagonally on two sets…

We study weak amenability of central Beurling algebras $ZL^1(G,\omega)$. The investigation is a natural extension of the known work on the commutative Beurling algebra $L^1(G,\omega)$. For [FC]$^-$ groups we establish a necessary condition…

We conjecture that for a strongly minimal theory T in a finite signature satisfying the Zilber Trichotomy, there are only three possibilities for the recursive spectrum of T: all countable models of T are recursively presentable; none of…

We show that the weak monadic second order theory of the structure $({\mathbb Q}, <)$ is first order interpretable in its automorphism group.

Artificial Intelligence models are becoming increasingly more powerful and accurate, supporting or even replacing humans' decision making. But with increased power and accuracy also comes higher complexity, making it hard for users to…

We study the Ramond twisted representations of the affine W-algebra W^k(g,f) in the case that f admits a good even grading. We establish the vanishing and the almost irreducibility of the corresponding BRST cohomology. This confirms some of…