Indeed, there are many names but none of them is really good. Let me make yet another proposal: "Nisnevich neighborhood".

]]>"The assumption on means that every module has a finite projective resolution of length at most , in particular every module has finite tor dimension."

you should say

""The assumption on means that every module has a finite projective resolution of length at most , in particular every module has tor dimension less ."

since this is what you are proving ?

]]>best

János

]]>Great work otherwise. I'm learning statistics and I find field theory & set theory basics quite indispensible in understanding the nitty-gritty stuff.

]]>