One of the aims of this work is to investigate some natural properties of Borel sets which are undecidable in $ZFC$. The authors' starting point is the followin

This volume commemorates the life, work and foundational views of Kurt Gödel (1906–78), most famous for his hallmark works on the completeness of first-order

The primary purpose of this work is to characterise strict $\omega$-categories as simplicial sets with structure. The author proves the Street-Roberts conjectur

This paper studies quantum invariant differential operators for quantum symmetric spaces in the maximally split case. The main results are quantum versions of t

Let $X$ be a smooth elliptic fibration over a smooth base $B$. Under mild assumptions, the authors establish a Fourier-Mukai equivalence between the derived cat