Related papers: Sharpening independence results for Huntington's a…
We present an easy proof that $p$--Hardy's inequality implies uniform $p$--fatness of the boundary when $p=n$. The proof works also in metric space setting and demonstrates the self--improving phenomenon of the $p$--fatness. We also explore…
The composite nature of a shallow bound state is studied by using the weak-binding relation, which connects the compositeness of the bound state with observables. We first show that the previous weak-binding relation cannot be applied to…
We study the coherence and conservativity of extensions of dependent type theories by additional strict equalities. By considering notions of congruences and quotients of models of type theory, we reconstruct Hofmann's proof of the…
A key idea in convex optimization theory is to use well-structured affine functions to approximate general functions, leading to impactful developments in conjugate functions and convex duality theory. This raises the question: what are the…
We continue the program of structural differential geometry that begins with the notion of a tangent category, an axiomatization of structural aspects of the tangent functor on the category of smooth manifolds. In classical geometry, having…
In this paper we will first introduce the notion of affine structures on a ringed space and then obtain several properties. Affine structures on a ringed space, arising mainly from complex analytical spaces of algebraic schemes over number…
The axion Weak Gravity Conjecture implies that when parametrically increasing the axion decay constants, instanton corrections become increasingly important. We provide strong evidence for the validity of this conjecture by studying the…
We conjecture that a convex polytope is uniquely determined up to isometry by its edge-graph, edge lengths and the collection of distances of its vertices to some arbitrary interior point, across all dimensions and all combinatorial types.…
We discuss a possible framework for the construction of a quantum gravity theory where the principles of QFT and general relativity can coexist harmonically. Moreover, in order to fix the correct gauge group of the theory we study the most…
We propose and axiomatize preferences on a product state space in light of uncertainty regarding the dependency of different payoff-relevant factors. Dependence structures allow to decompose probabilities and allow to pin down behavior…
This thesis covers several developments performed in metric-affine gravity. This alternative framework extends General Relativity by considering a more general connection than the one induced by the metric (i.e., arbitrary torsion and…
A new scheme is proposed for dealing with the problem of singularities in General Relativity. The proposal is, however, much more general than this. It can be used to deal with manifolds of any dimension which are endowed with nothing more…
Hardy property of means has been extensively studied by P\'ales and Pasteczka since 2016. The core of this research is based on few of their properties: concavity, symmetry, monotonicity, repetition invariance and homogeneity (last axiom…
We show that numerous distinctive concepts of constructive mathematics arise automatically from an "antithesis" translation of affine logic into intuitionistic logic via a Chu/Dialectica construction. This includes apartness relations,…
Frege's theorem says that second-order Peano arithmetic is interpretable in Hume's Principle and full impredicative comprehension. Hume's Principle is one example of an abstraction principle, while another paradigmatic example is Basic Law…
Affine continuous logic is extended to affine integration logic. Affine compactness theorem is proved by both the ultramean construction and Henkin's method. Also, a proof system and a completeness theorem are given. An appropriate variant…
We give an almost entirely model-theoretic account of both Ramsey classes of finite structures and of generalized indiscernibles as studied in special cases in (for example) [7], [9]. We understand "theories of indiscernibles" to be special…
In this paper we introduce the class of weak Heyting Brouwer algebras (WHB-algebras, for short). We extend the well known duality between distributive lattices and Priestley spaces, in order to exhibit a relational Priestley-like duality…
Following F. William Lawvere, we show that many self-referential paradoxes, incompleteness theorems and fixed point theorems fall out of the same simple scheme. We demonstrate these similarities by showing how this simple scheme encompasses…
We define and study a metric independence notion in a homogeneous metric abstract elementary class with perturbations that is $d^p$-superstable (superstable wrt. the perturbation topology), weakly simple and has complete type spaces and we…