Emmy Noether rediscovered this man's theorem characterizing automorphisms of simple rings.
Emmy Noether rediscovered this man's theorem characterizing automorphisms of simple rings. He found a namesake p-adic method for certain types of Diophantine equations, and gave the modern version of the axiom of replacement shortly after its introduction by Fraenkel. The theorem that any countable theory with a model has a countable model is named for this man and Löwenheim. Herbrandization is the dual of the process named for, FTP, this Norwegian logician whose namesake functions remove existential quantifiers from formulas.
Emmy Noether rediscovered this man's theorem characterizing automorphisms of simple rings.
Thoralf Albert {Skolem}