Results 51 to 60 of about 2,494,307 (343)
Inextendibilty of the Maximal Global Hyperbolic Development in Electrogowdy spacetimes
EPJ Web of Conferences, 2013 The problem of determinism in General Relativity appears even if one assumes that the spacetime is globally hyperbolic, i.e. that it contains a hypersurface that is intersected by any causal curve exactly once.
Nungesser Ernesto
doaj +1 more source
Renormalization of Non-Commutative Phi^4_4 Field Theory in x Space
, 2005 In this paper we provide a new proof that the Grosse-Wulkenhaar non-commutative scalar Phi^4_4 theory is renormalizable to all orders in perturbation theory, and extend it to more general models with covariant derivatives.
A. Connes +18 more
core +2 more sources
Lorentz Violation at One Loop [PDF]
, 2002 The proof of one-loop renormalizability of the general Lorentz- and CPT-violating extension of quantum electrodynamics is described. Application of the renormalization-group method is discussed and implications for theory and experiment are considered ...
Pickering, Austin G. M.
core +3 more sources
A Generalization of Equational Proof Theory? [PDF]
, 2002 Recently rule based languages focussed on the use of rewriting as a modeling tool which results in making specifications executable. To extend the modeling capabilities of rule based languages, we explored in a previous work the possibility of making the rule applications subject to probabilistic choices, and started to study the generalization of the ...
openaire +3 more sources
Isabelle/HOL/GST: A Formal Proof Environment for Generalized Set Theories
, 2022 A generalized set theory (GST) is like a standard set theory but also can have non-set structured objects that can contain other structured objects including sets. This paper presents Isabelle/HOL support for GSTs, which are treated as type classes that combine features that specify kinds of mathematical objects, e.g., sets, ordinal numbers, functions,
Dunne, Ciarán, Wells, J. B.
openaire +2 more sources
Termination Casts: A Flexible Approach to Termination with General Recursion [PDF]
Electronic Proceedings in Theoretical Computer Science, 2010 This paper proposes a type-and-effect system called Teqt, which distinguishes terminating terms and total functions from possibly diverging terms and partial functions, for a lambda calculus with general recursion and equality types.
Aaron Stump +2 more
doaj +1 more source
Log-concavity of characteristic polynomials and the Bergman fan of matroids [PDF]
, 2012 In a recent paper, the first author proved the log-concavity of the coefficients of the characteristic polynomial of a matroid realizable over a field of characteristic 0, answering a long-standing conjecture of Read in graph theory.
Huh, June, Katz, Eric
core +1 more source
The parity-preserving massive QED3: Vanishing β-function and no parity anomaly
Physics Letters B, 2015 The parity-preserving massive QED3 exhibits vanishing gauge coupling β-function and is parity and infrared anomaly free at all orders in perturbation theory.
O.M. Del Cima
doaj +1 more source
Local newforms for the general linear groups over a non-archimedean local field
Forum of Mathematics, Pi, 2022 In [14], Jacquet–Piatetskii-Shapiro–Shalika defined a family of compact open subgroups of p-adic general linear groups indexed by nonnegative integers and established the theory of local newforms for irreducible generic representations. In this paper, we
Hiraku Atobe +2 more
doaj +1 more source
Proof mining and probability theory
Forum of Mathematics, SigmaWe extend the theoretical framework of proof mining by establishing general logical metatheorems that allow for the extraction of the computational content of theorems with prima facie “noncomputational” proofs from probability theory, thereby unlocking ...
Morenikeji Neri, Nicholas Pischke
doaj +1 more source