@misc{oai:tsukuba.repo.nii.ac.jp:00008271,
 author = {Tsuboi, Akito and 坪井, 明人},
 month = {},
 note = {application/pdf, 第1階述語論理Lと, Lの中の完全で無限模型をもつ理論T, 及びTの十分に大きな模型σを固定する。それぞれの長さがm, k自由変数列(x, y)をもつLの論理式φ(x, y)と,, II, k)の元aについて,φ(π, a)でπ=φ(b, a)となる, II, nの元b全体の集合を表わすものとする。論理式の集合φ(x, ai), i<ωが分割であるとは, ある自然数nが存在して, 集合族φ(π, ai), i<ωの中の任意のn個は共通部分をもたないことである。k個の分割φλ(x, aiλ), i<ωλ<kが独立であるとは, κからωへのどんな写像fについても集合[?]λ<kφλ(π, af(λ), λ)が空集合におならないことである。また,, π, の部分集合Aと,, π, kの元のあつまりai, i<ωについて, A上ai, i[?]Iが独立であるとは, 各iεIについて, タイプt(ai, AUai, i[?]I, J[?]i)がA上forkしないこととする。 ･･･, Thesis--University of Tsukuba, D.Sc.(A), no. 276. 1985. 3. 25},
 title = {Independent partitions and the number of countable models},
 year = {1985},
 yomi = {ツボイ, アキト}
}