(人名)化
Curry化
，
Currying
Haskell Curry
用例
Curry化
という言葉は多変数関数を1変数関数の連なりにバラすという手法で
関数型プログラミング言語
などで定石である
Quine化
，
Quining
W. V. Quine
メモ
Torkel Franzén, 田中一之(訳); "ゲーデルの定理 利用と誤用の不完全ガイド"
だったかな？
Skolem化
，
Skolemize
Skolem
Henkin化
，
Henkinze
Leon Henkin
メモ
忘れた
Herbrand化
，
Herbrandize
Jacques Herbrand
Borelize
Émile Borel
https://leanprover-community.github.io/mathlib_docs/measure_theory/constructions/borel_space/basic.html#tactic.borelize
きっとそんな言葉は正式にはないが，
Mathlib4
にあった
Gödelizing
Kurt Gödel
用例
C. Cieśliński, R. Urbaniak; "Gödelizing the Yablo sequence"
F. Fitch; "A Gödelized Formulation of the Prediction Paradox"