Hartogs-type theorems in real algebraic geometry, I

Marcin Bilski, Jacek Bochnak, Wojciech Kucharz

Let f:X-->R be a function defined on a connected nonsingular real algebraic set X in R^n. We prove that regularity of f can be detected on either algebraic curves or surfaces in X.…