Related papers: Sahlqvist via Translation
We prove a result which provides a link between the decomposition of parabolically induced representations and the Bushnell--Kutzko theory of typical representations. As an application, we show that there exists a well-defined inertial…
Although the categorical arithmetic is not effectively axiomatizable, the belief that the incompleteness Theorems can be apply to it is fairly common. Furthermore, the so-called "essential" (or "inherent") semantic incompleteness of the…
This is the second article in a two-part series presenting a new proof comparing the non-invariant trace formula for a general linear group with that of one of its inner forms. In this article, we focus on the spectral side of the trace…
Let H be any reductive p-adic group. We introduce a notion of cuspidality for enhanced Langlands parameters for H, which conjecturally puts supercuspidal H-representations in bijection with such L-parameters. We also define a cuspidal…
Canonical coordinates for the Schr\"odinger equation are introduced, making more transparent its Hamiltonian structure. It is shown that the Schr\"odinger equation, considered as a classical field theory, shares with Liouville completely…
Generalised indiscernibles highlight a strong link between model theory and structural Ramsey theory. In this paper, we use generalised indiscernibles as tools to prove results in both these areas. More precisely, we first show that a…
Fulton and MacPherson introduced the notion of bivariant theories and Grothendieck transformations related to Riemann-Roch-theorems. But there are many situations, where such a bivariant theory or a corresponding Grothendieck transformation…
We study the completeness problem for propositionally quantified modal logics on quantifiable general frames, where the admissible sets are the propositions the quantifiers can range over and expressible sets of worlds are admissible, and…
Recent work has characterised rigorously what it means for one quantum system to simulate another, and demonstrated the existence of universal Hamiltonians -- simple spin lattice Hamiltonians that can replicate the entire physics of any…
We consider a transmission problem for the Helmholtz equation across the boundary of an extension domain. A such boundary can be Lipschitz, fractal, or of varying Hausdorff dimension for instance. We generalise the notions of layer…
In the philosophical literature, symmetries of physical theories are most often interpreted within the general doctrine called 'Sophistication'. Roughly speaking, it says that models related by symmetries can peacefully co-exist while…
The Congruence Lattice Problem asks whether every algebraic distributive lattice is isomorphic to the congruence lattice of a lattice. It was hoped that a positive solution would follow from E. T. Schmidt's construction or from the approach…
Non-wellfounded proof systems impose a global condition called the global trace condition (GTC) on a derivation tree to ensure soundness. Providing a categorical characterisation of the GTC that guarantees soundness remains challenging due…
In the past both instrumentalism and empiricism have inspired certain pragmatic elements into the Copenhagen interpretation of quantum mechanics. The relation of such pragmatisms with the correspondence principle is discussed. It is argued…
We provide a new foundational approach to the generalization of terms up to equational theories. We interpret generalization problems in a universal-algebraic setting making a key use of projective and exact algebras in the variety…
In this paper, we introduce the notion of Quaternion Linear Canonical Stockwell Transform which is an extension of the Linear Canonical Transform. We establish some inequalities like Heisenberg's Inequality and logarithmic inequality for…
Notions of asimulation and k-asimulation introduced in [Olkhovikov, 2011] are extended onto the level of predicate logic. We then prove that a first-order formula is equivalent to a standard translation of an intuitionistic predicate…
We present a logic for reasoning about graded inequalities which generalizes the ordinary inequational logic used in universal algebra. The logic deals with atomic predicate formulas of the form of inequalities between terms and formalizes…
This paper develops a proof-theoretic framework for abstract interpretation by systematically associating logical systems with finite abstractions. Building on earlier work on the internal logics of abstractions, we propose a general…
It is standard to regard the intuitionistic restriction of a classical logic as increasing the expressivity of the logic because the classical logic can be adequately represented in the intuitionistic logic by double-negation, while the…