文献

J-GLOBAL ID：202002255818911797   整理番号：20A2663109

トポロジー的場上の連続定義可能関数の環における整数値関数の定義【JST・京大機械翻訳】

Defining integer-valued functions in rings of continuous definable functions over a topological field

著者 (2件)： Darniere Luck (Departement de Mathematiques, Universite d’Angers, 2 Boulevard Lavoisier, 49045 Angers Cedex 01, France) ,  Tressl Marcus (Department of Mathematics, The University of Manchester, Oxford Road, Manchester M13 9PL, UK)
資料名： Journal of Mathematical Logic  (Journal of Mathematical Logic)
巻： 20  号： 3  ページ： 2050014  発行年： 2020年 
JST資料番号： W3739A  ISSN： 0219-0613  資料種別： 逐次刊行物 (A)
記事区分： 原著論文  発行国： シンガポール (SGP)  言語： 英語 (EN)

抄録/ポイント： [数式:原文を参照]は,秩序場[数式:原文を参照]または値場[数式:原文を参照]のいずれかの拡張である。定義可能なセット[数式:原文を参照]レット[数式:原文を参照]は,XからKまでの連続定義可能関数のリングである。Xおよび構造[数式:原文を参照]の幾何学に関する非常に穏やかな仮定の下で,特に[数式:原文を参照]がo-最小またはP-最小である場合,または局所場の拡大で,整数Zの環が[数式:原文を参照]で解釈できることを証明した。[数式:原文を参照]がo-最小で,Xが純次元[数式:原文を参照]と定義できるならば,[数式:原文を参照]はサブリングZを定義する。[数式:原文を参照]がP-最小で,Xが孤立点を持たないならば,Kに含まれた離散環[数式:原文を参照]があり,そして,[数式:原文を参照]に値をとる機能[数式:原文を参照]の環が,[数式:原文を参照]で定義できるように,Zに自然に同形である。Copyright 2020 World Scientific Publishing Company All rights reserved. Translated from English into Japanese by JST.【JST・京大機械翻訳】

シソーラス用語： *位相幾何学 ,  幾何学

著者キーワード (4件)： 連続関数の環 ,  整数の定義 ,  トポロジー場 ,  定義可能な機能

分類 (1件)： 代数学  (AB02000R)

タイトルに関連する用語 (5件)： トポロジー ,  定義 ,  関数 ,  環 ,  数値