Related papers: Positive model theory of interpretations
Coherent control has enabled various novel phenomena in wave scattering. We introduce an effect called coherent orthogonal scattering, where the output wave becomes orthogonal to the reference output state without scatterers. This effect…
We survey results concerning behavior of positivity of line bundles and possible vanishing theorems in positive characteristic. We also try to describe variation of positivity in mixed characteristic. These problems are very much related to…
We continue our work on the model theory of free lattices, solving two of the main open problems from our first paper on the subject. Our main result is that the universal (existential) theory of infinite free lattices is decidable. Our…
We introduce a simple extension of the $\lambda$-calculus with pairs---called the distributive $\lambda$-calculus---obtained by adding a computational interpretation of the valid distributivity isomorphism $A \Rightarrow (B\wedge C)\ \…
We present an approach that gives rigorous construction of a class of crossing invariant functions in $c=1$ CFTs from the weakly invariant distributions on the moduli space $\mathcal M_{0,4}^{SL(2,\mathbb{C})}$ of $SL(2,\mathbb{C})$ flat…
We develop the notion of coherent ultrafilters (extenders without normality or well-foundedness). We then use definable coherent ultraproducts to characterize any extension of a model $M$ in any fragment of $\mathbb{L}_{\infty, \omega}$…
Locally cartesian closed (lcc) categories are natural categorical models of extensional dependent type theory. This paper introduces the "gros" semantics in the category of lcc categories: Instead of constructing an interpretation in a…
Considering classical first-order logic with equality, we give a "fully syntactic" construction of the (weak) syntactic category $\text{Syn}(T)$ associated to a consistent theory $T$; we show it is a consistent coherent category; and we…
This paper studies the existence of and compatibility between derived change of ring, balanced product, and function module derived functors on module categories in monoidal model categories.
We provides some new equivalent forms of collection principle over some very weak set theories after reviewing the existing ones.
We present two Dialectica-like constructions for models of intensional Martin-L\"of type theory based on G\"odel's original Dialectica interpretation and the Diller-Nahm variant, bringing dependent types to categorical proof theory. We set…
In this paper, we present a construction from a Reedy category $C$ of a direct category $\operatorname{Down}(C)$ and a functor $\operatorname{Down}(C) \to C$, which exhibits $C$ as an $(\infty,1)$-categorical localization of…
In this paper we study the representation theory for certain ``half lattice vertex algebras.'' In particular we construct a large class of irreducible modules for these vertex algebras. We also discuss how the representation theory of these…
This is the first of a pair of papers where we construct and investigate a closed monoidal structure on the category of generalized algebraic theories (in the sense of Cartmell). In the present text, as a starting point, we define the…
Quantum link models provide an extension of Wilson's lattice gauge theory in which the link Hilbert space is finite-dimensional and corresponds to a representation of an embedding algebra. In contrast to Wilson's parallel transporters,…
We discuss certain structural analogies between supersymmetric quiver gauge theories and lattice models leading to fracton phases of matter. In particular, classes of quiver models can be viewed as lattice models having sub-system…
We explore higher-dimensional conformal field theories (CFTs) in the presence of a conformal defect that itself hosts another sub-dimensional defect. We refer to this new kind of conformal defect as the composite defect. We elaborate on the…
Positive logic is a generalisation of full first-order logic that does not have negation built in. Still, many model-theoretic ideas, tools and techniques work perfectly fine in positive logic. Importantly, there is a compactness theorem.…
We discuss non-geometric supersymmetric heterotic string models in D=4, in the framework of the free fermionic construction. We perform a systematic scan of models with four a priori left-right asymmetric Z_2 projections and shifts. We…
Motivated by the classical theory of spin structures, we develop a theory for lifting free C$^*$-dynamical systems, a.k.a. noncommutative principal bundles, along central extensions. This theory extends the bundle-theoretic notion of spin…