@phdthesis{oai:tsukuba.repo.nii.ac.jp:00039485,
 author = {田中, 勇一 and TANAKA, Yu-ichi},
 month = {},
 note = {2015, この博士論文は、全文公表に適さないやむを得ない事由があり要約のみを公表していましたが、解消したため、令和3(2021)年7月13日に全文を公表しました。},
 school = {筑波大学, University of Tsukuba},
 title = {Some topics in Model theory: model companion, recursive saturation and SchrOder-Bernstein property.},
 year = {2016},
 yomi = {タナカ, ユウイチ}
}