Related papers: Independence relations in the Solovay model I

We study the axiomatisability of the iteration-free fragment of Propositional Dynamic Logic with Intersection and Tests. The combination of program composition, intersection and tests makes its proof-theory rather difficult. We develop a…

The present paper introduces a modified version of cyclic-monotone independence which originally arose in the context of random matrices, and also introduces its natural analogy called cyclic-Boolean independence. We investigate formulas…

A gaussoid is a combinatorial structure that encodes independence in probability and statistics, just like matroids encode independence in linear algebra. The gaussoid axioms of Lnenicka and Mat\'us are equivalent to compatibility with…

This work concerns the definition and analysis of a new class of Lie systems on Poisson manifolds enjoying rich geometric features: the Lie--Hamilton systems. We devise methods to study their superposition rules, time independent constants…

Solovay's random-real forcing (1971) is the standard way of producing real-valued measurable cardinals. Following questions of Fremlin, by giving a new construction, we show that there are combinatorial, measure-theoretic properties of…

In this Master of Science Thesis I introduce geometric algebra both from the traditional geometric setting of vector spaces, and also from a more combinatorial view which simplifies common relations and operations. This view enables us to…

I give a short review of the theory of twisted symmetries of differential equations, emphasizing geometrical aspects. Some open problems are also mentioned.

We study the model theory of countable right-angled buildings with infinite residues. For every Coxeter graph we obtain a complete theory with a natural axiomatisation, which is $\omega$-stable and equational. Furthermore, we provide sharp…

We review in detail the Hamiltonian dynamics for constrained systems. Emphasis is put on the total Hamiltonian system rather than on the extended Hamiltonian system. We provide a systematic analysis of (global and local) symmetries in total…

The Lyapunov inequality is an indispensable tool for stability analysis in linear control theory. It provides a necessary and sufficient condition for the stability of an autonomous linear-time invariant system in terms of the existence of…

We use the theory of algebraic effects to give a complete equational axiomatization for dynamic threads. Our method is based on parameterized algebraic theories, which give a concrete syntax for strong monads on functor categories, and are…

Many statistical models are algebraic in that they are defined by polynomial constraints or by parameterizations that are polynomial or rational maps. This opens the door for tools from computational algebraic geometry. These tools can be…

Spatial interaction and spatial autocorrelation are two different fields of geo-spatial analysis, revealing the internal relationship between the two fields will help to develop the theory and method of geographical analysis. This paper is…

We study, using both theory and simulations, a system of self-gravitating sheets. A new statistical mechanics theory - free of any adjustable parameters - is derived to quantitatively predict the final stationary state achieved by this…

We take advantage of the superspace formalism and explicitly find the N=2 supersymmetric extension of the Maxwell Chern-Simons model. In our construction a special form of a potential term and indispensability of an additional neutral…

We review the geometric formulation of the second Noether's theorem in time-dependent mechanics. The commutation relations between the dynamics on the final constraint manifold and the infinitesimal generator of a symmetry are studied. We…

This article provides an algebraic study of intermediate inquisitive and dependence logics. While these logics are usually investigated using team semantics, here we introduce an alternative algebraic semantics and we prove it is complete…

The technique of symmetric extensions is derived from forcing and it is one of the most important tools for studying models without the Axiom of Choice. Despite being incredibly successful since the 1960s, our understanding of the technique…

We consider an involutive automorphism of the conformal algebra and the resulting symmetric space. We display a new action of the conformal group which gives rise to this space. The space has an intrinsic symplectic structure, a…

The class of generic structures among those consisting of the measure algebra of a probability space equipped with an automorphism is axiomatizable by positive sentences interpreted using an approximate semantics. The separable generic…