n-type

Noun

(mathematics) A set of formulas that have n free variables of a certain sort

Japanese Meaning

数学の分野において、n 個の自由変数を持つ特定の種類の公式や式の集合

To analyze the structure, she listed every n-type over the parameter set and examined their realizations in the model.

構造を解析するために、彼女はパラメータ集合上の自由変数がn個ある型をすべて列挙し、それらがモデル内でどのように実現されるかを調べた。

Sense（1）

(mathematics) A set of formulas that have n free variables of a certain sort

n-types

（ plural ）