All a b c d e f g h i j k l m n o p q r s t u v w x y z Other

Page 1

Displaying 1 – 6 of 6

Showing per page

Quantifier elimination in quasianalytic structures via non-standard analysis

Krzysztof Jan Nowak (2015)

Annales Polonici Mathematici

The paper is a continuation of an earlier one where we developed a theory of active and non-active infinitesimals and intended to establish quantifier elimination in quasianalytic structures. That article, however, did not attain full generality, which refers to one of its results, namely the theorem on an active infinitesimal, playing an essential role in our non-standard analysis. The general case was covered in our subsequent preprint, which constitutes a basis for the approach presented here....

Quantifier elimination, valuation property and preparation theorem in quasianalytic geometry via transformation to normal crossings

Krzysztof Jan Nowak (2009)

Annales Polonici Mathematici

This paper investigates the geometry of the expansion Q of the real field ℝ by restricted quasianalytic functions. The main purpose is to establish quantifier elimination, description of definable functions by terms, the valuation property and preparation theorem (in the sense of Parusiński-Lion-Rolin). To this end, we study non-standard models of the universal diagram T of Q in the language ℒ augmented by the names of rational powers. Our approach makes no appeal to the Weierstrass preparation...

Quasicontinuity and related properties of functions and multivalued maps

Janina Ewert (1995)

Mathematica Bohemica

The main results presented in this paper concern multivalued maps. We consider the cliquishness, quasicontinuity, almost continuity and almost quasicontinuity; these properties of multivalued maps are characterized by the analogous properties of some real functions. The connections obtained are used to prove decomposition theorems for upper and lower quasicontinuity.

Currently displaying 1 – 6 of 6

Page 1