@misc{oai:tsukuba.repo.nii.ac.jp:00027153,
 author = {竹内, 耕太},
 month = {},
 note = {2011, 【要旨】},
 title = {A study of types and definable sets in first order structures},
 year = {2012}
}