Results 11 to 20 of about 7,737 (109)
Notes on conformal invariance of gauge fields
, 2015 In Lagrangian gauge systems, the vector space of global reducibility parameters forms a module under the Lie algebra of symmetries of the action. Since the classification of global reducibility parameters is generically easier than the classification of ...
Barnich, Glenn +2 more
core +3 more sources
Semantic A-translation and Super-consistency entail Classical Cut Elimination [PDF]
, 2013 We show that if a theory R defined by a rewrite system is super-consistent, the classical sequent calculus modulo R enjoys the cut elimination property, which was an open question.
Lisa Allali +2 more
core +5 more sources
Certain extensions of vertex operator algebras of affine type
, 2000 We generalize Feigin and Miwa's construction of extended vertex operator (super)algebras $A_{k}(sl(2))$ for other types of simple Lie algebras. For all the constructed extended vertex operator (super)algebras, irreducible modules are classified, complete
Li, Haisheng
core +2 more sources
On optimal heuristic randomized semidecision procedures, with application to proof complexity [PDF]
, 2009 The existence of a (p-)optimal propositional proof system is a major open question in (proof) complexity; many people conjecture that such systems do not exist.
Hirsch, Edward A., Itsykson, Dmitry
core +7 more sources
, 2013 Almost all representations considered in computable analysis are partial. We provide arguments in favor of total representations (by elements of the Baire space).
Selivanov, Victor
core +1 more source
THE POSSIBILITY OF USING STRUCTURAL DAMPING IN THE DESIGN OF A PREFABRICATED TURNING CUTTER TO REDUCE THE AMPLITUDE OF SELF-OSCILLATIONS IN THE PROCESS OF METAL CUTTING [PDF]
, 2023 Maksym Novitskyi +2 more
openalex +1 more source
Constrained BRST- BFV Lagrangian formulations for Higher Spin Fields in Minkowski Spaces
, 2018 BRST-BFV method for constrained Lagrangian formulations (LFs) for (ir)reducible half-integer HS Poincare group representations in Minkowski space is suggested.
Reshetnyak, Alexander
core +1 more source
Predicativity and parametric polymorphism of Brouwerian implication [PDF]
, 2018 A common objection to the definition of intuitionistic implication in the Proof Interpretation is that it is impredicative. I discuss the history of that objection, argue that in Brouwer's writings predicativity of implication is ensured through ...
van Atten, Mark
core +1 more source
The universality of polynomial time Turing equivalence [PDF]
, 2018 We show that polynomial time Turing equivalence and a large class of other equivalence relations from computational complexity theory are universal countable Borel equivalence relations.
Marks, Andrew
core
Logic and operator algebras [PDF]
, 2014 The most recent wave of applications of logic to operator algebras is a young and rapidly developing field.
Farah, Ilijas
core +1 more source