相关论文: Sahlqvist-Type Completeness Theory for Hybrid Logi…

The main goal of this article is to develop integration theory for absolute partition $L_\infty$-algebras, which are point-set models for the (spectral) partition Lie algebras of Brantner-Mathew where infinite sums of operations are…

We present a simple resolution proof system for higher-order constrained Horn clauses (HoCHC) - a system of higher-order logic modulo theories - and prove its soundness and refutational completeness w.r.t. the standard semantics. As…

The compactness theorem for a logic states, roughly, that the satisfiability of a set of well-formed formulas can be determined from the satisfiability of its finite subsets, and vice versa. Usually, proofs of this theorem depend on the…

This document provides a formal proof of Birkhoff's completeness theorem for multi-sorted algebras which states that any equational entailment valid in all models is also provable in the equational theory. More precisely, if a certain…

This paper introduces a SAT-based technique that calculates a compact and complete symmetry-break for finite model finding, with the focus on structures with a single binary operation (magmas). Classes of algebraic structures are typically…

We write down a new "logarithmic" quasicoherent category $\operatorname{Qcoh}_{log}(U, X, D)$ attached to a smooth open algebraic variety $U$ with toroidal compactification $X$ and boundary divisor $D$. This is a (large) symmetric monoidal…

This paper introduces a novel technique to decide the satisfiability of formulae written in the language of Linear Temporal Logic with Both future and past operators and atomic formulae belonging to constraint system D (CLTLB(D) for short).…

We build the coherent states for a family of solvable singular Schr\"odinger Hamiltonians obtained through supersymmetric quantum mechanics from the truncated oscillator. The main feature of such systems is the fact that their…

Hierarchies of conditional beliefs (Battigalli and Siniscalchi 1999) play a central role for the epistemic analysis of solution concepts in sequential games. They are practically modelled by type structures, which allow the analyst to…

First-order logic with dependent sorts, such as Makkai's first-order logic with dependent sorts (FOLDS), or Aczel's and Belo's dependently typed (intuitionistic) first-order logic (DFOL), may be regarded as logic enriched dependent type…

We prove new structural results for the rational homotopy type of the classifying space $B\operatorname{aut}(X)$ of fibrations with fiber a simply connected finite CW-complex $X$. We first study nilpotent covers of $B\operatorname{aut}(X)$…

The theory of abelian categories proved very useful, providing an axiomatic framework for homology and cohomology of modules over a ring and, in particular, of abelian groups. For many years, a similar categorical framework has been lacking…

Let $G$ be a split Kac-Moody group over a non-Archimedean local field, and let $\mathcal{H}$ be the Iwahori-Hecke algebra of $G$. In this paper, we construct a completed Iwahori-Hecke algebra $\widehat{\mathcal{H}}$ and prove that it…

Let $H_{\mathbf{k}}$ be a symplectic reflection algebra corresponding to a cyclic subgroup $\Gamma \subseteq SL_2 \C$ of order $n$ and $U_{\mathbf{k}} = eH_{\mathbf{k}} e$ the spherical subalgebra of $H_{\mathbf{k}}$. We show that for…

{\AA}qvist's logics (E, F, F+(CM), and G) are among the best-known systems in the long tradition of preference-based approaches for modeling conditional obligation. While the general semantics of preference models align well with…

For a finite-dimensional Lie algebra $\mathfrak{L}$ over $\mathbb{C}$ with a fixed Levi decomposition $\mathfrak{L} = \mathfrak{g} \oplus \mathfrak{r}$ where $\mathfrak{g}$ is semi-simple, we investigate $\mathfrak{L}$-modules which…

Let $X$ be a normal geometrically connected variety over a finite field $\kappa$ of characteristic~$p$. Let $E$ be a number field. Using automorphic methods over global function fields, we derive properties of the geometric monodromy groups…

Scissors congruence groups have traditionally been expressed algebraically in terms of group homology. We give an alternate construction of these groups by producing them as the $0$-level in the algebraic $K$-theory of a Waldhausen…

We introduce a natural generalization of the definition of a symmetric Hopf algebroid, internal to any symmetric monoidal category with coequalizers that commute with the monoidal product. Motivation for this is the study of Heisenberg…

Classical variational Hodge structure theory characterizes the algebraicity of Hodge classes by studying the transversality of period mappings under geometric deformations. However, when algebraic varieties lack appropriate deformation…