Proof of Mordell’s Finite Generation Theorem

1987 ◽  
pp. 120-137
Author(s):  
Dale Husemöller
Keyword(s):  
Finite Generation ◽  
Generation Theorem

scholarly journals Non-branching RCD(0,N) Geodesic Spaces with Small Linear Diameter Growth have Finitely Generated Fundamental Groups

2015 ◽  
Vol 58 (4) ◽  
pp. 787-798 ◽  
Author(s):  
Yu Kitabeppu ◽  
Sajjad Lakzian
Keyword(s):  
Diameter Growth ◽  
Fundamental Groups ◽  
Finitely Generated ◽  
Finite Generation ◽  
Alexandrov Spaces ◽  
Geodesic Spaces ◽  
Special Case ◽  
Linear Diameter

AbstractIn this paper, we generalize the finite generation result of Sormani to non-branching RCD(0, N) geodesic spaces (and in particular, Alexandrov spaces) with full supportmeasures. This is a special case of the Milnor’s Conjecture for complete non-compact RCD(0, N) spaces. One of the key tools we use is the Abresch–Gromoll type excess estimates for non-smooth spaces obtained by Gigli–Mosconi.

Finite generation of Hochschild homology algebras

2000 ◽  
Vol 140 (1) ◽  
pp. 143-170 ◽  
Author(s):  
Luchezar L. Avramov ◽  
Srikanth Iyengar
Keyword(s):  
Hochschild Homology ◽  
Finite Generation

An Improvement of Herbrand's Theorem and Its Application to Model Generation Theorem Proving

2007 ◽  
Vol 22 (4) ◽  
pp. 541-553
Author(s):  
Yu-Yan Chao ◽  
Li-Feng He ◽  
Tsuyoshi Nakamura ◽  
Zheng-Hao Shi ◽  
Kenji Suzuki ◽  
...  
Keyword(s):  
Theorem Proving ◽  
Model Generation ◽  
Generation Theorem ◽  
Herbrand’S Theorem ◽  
Herbrand's Theorem ◽  
Model Generation Theorem Proving

scholarly journals Finite generation of congruence preserving functions

2015 ◽  
Vol 181 (1) ◽  
pp. 35-62 ◽  
Author(s):  
Erhard Aichinger ◽  
Marijana Lazić ◽  
Nebojša Mudrinski
Keyword(s):  
Finite Generation ◽  
Congruence Preserving Functions
Sign in / Sign up

Export Citation Format

Share Document