-
...problem of proving inductive theorems in conditional equational theories. we propose a proof by consistency method that can be employed when the theory is representable as a ground...not fail when an unorientable equation comes up (as was the case in the earliest proof by consistency (inductionless induction) methods). the method...
-
...solution of the wess-zumino consistency condition with a nontrivial descent can, for arbitrary (super) lie algebras, be computed in the small algebra of the...solution of the wess-zumino consistency condition in this space. as an application, the consistent deformations of 2+1 dimensional chern-simons theory based on iso(2,1...
Published in 2002.
-
...describe explicitly the free algebras in the equational class generated by all algebras of binary relations...relation). we show the corresponding equational theory is decidable by reducing the problem to a...
-
...the antifield-independent wess-zumino consistency condition is worked out for models...we consider both the free theory and theories with chapline-manton couplings. our approach relies on solving the full set of descent equations by starting from the last element...
-
...a natural extension ofthe syntactic theories. a n-syntactic theory is an equational theory whichadmits a finite presentation in which every proof can be performed withat most...the root. the n-syntactic theories inherit the good propertiesof the syntactic theories for solving the word problem...
-
...solution of the wess-zumino consistency condition with a non trivial descent can, for arbitrary (super) lie algebras, be computed in the small algebra of the...solution of the wess-zumino consistency con- dition in this space. as an application, the consistent deformations of 2+1 dimensional chern-simons theory based on iso(2,1...
-
...we present sufficient conditions for a unary semigroup va- riety to have no finite basis for its equational theory. in particular, we exhibit a 6...
-
...this paper imposes consistency conditions on the path of a...they imply hamilton's principle in classical contexts and schrödinger's equation in quantum mechanical contexts. thus this...
-
...which are dicult to analyze by hand. the most successful methods to verify such protocols rely on rewriting techniques and automated deduction in order to implement or mimic...of the intruder deduction problem in all cases con- sidered. our decision procedure is in exptime, except for a restricted case in which we have been able...
-
...in the extended antifield formalism, a quantum brst differential for anomalous gauge theories is constructed. local brst cohomological classes are characterized, in addition to the form degree and the ghost number, by the length of their descents...