Grätzer-Schmidt Theorem In Arithmetical Transfinite Recursion