Results 11 to 20 of about 7,641,165 (285)
NONCOMMUTATIVE GAUGE THEORIES: MODEL FOR HODGE THEORY [PDF]
International Journal of Modern Physics A, 2013 The nilpotent Becchi–Rouet–Stora–Tyutin (BRST), anti-BRST, dual-BRST and anti-dual-BRST symmetry transformations are constructed in the context of noncommutative (NC) 1-form as well as 2-form gauge theories. The corresponding Noether's charges for these symmetries on the Moyal plane are shown to satisfy the same algebra, as by the de Rham ...
Upadhyay, Sudhaker +1 more
openaire +3 more sources
A matrix model from string field theory
Frontiers in Physics, 2016 We demonstrate that a Hermitian matrix model can be derived from level truncated open string field theory with Chan-Paton factors. The Hermitian matrix is coupled with a scalar and U(N) vectors which are responsible for the D-brane at the tachyon vacuum.
Syoji Zeze
doaj +4 more sources
Axioms, 2021 We prove some results in set theory as applied to general topology and model theory. In particular, we study ℵ1-collectionwise Hausdorff, Chang Conjecture for logics with Malitz-Magidor quantifiers and monadic logic of the real line by odd/even Cantor ...
Saharon Shelah
doaj +1 more source
The Axiomatic Approach to Non-Classical Model Theory
Mathematics, 2022 Institution theory represents the fully axiomatic approach to model theory in which all components of logical systems are treated fully abstractly by reliance on category theory. Here, we survey some developments over the last decade or so concerning the
Răzvan Diaconescu
doaj +1 more source
Model theory of operator algebras II: model theory [PDF]
Israel Journal of Mathematics, 2014 20 pages; references are not missing this ...
Farah, Ilijas +2 more
openaire +2 more sources
A Model-Invariant Theory of Causation [PDF]
, 2021 I provide a theory of causation within the causal modeling framework. In contrast to most of its predecessors, this theory is model-invariant in the following sense: if the theory says that C caused (didn't cause) E in a causal model, M, then it will ...
Gallow, J. Dmitri
core +1 more source
Algebras of Binary Isolating Formulas for Tensor Product Theories
Известия Иркутского государственного университета: Серия "Математика", 2022 Algebras of distributions of binary isolating and semi-isolating formulae are derived objects for a given theory and reflect binary formula relations between 1-type realizations.
D.Yu. Emel’yanov
doaj +1 more source
Black Holes and Complexity via Constructible Universe
Universe, 2020 The relation of randomness and classical algorithmic computational complexity is a vast and deep subject by itself. However, already, 1-randomness sequences call for quantum mechanics in their realization.
Jerzy Król, Paweł Klimasara
doaj +1 more source
Algebras of Binary Isolating Formulas for Strong Product Theories
Известия Иркутского государственного университета: Серия "Математика", 2023 Algebras of distributions of binary isolating and semi-isolating formulas are objects that are derived for a given theory, and they specify the relations between binary formulas of the theory.
D.Yu. Emelyanov
doaj +1 more source
Sensors, 2021 Decision-making is an important part of human life and particularly in any engineering process related to a complex product. New sensors and actuators based on MEMS technologies are increasingly complex and quickly evolving into products.
Juan A. Martínez Rojas +4 more
doaj +1 more source