Related papers: Constructive Ackermann's interpretation
We give an interpretation of the double affine Hecke algebra of Cherednik as the (suitably regularized) algebra of double cosets of a group G by a subgroup J, extending the well known interpretations of finite and affine Hecke algebras. In…
Some mathematical questions relating to Coset Conformal Field Theories (CFT) are considered in the framework of Algebraic Quantum Field Theory as developed previously by us. We consider the issue of fixed point resolution in the diagonal…
Independence of premise principles play an important role in characterizing the modified realizability and the Dialectica interpretations. In this paper we show that a great many intuitionistic set theories are closed under the…
Automaton models are often seen as interpretable models. Interpretability itself is not well defined: it remains unclear what interpretability means without first explicitly specifying objectives or desired attributes. In this paper, we…
We find that second order quantification is problematic when a quantified concept variable is supposed to function predicatively. This issue is analyzed and it is shown that a constructive interpretation of the falling under relation…
In this paper we show that using implicative algebras one can produce models of set theory generalizing Heyting/Boolean-valued models and realizability models of (I)ZF, both in intuitionistic and classical logic. This has as consequence…
We use fast-growing finite and infinite sequences of natural numbers and more complicated constructs to define models of hypercomputation and interpret non-arithmetic predicates, with the strongest extensions reaching full second order…
We give an analysis and generalizations of some long-established constructive completeness results in terms of categorical logic and pre-sheaf and sheaf semantics. The purpose is in no small part conceptual and organizational: from a few…
Let M be a transitive model of set theory. There is a canonical interpretation functor between the category of regular Hausdorff, continuous open images of Cech-complete spaces of M and the same category in V, preserving many concepts of…
We construct a global counterpart to the notion of affine modification due to Kaliman and Zaidenberg. This leads to a simple explicit description of the structure of birational affine morphisms between arbitrary quasi-projective varieties.
Orbit-finite models of computation generalise the standard models of computation, to allow computation over infinite objects that are finite up to symmetries on atoms, denoted by $\mathbb{A}$. Set theory with atoms is used to reason about…
CZF + Separation is shown to be equiconsistent with second-order arithmetic, using realizability.
We investigate two ways in which self-maps of an infinite set may be close to bijections; our investigation generates a $\mathbb{Z}$-valued index theory and a corresponding extension by $\mathbb{Z}$ for the quotient of the full symmetric…
We reprove the countable splitting lemma by adapting Nawrotzki's algorithm which produces a sequence that converges to a solution. Our algorithm combines Nawrotzki's approach with taking finite cuts. It is constructive in the sense that…
We present constructions of countable two-dimensional subshifts of finite type (SFTs) with interesting properties. Our main focus is on properties of the topological derivatives and subpattern posets of these objects. We present a countable…
The main aim of the paper is to formulate and prove a result about the structure of double affine Hecke algebras which allows its two commutative subalgebras to play a symmetric role. This result is essential for the theory of intertwiners…
Hecke algebras are usually defined algebraically, via generators and relations. We give a new algebro-geometric construction of affine and double-affine Hecke algebras (the former is known as the Iwahori-Hecke algebra, and the latter was…
In this paper we introduce a new infinite set of transcendental integrals. Each of them is expressed by corresponding value of the function $|\zf|^{-2}$. Such a property is another argument about universality of the Riemann zeta-function…
Kastermans proved that consistently $\bigoplus_{\aleph_1} \mathbb{Z}_2$ has a cofinitary representation. We present a short proof that $\bigoplus_{\mathfrak{c}} \mathbb{Z}_2$ always has an arithmetic cofinitary representation. Further, for…
We introduce and begin to study Lie theoretical analogs of symplectic reflection algebras for a finite cyclic group, which we call "cyclic double affine Lie algebra". We focus on type A : in the finite (resp. affine, double affine) case, we…