On Definability of Relations in Standard Models of Flagments of First Order Arithmetic
スポンサーリンク
概要
著者
-
Aoyama Kiwamu
Department Of Mathematics Faculty Of Science Shizuoka University
-
Aoyama Kiwamu
Department Of Mathematics Faculty Of Science Kagosima University
関連論文
- A note on built-upness
- Correction to "On definability of relations in standard models of fragments of first order arithmetic"
- On Definability of Relations in Standard Models of Flagments of First Order Arithmetic