Results 1 to 10 of about 1,842,228 (287)
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
Ground interpolation for the theory of equality [PDF]
Logical Methods in Computer Science, 2012 Theory interpolation has found several successful applications in model checking. We present a novel method for computing interpolants for ground formulas in the theory of equality.
Alexander Fuchs +4 more
doaj +1 more source
Entropy, 2021 This paper studies the problem of upper bounding the number of independent sets in a graph, expressed in terms of its degree distribution. For bipartite regular graphs, Kahn (2001) established a tight upper bound using an information-theoretic approach ...
Igal Sason
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
On the theorem of Amitsur--Levitzki [PDF]
, 2013 We present a proof of the Amitsur--Levitzki theorem which is a basis for a general theory of equivariant skew--symmetric maps on matrices.Comment ...
Procesi, Claudio
core
Efficiently Simulating Higher-Order Arithmetic by a First-Order Theory Modulo [PDF]
Logical Methods in Computer Science, 2011 In deduction modulo, a theory is not represented by a set of axioms but by a congruence on propositions modulo which the inference rules of standard deductive systems---such as for instance natural deduction---are applied.
Guillaume Burel
doaj +1 more source
An Abstract Result on Projective Aggregation Functions
Axioms, 2018 A general characterization result of projective aggregation functions is shown, the proof of which makes use of the celebrated Arrow’s theorem, thus providing a link between aggregation functions theory and social choice theory.
Juan C. Candeal
doaj +1 more source
Black holes in scalar-tensor gravity
, 2012 Hawking has proven that black holes which are stationary as the endpoint of gravitational collapse in Brans--Dicke theory (without a potential) are no different than in general relativity.
A. De Felice +6 more
core +1 more source
Reverse mathematics and infinite traceable graphs [PDF]
, 2010 This paper falls within the general program of investigating the proof theoretic strength (in terms of reverse mathematics) of combinatorial principals which follow from versions of Ramsey's theorem.
Cholak, Peter +2 more
core +3 more sources
The general proof of certain fundamental equations in the theory of metallic conduction [PDF]
Proceedings of the Royal Society of London. Series A, Containing Papers of a Mathematical and Physical Character, 1934 In the modern theory of electronic conduction the electrons are considered, when the thermal motion of the lattice is neglected, as moving in a periodic potential with the property V ( x + la , y + ma , z + na
Jones, H., Zener, C.
openaire +1 more source