Imaginaries and invariant types in existentially closed valued differential fields

出版，文件解除 Anneée:2015年

存在闭值微分域中的映象和不变类型

(1, 2, 3)

1
2
三

西尔维恩·里多

奥赛数学实验室

巴黎ENS数学与应用分部

数学系[伯克利]

我们回答了关于Scanlon提出的值微分场模型理论的两个公开问题。我们证明了它们消除了Haskell、Hrushovski和Macpherson引入的几何语言中的想象，并且它们具有不变扩张性质。这两个结果来自于代数闭值域浓缩中可定义类型密度的抽象准则。最后，我们证明了该理论是亚稳态的。

逻辑[math.LO]

菲奇尔校长

EIVDF-hal.pdf（593.21 Ko）

原籍	菲奇尔斯（Fichiers）出品的par l’（les）auteur（s）

https://hal.science/hal-01188962

Soumis le:lundi上午31点2015-20:15:50

Dernière修改le:mardi 30 avril 2024-16:30:23

长期存档：mardi 1 décembre 2015-10:49:10

hal-01188962，版本1 (31-08-2015)

西尔万·里多。存在闭值微分域中的映象和不变类型。2015⟨哈尔-01188962⟩

ENS-PARIS公司中国科学院 INSMI公司 LM-ORSAY公司 PSL公司 UNIV-PARIS-SACLAY大学 MATH_ENS_PARIS公司澳大利亚国家铁路公司 GS-模型

140 磋商

125 交易费用