On logical wholeness of an (axiomatic) formal theory
M. Tasić (1991)
Matematički Vesnik
Similarity:
M. Tasić (1991)
Matematički Vesnik
Similarity:
Gan, Xiao-Xiong, Knox, Nathaniel (2002)
International Journal of Mathematics and Mathematical Sciences
Similarity:
Xiao-Xiong Gan, Dariusz Bugajewski (2010)
Commentationes Mathematicae Universitatis Carolinae
Similarity:
In this note we investigate a relationship between the boundary behavior of power series and the composition of formal power series. In particular, we prove that the composition domain of a formal power series is convex and balanced which implies that the subset consisting of formal power series which can be composed by a formal power series possesses such properties. We also provide a necessary and sufficient condition for the superposition operator to map into itself or to...
M. S. Popadić (1970)
Matematički Vesnik
Similarity:
Dragoš M. Cvetković (1972)
Publications de l'Institut Mathématique
Similarity:
Marcin Borkowski, Piotr Maćkowiak (2012)
Commentationes Mathematicae Universitatis Carolinae
Similarity:
In this paper, we present a considerable simplification of the proof of a theorem by Gan and Knox, stating a sufficient and necessary condition for existence of a composition of two formal power series. Then, we consider the behavior of such series and their (formal) derivatives at the boundary of the convergence circle, obtaining in particular a theorem of Bugajewski and Gan concerning the structure of the set of points where a formal power series is convergent with all its derivatives. ...
Józef Siciak (2011)
Annales Universitatis Mariae Curie-Sklodowska, sectio A – Mathematica
Similarity:
We study extensions of classical theorems on gap power series of a complex variable to the multidimensional case.