嘉田が大阪府立大学で指導した卒業研究テーマ・修士論文題目をまとめました。

修士論文題目

• 和集合公理を除いた集合論における選択公理の強さの階層（2016年3月/大学院理学系研究科）
• 無限帽子パズルの必勝戦略と集合論的原理（2016年3月/大学院理学系研究科）
• Solovay's measure problem and Raisonnier's rapid filters （ソロヴェイの測度の問題とレゾニエのラピッドフィルター）（2014年3月/大学院理学系研究科）

卒業研究テーマ

• 1階述語論理における「妥当な推論」の形式的定義と例（2016年3月/工学域数理システム課程）
• 1個の3項真理関数からなる完全系の探索と分類（2016年3月/理学部情報数理科学科）
• コンパクト性定理から超準解析へ（2015年3月/理学部情報数理科学科）
• 命題論理における論理式の構文解析と自動処理（2014年3月/理学部情報数理科学科）
• 和集合公理を除いた集合論のモデル（2014年3月/理学部情報数理科学科）
• 実数体の構成と教科書の間違い（2013年3月/理学部情報数理科学科）
• ススリン仮説と集合論における独立命題（2012年3月/理学部情報数理科学科）
• 論理プログラミングで解く探索問題（2008年3月/総合科学部数理・情報科学科）
• 論理プログラミングで解く数学（2008年3月/総合科学部数理・情報科学科）