Results 41 to 50 of about 78,049 (169)
Equivariant formality of istropy actions
, 2018 Let $G$ be a compact connected Lie group and $K$ a connected Lie subgroup. In this paper, we collect an assortment of results on equivariant formality of the isotropy action of $K$ on $G/K$ and thus improving those from previous work. We show that if the
Carlson, Jeffrey D., Fok, Chi-Kwong
core +1 more source
Supertwistor formulation for massless superparticle in AdS5 × S5 superspace
Nuclear Physics B, 2018 Starting with the first-order formulation of the massless superparticle model on the AdS5×S5 superbackground and presenting the momentum components tangent to AdS5 and S5 subspaces as bilinear combinations of the constrained SU(2)-Majorana spinors allows
D.V. Uvarov
doaj +1 more source
Quantum dynamics of the effective field theory of the Calogero-Sutherland model
Nuclear Physics BWe consider the known effective field theory of the Calogero-Sutherland model in the thermodynamic limit of large number of particles, obtained from the standard procedure in conformal field theory: the Hilbert space is constructed a priori in terms of ...
Federico L. Bottesi, Guillermo R. Zemba
doaj +1 more source
Graph Decomposition Techniques in Neutrosophic Zero Divisor Models of Commutative Ring [PDF]
Neutrosophic Sets and SystemsThis research establishes the framework for neutrosophic zero divisor graphs, extending the capabilities of existing fuzzy zero divisor graph models. While fuzzy models account for partial uncertainty through degrees of membership, they often fail to ...
K. Gunasekar, P. Muralikrishna
doaj +1 more source
Model-theoretic Forcing in Transition Algebra
We study Löwenheim-Skolem and Omitting Types theorems in Transition Algebra, a logical system obtained by enhancing many sorted first-order logic with features from dynamic logic. The sentences we consider include compositions, unions, and transitive closures of transition relations, which are treated similarly to actions in dynamic logics to define ...
Hashimoto, Go, Găină, Daniel
openaire +3 more sources
Model-theoretic properties of nilpotent groups and Lie algebras
Journal of Algebra45 ...
Christian d'Elbée +3 more
openaire +2 more sources
The universal tropicalization and the Berkovich analytification [PDF]
, 2016 Given an integral scheme X over a non-archimedean valued field k, we construct a universal closed embedding of X into a k-scheme equipped with a model over the field with one element (a generalization of a toric variety).
Giansiracusa, Jeffrey +1 more
core
Conceptual Explanation for the Algebra in the Noncommutative Approach to the Standard Model
, 2007 The purpose of this letter is to remove the arbitrariness of the ad hoc choice of the algebra and its representation in the noncommutative approach to the Standard Model, which was begging for a conceptual explanation. We assume as before that space-time
A. Connes +4 more
core +1 more source
Toward formal development of programs from algebraic specifications: Model-theoretic foundations [PDF]
, 1992 This paper presents in an informal way the main ideas underlying our work on the model-theoretic foundations of algebraic specification and program development. We attempt to offer an overall view, rather than new results, and focus on the basic motivation behind the technicalities presented elsewhere and on the conclusions from this work.
Donald Sannella, Andrzej Tarlecki
openaire +1 more source
Some applications of a model theoretic fact to (semi-) algebraic geometry
Indagationes Mathematicae (Proceedings), 1982 Place extension theorems for fields and for ordered fields are used in connection with a model theoretic result to give simple proofs of the completeness of projective varieties, of a similar result in semi- algebraic geometry and of the finiteness theorem of semi-algebraic geometry.
openaire +2 more sources