Related papers: Independence relations in the Solovay model I
In this paper I present a kind of proof for classical Euclidean geometric problems which relies on both synthetic and analytic geometry. Using the elementary tools of polynomial algebra and multivariate calculus we manage to reduce the…
We try to increase the fundamental symmetries of the anyonic particle with the help of the symplectic formalism of constrained systems and gauging the model. The main idea of this approach is based on the embedding of the model in an…
Geometrical stability theory is a powerful set of model-theoretic tools that can lead to structural results on models of a simple first-order theory. Typical results offer a characterization of the groups definable in a model of the theory.…
The purpose of this paper is to present projective geometry in a synthetic, visual and intuitive style through the central notion of harmonicity which leads to harmonic curves. This presentation includes new results, unpublished proofs of…
In a recent work Foulis and Pulmannov\' a \cite{Foulis2012} studied the logical connectives in lattice effect algebras. In this paper we extend their study and investigate further the logical calculus for which the lattice effect algebras…
This course introduces the fruitful links between model theory and a combinatoric of sets given by independence relations. An independence relation on a set is a ternary relation between subsets. Chapter 1 should be considered as an…
This paper is concerned with the axiomatic basis of structures within Hypercompositional Algebra. It is proven that the axioms employed in the definition of numerous hypercompositional structures lack independence. Accordingly, novel…
We parametrize the gauge-fixing freedom in choosing the Lagrangian of a topological gauge theory. We compute the gauge-fixing dependence of correlators of equivariant operators when the compactified moduli space has a non-empty boundary and…
In this paper we indicate one method of construction of linear representations of groups and algebras with translation invariant (except, maybe , finite number) defining relationships. As an illustration of this method, we give one approach…
We present a framework for studying the concept of independence in a general context covering database theory, algebra and model theory as special cases. We show that well-known axioms and rules of independence for making inferences…
We mechanize, in the proof assistant Isabelle, a proof of the axiom-scheme of Separation in generic extensions of models of set theory by using the fundamental theorems of forcing. We also formalize the satisfaction of the axioms of…
Starting from a generalization of the standard axioms for a monoid we present a stepwise development of various, mutually equivalent foundational axiom systems for category theory. Our axiom sets have been formalized in the Isabelle/HOL…
This paper presents a type theory in which it is possible to directly manipulate $n$-dimensional cubes (points, lines, squares, cubes, etc.) based on an interpretation of dependent type theory in a cubical set model. This enables new ways…
I introduce a novel mathematical framework integrating topological dynamics, operator algebras, and ergodic geometry to study lattices of asynchronous metric dynamical systems. Each node in the lattice carries an internal flow represented…
We modify arguments in Vladimir Kanovei, Linearization of definable order relations, APAL, 102(1-2):69--100, 2000, to reprove a linearization theorem on real-ordinal definable partial quasi-orderings in the Solovay model.
A simplified mathematical approach is presented and used to find a suitable free-field Lagrangian to complete previous work on constructing a gauge theory of CPT transformations. The new Lagrangian is a slight but important modification of…
We present a self-contained analysis of theories of discrete 2D gravity coupled to matter, using geometric methods to derive equations for generating functions in terms of free (noncommuting) variables. For the class of discrete gravity…
In this paper we show how almost cosymplectic structures are a natural framework to study thermodynamical systems. Indeed, we are able to obtain the same evolution equations obtained previously by Gay-Balmaz and Yoshimura (see Entropy,…
We discuss a set of novel discrete symmetries of a free N = 2 supersymmetric (SUSY) quantum mechanical system which is the limiting case of a widely-studied interacting SUSY model of a charged particle constrained to move on a sphere in the…
A complete geometric classification of symmetries of autonomous Hamiltonian mechanical systems is established; explaining how to obtain their associated conserved quantities in all cases. In particular, first we review well-known results…