34 citations · 115 across the 35 of their papers we have counts for
Showing 2009Show all
2 papers · 1 filter
math.LO2009
Undecidable propositions with Diophantine form arisen from every axiom and every theorem of Peano Arithmetic
T. Mei
Based on the MRDP theorem, we introduce the ideas of the proof equation of a formula and universal proof equation of Peano Arithmetic (PA); and then, combining universal proof equa…
hep-th2009
A kind of model of quantum electrodynamics with nonlocal interaction
T. Mei
We present a kind of model of quantum electrodynamics with nonlocal interaction, all the action and the equations of motion of charged particle and electromagnetic field are given.…