Wyniki wyszukiwania - BazTech

Ograniczanie wyników

3 Bulletin of the Polish Academy of Sciences. Mathematics

Znaleziono wyników: 3

Liczba wyników na stronie

Wyniki wyszukiwania

Wyszukiwano:
w słowach kluczowych: semianalytic sets

Sortuj według:

Ogranicz wyniki do:

Closure theorem for partially semialgebraic sets

Łojasiewicz S., Zurro M. A.

Bulletin of the Polish Academy of Sciences. Mathematics

2007

Vol. 55, no 4

325-331

In 1988 it was proved by the first author that the closure of a partially semialgebraic set is partially semialgebraic. The essential tool used in that proof was the regular separation property. Here we give another proof without using this tool, based on the semianalytic L-cone theorem (Theorem 2), a semianalytic analog of the Cartan-Remmert-Stein lemma with parameters.

Lemmass A and B for sub-Pfaffian sets

Hajto Z.

Bulletin of the Polish Academy of Sciences. Mathematics

1999

Vol. 47, no 4

325-336

In this paper we prove two fundamental lemmas of sub-Pfaffian geometry which are counterparts of Lemmas A and B for subanalytic sets [4]. We use a generalized version of the Tangent Mapping Theorem [2], following our program announced in [11].

A model-theoretic version of the complement theorem

Nowak K.

Bulletin of the Polish Academy of Sciences. Mathematics

1999

Vol. 47, no 4

345-353

This paper deals with an axiomatic theory T[sub an] and the expansion R[sub an] of the ordered field of reals, formed by attaching the restricted analytic functions. We show that the theory T[sub an] is model-complete, which may be regarded as a version of Gabrielov's complement theorem. Our proof is based on Robinson's test and it does not involve a partition technique. An immediate corollary is that T[sub an] coincides with the semantic theory Th(R[sub an]) of all sentences true in the structure R[sub an].