This is a preview. Log in through your library . Abstract For a first-order formula φ(x; y) we introduce and study the characteristic sequence P n : n < ω of hypergraphs defined by P n (y₁…., y n ):= ...
当前正在显示可能无法访问的结果。
隐藏无法访问的结果当前正在显示可能无法访问的结果。
隐藏无法访问的结果