La función zeta de Artin-Mazur formalmente es similar a la función zeta local, cuando un diffeomorfismo en una variedad compacta remplaza el mapeo de Frobenius por una variedad algebraica sobre un campo finito.