Related papers: Lovely pairs for independence relations

We introduce and study simple and supersimple independence relations in the context of AECs with a monster model. $Theorem$: Let $K$ be an AEC with a monster model. - If $K$ has a simple independence relation, then $K$ does not have the…

Subobject independence as morphism co-possibility has recently been defined in [2] and studied in the context of algebraic quantum field theory. This notion of independence is handy when it comes to systems coming from physics, but when…

In this paper some reflections on the concept of transition are presented: groupoids are introduced as models for the construction of a ``generalized logic'' whose basic statements involve pairs of propositions which can be conditioned. In…

Given any two rational numbers $r_1$ and $r_2$, a necessary and sufficient condition is established for the three numbers $1$, $\cos (\pi r_1)$, and $\cos (\pi r_2)$ to be rationally independent. Extending a classical fact sometimes…

The classes stable, simple and NSOP$_1$ in the stability hierarchy for first-order theories can be characterised by the existence of a certain independence relation. For each of them there is a canonicity theorem: there can be at most one…

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…

We investigate the relationship between the symmetric, exterior and classical cohomologies of groups. The first two theories were introduced respectively by Staic and Zarelua. We show in particular, that there is a map from exterior…

There are several notions of duality between lines and points. In this note, it is shown that all these can be studied in a unified way. Most interesting properties are independent of specific choices. It is also shown that either dual…

We study approximate $\aleph_0$-categoricity of theories of beautiful pairs of randomizations, in the sense of continuous logic. This leads us to disprove a conjecture of Ben Yaacov, Berenstein and Henson, by exhibiting…

We construct and study various dual pairs between finite dimensional classical Lie groups and infinite dimensional Lie algebras in some Fock representations. The infinite dimensional Lie algebras here can be either a completed infinite rank…

Some thoughts are presented on the inter-relation between beauty and truth in science in general and theoretical physics in particular. Some conjectural procedures that can be used to create new ideas, concepts and results are illustrated…

We devise a new criterion for linear independence over function fields. Using this tool in the setting of dual t-motives, we find that all algebraic relations among special values of the geometric function field Gamma-function are explained…

In a simple CM-trivial theory every hyperimaginary is interbounded with a sequence of finitary hyperimaginaries. Moreover, such a theory eliminates hyperimaginaries whenever it eliminates finitary hyperimaginaries. In a supersimple…

We describe a mathematical link between aspects of information theory, called pairwise comparisons, and discretized gauge theories. The link is made by the notion of holonomy along the edges of a simplex. This correspondance leads to open…

We develop the theory of generically stable types, independence relation based on nonforking and stable weight in the context of dependent (NIP) theories.

In this paper, we investigate a continuous family of notions of independence which interpolates between the classical and free ones for non-commutative random variables. These notions are related to the liberation process introduced by D.…

A brief review of recent progress in the ab intio theory of nuclear pairing is given. Nowdays several successful solutions of the ab intio BCS theory gap equation were published which show that it is a promising first step in the problem.…

We discuss the notion of \emph{uniform canonical bases}, both in an abstract manner and specifically for the theory of atomless $L_p$ lattices. We also discuss the connection between the definability of the set of uniform canonical bases…

A definable set in a pair (K, k) of algebraically closed fields is co-analyzable relative to the subfield k of the pair if and only if it is almost internal to k. To prove this and some related results for tame pairs of real closed fields…

A set of graphs is said to be independent if there is no homomorphism between distinct graphs from the set. We consider the existence problems related to the independent sets of countable graphs. While the maximal size of an independent set…