1 citations · 1 across the 2 of their papers we have counts for
2 papers
math.KT2017★ 1 cited
Gorenstein projective modules and Frobenius extensions
Wei Ren
We prove that for a Frobenius extension, if a module over the extension ring is Gorenstein projective, then its underlying module over the the base ring is Gorenstein projective; t…
cs.LO2013
Expressing Properties in Second and Third Order Logic: Hypercube Graphs and SATQBF
F. Ferrarotti, W. Ren, J. M. Turull Torres
It follows from the famous Fagin's theorem that all problems in NP are expressible in existential second-order logic (ESO), and vice versa. Indeed, there are well-known ESO charact…