Nonstandard arithmetic of function fields over H-convex subfields of $^\ast \mathbb{Q}$
スポンサーリンク
概要
著者
関連論文
- Cherlin Chainの集合論への応用 (ブール代数値の解析学と超準解析)
- Second order bounded arithmetic and computational complexity (自然数の超準モデルにおける1階定義可能性の研究 RIMS研究集会報告集)
- Bounded Second Order Arithmetic(Metamathematics and it's applications)
- Nonstandard theory of functional and arithmetical divisors(Problems in Combinatorics)
- Nonstandard arithmetic of function fields over H-convex subfields of $^\ast \mathbb{Q}$
- An Affirmative Answer of a Joyal's Problem (数学基礎論)
- Nonstandard arithmetic