Related papers: Independence relations in the Solovay model I
A lot of developments made during the last years show that Kac-Moody algebras play an important role in the algebraic structure of some supergravity theories. These algebras would generate infinite-dimensional symmetry groups. The possible…
This paper deals with formulas of set theory which force the infinity. For such formulas, we provide a technique to infer satisfiability from a finite assignment.
We present Vlasov's equation and its association with Poisson's equation in the context of modelling self-gravitating systems such as Globular Clusters or Galaxies. We first review the classical hypotheses of the model. We continue with a…
Multimodal normal incestual systems are investigated in terms of multiple categories. The different sorted composition of operators are exhibited as 2-cells in multiple categories built up from 2-categories giving rise to different axioms.…
In this paper is proposed a kind of model theory for our axiomatic differential geometry. It is claimed that smooth manifolds, which have occupied the center stage in differential geometry, should be replaced by functors on the category of…
We prove some results about the model theory of fields with a derivation of the Frobenius map, especially that the model companion of this theory is axiomatizable by axioms used by Wood in the case of the theory $\operatorname{DCF}_p$ and…
The constrained Hamiltonian formalism is worked out for the theories where the gauge symmetry parameters are unfree, being restricted by differential equations. The Hamiltonian BFV-BRST embedding is elaborated for this class of gauge…
A modification of the gauge theory is proposed, in which the set of generalized coordinates is supplemented with symmetry transformation parameters, and a condition is additionally imposed on the latter that ensures the classical character…
The dynamical structure of topologically massive gravity in the context of the Faddeev-Jackiw symplectic approach is studied. It is shown that this method allows to avoid some ambiguities arising in the study of the gauge structure via the…
The geometric formulation of Hamilton--Jacobi theory for systems with nonholonomic constraints is developed, following the ideas of the authors in previous papers. The relation between the solutions of the Hamilton--Jacobi problem with the…
We analyse the asymptotic symmetries of Maxwell theory at spatial infinity through the Hamiltonian formalism. Precise, consistent boundary conditions are explicitly given and shown to be invariant under asymptotic angle-dependent…
In this article, we analyze the Pontryagin model adopting different geometric-covariant approaches. In particular, we focus on the manner in which boundary conditions must be imposed on the background manifold in order to reproduce an…
In this article we introduce powerful tools and techniques from invariant theory to free analysis. This enables us to study free maps with involution. These maps are free noncommutative analogs of real analytic functions of several…
We introduce an axiomatic theory of spherical diagrams as a tool to study certain combinatorial properties of polyhedra in $\mathbb R^3$, which are of central interest in the context of Art Gallery problems for polyhedra and other…
This chapter of the forthcoming Handbook of Graphical Models contains an overview of basic theorems and techniques from algebraic geometry and how they can be applied to the study of conditional independence and graphical models. It also…
Statistical models that possess symmetry arise in diverse settings such as random fields associated to geophysical phenomena, exchangeable processes in Bayesian statistics, and cyclostationary processes in engineering. We formalize the…
The linearization of the equations of motion of a robotics system about a given state-input trajectory, including a controlled equilibrium state, is a valuable tool for model-based planning, closed-loop control, gain tuning, and state…
Concrete two-set (module-like and algebra-like) algebraic structures are investigated from the viewpoint that the initial arities of all operations are arbitrary. Relations between operations arising from the structure definitions, however,…
This work is devoted to the construction of feedback laws which guarantee the robust global exponential stability of the uncongested equilibrium point for general discrete-time freeway models. The feedback construction is based on a control…
The landmark Levy-Solovay Theorem limits the kind of large cardinal embeddings that can exist in a small forcing extension. Here I announce a generalization of this theorem to a broad new class of forcing notions. One consequence is that…