Related papers: Stable theories and representation over sets
Let $\mathcal{O}$ be a discrete valuation ring with maximal ideal $\mathfrak{p}$ and with finite residue field $\mathbb{F}_{q}$, the field with $q$ elements where $q$ is a power of a prime $p$. For $r \ge 1$, we write $\mathcal{O}_r$ for…
Knowledge representation is a popular research field in IT. As mathematical knowledge is most formalized, its representation is important and interesting. Mathematical knowledge consists of various mathematical theories. In this paper we…
For a fixed algebraic variety $X$, curve class $\alpha \in N_1(X)$, and genus $g \in \mathbb N$, we consider the sequence of $S_n$ representations obtained from the homology of the Kontsevich space of stable maps to $X$, $\bar…
We construct C-algebras for a class of surfaces that are inverse images of certain polynomials of arbitrary degree. By using the directed graph associated to a matrix, the representation theory can be understood in terms of ``loop'' and…
We construct the ordinary irreducible representations of the group of automorphisms of a finite rooted tree and we get a natural parametrization of them. To achieve this goals, we introduce and study the combinatorics of tree compositions,…
A useful sampling-reconstruction model should be stable with respect to different kind of small perturbations, regardless whether they result from jitter, measurement errors, or simply from a small change in the model assumptions. In this…
The paper is partly a survey with historical background and references, partly provides the opportunity to put in print some unpublished early work, and partly has new results. A special case of relative categoricity is identified (almost…
This is a largely expository paper about how groups arise or are of interest in model theory. Included are the following topics: classifying groups definable in specific structures or theories and the relation to algebraic groups, groups…
Tractability results for the model checking problem of logics yield powerful algorithmic meta theorems of the form: Every computational problem expressible in a logic $L$ can be solved efficiently on every class $\mathscr{C}$ of structures…
We analyze the effect of replacing several natural uses of definability in set theory by the weaker model-theoretic notion of algebraicity. We find, for example, that the class of hereditarily ordinal algebraic sets is the same as the class…
This is a short expository account of the regularity lemma for stable graphs proved by the authors, with some comments on the model theoretic context, written for a general logical audience.
We show that for any $k\in\omega$, the structure $(H_k,\in)$ of sets that are hereditarily of size at most $k$ is decidable. We provide a transparent complete axiomatization of its theory, a quantifier elimination result, and tight bounds…
Our aim is to prove that if T is a complete first order theory, which is not superstable (no knowledge on this notion is required), included in a theory T_1 then for any lambda > |T_1| there are 2^lambda models of T_1 such that for any two…
In this expository paper we review some recent results about representations of Kac-Moody groups. We sketch the construction of these groups. If practical, we present the ideas behind the proofs of theorems. At the end we pose open…
We show that the theory of a non-degenerate representation of a C*-algebra A over a Hilbert space H is superstable. Also, we characterize forking, orthogonality and domination of types and show that the theory has weak elimination of…
We discuss some basic problems and conjectures in a program to construct general orbifold conformal field theories using the representation theory of vertex operator algebras. We first review a program to construct conformal field theories.…
The representation theory for categorical groups is constructed. Each categorical group determines a monoidal bicategory of representations. Typically, these categories contain representations which are indecomposable but not irreducible. A…
We construct a wealth of groups that are finitely presented, Frobenius stable, have property (T), but are very far from having property (T$_2$). Our method also shows that property (T$_2$) does not pass to quotients.
It is shown the construction of a module structure [2] with universe over a set of a particular kind of mathematical proofs, the base ring of this module will be built on a maximal consistent extension of a set of propositions, this…
We prove a new formula for the generating function of polynomials counting absolutely stable representations of quivers over finite fields. The case of irreducible representations is studied in more detail.