Related papers: The proof-theoretic strength of Constructive Secon…
We consider natural $\Sigma^1_2$ definable analogues of many of the classical statements that have been shown to be equivalent to CH. It is shown that these $\Sigma^1_2$ analogues are equivalent to that all reals are constructible. We also…
We explore the possibility of extending Mardare et al. quantitative algebras to the structures which naturally emerge from Combinatory Logic and the lambda-calculus. First of all, we show that the framework is indeed applicable to those…
Justification logics are an explication of modal logic; boxes are replaced with proof terms formally through realisation theorems. This can be achieved syntactically using a cut-free proof system e.g. using sequent, hypersequent or nested…
We provide a universal characterization of the construction taking a scheme $X$ to its stable $\infty$-category $\text{Mot}(X)$ of noncommutative motives, patterned after the universal characterization of algebraic K-theory due to…
We present an explicit formula for the $K$-theory of the $C^*$-algebra associated with a relative generalized Boolean dynamical system $(\CB, \CL, \theta, \CI_\af; \CJ)$. In particular, we find concrete generators for the $K_1$-group of…
We formalize the theory of forcing in the set theory framework of Isabelle/ZF. Under the assumption of the existence of a countable transitive model of ZFC, we construct a proper generic extension and show that the latter also satisfies…
Given a graph of C*-algebras, we prove a long exact sequence in KK-theory for both the maximal and the vertex-reduced fundamental C*-algebras in the presence of possibly non GNS-faithful conditional expectations. We deduce from it the…
We first review aspects of Kac Moody indefinite algebras with particular focus on their hyperbolic subset. Then we present two field theoretical systems where these structures appear as symmetries. The first deals with complete…
The classical Gelfand--Naimark theorems provide important insight into the structure of general and of commutative C*-algebras. It is shown that these can be generalized to certain ordered *-algebras. More precisely, for $\sigma$-bounded…
The conjecture that M-theory has the rank eleven Kac-Moody symmetry e11 implies that Type IIA and Type IIB string theories in ten dimensions possess certain infinite dimensional perturbative symmetry algebras that we determine. This…
This book is an introductory course to basic commutative algebra with a particular emphasis on finitely generated projective modules, which constitutes the algebraic version of the vector bundles in differential geometry. We adopt the…
We demonstrate that theories $\text{Z}^-$, $\text{ZF}^-$, $\text{ZFC}^-$ (minus means the absence of the Power Set axiom) and $\text{PA}_2$, $\text{PA}_2^-$ (minus means the absence of the Countable Choice schema) are equiconsistent to each…
We use the framework of Abstract Elementary Classes ($\mathrm{AEC}$s) to introduce a new Construction Principle $\mathrm{CP}(\mathbf{K},\ast)$, which generalises the Construction Principle of Eklof, Mekler and Shelah and allows for many…
We give a construction of classifiers for double negation stable h-propositions in a variety of cubical set models of homotopy type theory and cubical type theory. This is used to give some relative consistency results: classifiers for…
A lot of developments made during the last years show that Kac-Moody algebras play an important role in the algebraic structure of some supergravity theories. These algebras would generate infinite-dimensional symmetry groups. The possible…
We study a conservative extension of classical propositional logic distinguishing between four modes of statement: a proposition may be affirmed or denied, and it may be strong or classical. Proofs of strong propositions must be…
We prove an Atiyah-Segal isomorphism for the higher $K$-theory of coherent sheaves on quotient Deligne-Mumford stacks over $\C$. As an application, we prove the Grothendieck-Riemann-Roch theorem for such stacks. This theorem establishes an…
We present a system of axioms motivated by a topological intuition: The set of subsets of any set is a topology on that set. On the one hand, this system is a common weakening of Zermelo-Fraenkel set theory ZF, the positive set theory GPK…
Based on the Sheaf Logic approach to set theoretic forcing, a hierarchy of Quantum Variable Sets is constructed which generalizes and simplifies the analogous construction developed by Takeuti on boolean valued models of set theory. Over…
A universal category-theoretical characterization of groupoid equivariant $KK^G$-theory for ${\mathbb{Z}}_2$-graded $C^*$-algebras is established, by observing the ``$KK$-axiom'' that for each $[s,{\cal E} \oplus B, \mathbb{F}] \in…