Related papers: Non-tightness in class theory and second-order ari…
We study the coherence and conservativity of extensions of dependent type theories by additional strict equalities. By considering notions of congruences and quotients of models of type theory, we reconstruct Hofmann's proof of the…
We introduce a hierarchical classification of theories that describe systems with fundamentally limited information content. This property is introduced in an operational way and gives rise to the existence of mutually complementary…
Rice's Theorem states that every nontrivial language property of the recursively enumerable sets is undecidable. Borchert and Stephan initiated the search for complexity-theoretic analogs of Rice's Theorem. In particular, they proved that…
General coherence theorems are constructed that yield explicit presentations of categorical and algebraic objects. The categorical structures involved are finitary discrete Lawvere 2-theories, though they are approached within the language…
Field theory and gauge theory on noncommutative spaces have been established as their own areas of research in recent years. The hope prevails that a noncommutative gauge theory will deliver testable experimental predictions and will thus…
We formulate problems of tight closure theory in terms of projective bundles and subbundles. This provides a geometric interpretation of such problems and allows us to apply intersection theory to them. This yields new results concerning…
This paper is concerned with extensions of geometric stability theory to some nonelementary classes. We prove the following theorem: Theorem: Let C be a large homogeneous model of a stable diagram D. Let p, q in S_D(A), where p is…
We study fundamental properties of analytic $K$-theory of Tate rings such as homotopy invariance, Bass fundamental theorem, Milnor excision, and descent for admissible coverings.
We investigate the quantum conformal algebras of N=2 and N=1 supersymmetric gauge theories. Phenomena occurring at strong coupling are analysed using the Nachtmann theorem and very general, model-independent, arguments. The results lead us…
In this paper, we prove a version of the typed B\"ohm theorem on the linear lambda calculus, which says, for any given types A and B, when two different closed terms s1 and s2 of A and any closed terms u1 and u2 of B are given, there is a…
We develop a new theory of strong subalgebras and linear congruences that are defined globally. Using this theory we provide a new proof of the correctness of Zhuk's algorithm for all tractable CSPs on a finite domain, and therefore a new…
In the pure Calculus of Constructions (CC) one can define data types and function over these, and there is a powerful higher order logic to reason over these functions and data types. This is due to the combination of impredicativity and…
We describe a finitary 2-monad on a locally finitely presentable 2-category for which not every pseudoalgebra is equivalent to a strict one. This shows that having rank is not a sufficient condition on a 2-monad for every pseudoalgebra to…
We consider the termination/non-termination property of a class of loops. Such loops are commonly used abstractions of real program pieces. Second-order logic is a convenient language to express non-termination. Of course, such property is…
The noncommutative string theory is described by embedding open string theory in a constant second rank antisymmetric $B_{\mu\nu}$ field and the noncommutative gauge theory is defined by a deformed $\star$ product. As a check, study of…
Our "long term and large scale" aim is to characterize the first order theories T (at least the countable ones) such that: for every ordinal alpha there lambda,M_1,M_2 such that M_1,M_2 are non-isomorphic models of T of cardinality lambda…
We extend the work of Ash and Stevens [Ash-Stevens 97] on p-adic analytic families of p-ordinary arithmetic cohomology classes for GL(N,Q) by introducing and investigating the concept of p-adic rigidity of arithmetic Hecke eigenclasses. An…
In this paper, we study non-abelian extensions of strict Lie 2-algebras via the cohomology theory. A non-abelian extension of a strict Lie 2-algebra $\g$ by $\frkh$ gives rise to a strict homomorphism from $\g$ to $\SOut(\frkh)$.…
We examine the class of languages that can be defined entirely in terms of provability in an extension of the sorted type theory (Ty_n) by embedding the logic of phonologies, without introduction of special types for syntactic entities.…
We investigate the end extendibility of models of arithmetic with restricted elementarity. By utilizing the restricted ultrapower construction in the second-order context, for each $n\in\mathbb{N}$ and any countable model of…