搜索结果: 1-3 共查到“理学 projectivity”相关记录3条 . 查询时间(0.061 秒)
Unification and projectivity in Fregean varieties
unification projectivity Fregean varieties
2011/1/18
In some varieties of algebras one can reduce the question of finding most general unifiers (mgus) to the problem of the existence of unifiers that fulfill the additional condition called projectivity....
We give a self-contained exposition of the proof of faithfully flat descent for projectivity of modules. This fills a gap in the proof given in the literature.
THE PROJECTIVITY OF THE FUNDAMENTAL GROUP OF AN AFFINE LINE。