Related papers: Bi-interpretation in weak set theories
We introduce the concept of inverse powerset by adding three axioms to the Zermelo-Fraenkel set theory. This extends the Zermelo-Fraenkel set theory with a new type of set which is motivated by an intuitive meaning and interesting…
The modern way to understand symmetries of a quantum field theory is via its topological defects in various dimensions. In this contribution to the proceedings we focus on line defects in 2d QFT and we point out that topological defects…
The compactness phenomenon is one of the featured aspects of structuralism in mathematics. In simple and broad words, a compactness property holds in a structure if a related property is satisfied by sufficiently many substructures of that…
Recent models of intensional type theory have been constructed in algebraic weak factorization systems (AWFSs). AWFSs give rise to comprehension categories that feature non-trivial morphisms between types; these morphisms are not used in…
We focus on the persistence principle over weak interpretability logic. Our object of study is the logic obtained by adding the persistence principle to weak interpretability logic from several perspectives. Firstly, we prove that this…
This paper develops a new approach to computational argumentation that is informed by philosophical and linguistic views. Namely, it takes into account two ideas that have received little attention in the literature on computational…
We prove a weakened version of the reflection of Reinhardt cardinals by super Reinhardt cardinals: Let $M=(V^M,P)$ be a countable model of second order set theory $\mathsf{ZF}_2$ (with universe $V^M$ and classes $P$) which models "$\kappa$…
We prove that the class of all ordinals Ord is not weakly compact with respect to definable classes. Specifically, in any model of ZFC, the definable tree property fails for Ord, in that there is a definable Ord tree with no definable…
We analyse abelian T-duality for WZW models of simply-connected groups. We demonstrate that the dual theory is a certain orbifold of the original theory, and check that it is conformally invariant. We determine the spectrum of the dual…
We discuss a large class of classical field theories with continuous translation symmetry. In the quantum theory, a new anomaly explicitly breaks this translation symmetry to a discrete symmetry. Furthermore, this discrete translation…
Justin Moore's weak club-guessing principle $\mho$ admits various possible generalizations to the second uncountable cardinal. One of them was shown to hold in ZFC by Shelah. A stronger one was shown to follow from several consequences of…
Group field theories (GFT) are higher dimensional generalizations of matrix models whose Feynman diagrams are dual to triangulations. Here we propose a modification of GFT models that includes extra field indices keeping track of the…
Weakly dicomplemented lattices are bounded lattices equipped with two unary operations to encode a negation on {\it concepts}. They have been introduced to capture the equational theory of concept algebras \cite{Wi00}. They generalize…
Hilary Putnam once suggested that "the actual existence of sets as 'intangible objects' suffers... from a generalization of a problem first pointed out by Paul Benacerraf... are sets a kind of function or are functions a sort of set?"…
The $\alpha'$-deformed frame-like Double Field Theory (DFT) is a T-duality and gauge invariant extension of DFT in which generalized Green-Schwarz transformations provide a gauge principle that fixes the higher-derivative corrections. It…
In this paper, it is demonstrated that there is a parallelism between the relational interpretation of Rovelli and the interpretation of soft matter based on intermediate asymptotics. The general interpretation of physics strongly assumes…
We present and analyze a natural hierarchy of weak theories, develop analysis in them, and show that they are interpretable in bounded quantifier arithmetic $\text{I}\Delta_0$ (and hence in Robinson arithmetic Q). The strongest theories…
The aim of this paper is to prove two new uncertainty principles for the Fourier-Bessel transform (or Hankel transform). The first of these results is an extension of a result of Amrein-Berthier-Benedicks, it states that a non zero function…
We show that bi-flat $F$-manifolds can be interpreted as natural geometrical structures encoding the almost duality for Frobenius manifolds without metric. Using this framework, we extend Dubrovin's duality between orbit spaces of Coxeter…
The idea of this approach towards proving the consistency of Quine's New Foundations set theory is to go in a completely untyped manner. So no contemplation about types is utilized here. All conceptualization pivots around proving a handful…