Models of Peano arithmetic as modules over initial segments and quantifier elimination results for products of ordered Abelian groups

Models of Peano arithmetic as modules over initial segments and quantifier elimination results for products of ordered Abelian groups

Nobuya Suzuki

[Tsukuba] : [s.n.], [2007]

図書等

巻号情報

No. 所在 請求記号 資料ID 資料タイプ 状況(返却予定日) コレクション 備考 予約・取り寄せ人数

1

DA04258-2006

10007003407

本学論文

詳細情報

刊年

2007

形態

39 leaves ; 31 cm

注記

Thesis (Ph. D. in Science)--University of Tsukuba, (A), no. 4258, 2007.3.23

Includes bibliographical references

出版国

日本

標題言語

英語 (eng)

本文言語

英語 (eng)

著者情報

鈴木, 宣哉 (スズキ, ノブヤ) [ Suzuki, Nobuya ]

分類

CAL:DA04258

NDC9:410.9