Neocompact quantifier elimination in structures based on Banach spaces

被引：2

作者：

Baratella, S ^{[1
]}

Ng, SA

机构：

[1] Univ Trent, Dipartimento Matemat, I-38050 Povo, TN, Italy

[2] Univ Natal, Dept Math, ZA-3209 Pietermaritzburg, South Africa

来源：

ANNALS OF PURE AND APPLIED LOGIC | 2001年 / 111卷 / 1-2期

关键词：

Banach space structure; quantifier elimination; neocompact; positive bounded formula; nonstandard hull;

D O I：

10.1016/S0168-0072(01)00036-7

中图分类号：

O29 [应用数学];

学科分类号：

070104 ;

摘要：

We study conditions for structures based on Banach spaces having the property that each set definable by neocompact formula (certain infinitary formula) is equivalent to the countable intersection of sets definable by quantifier-free formulas. We show that this property is invariant with respect to different nonstandard hull constructions and it is the same as Henson's Quantifier Elimination in sufficiently saturated nonstandard hulls of internal Banach spaces. (C) 2001 Elsevier Science B.V. All rights reserved.

引用

页码：115 / 143

页数：29

共 19 条

[1]

Albeverio S., 1986, NONSTANDARD METHODS

[2]

[Anonymous], 1993, ENCY MATH APPL, DOI DOI 10.1017/CBO9780511551574

[3] Fixed points in the nonstandard hull of a Banach space [J].