MODNET

Research Training Network in Model Theory

Publications > Preprint server > Preprint Number 1553
Preprint Number 1553
1553. Philipp Hieronymi and Erik Walsberg Fractals and the monadic second order theory of one successor E-mail: Submission date: 10 January 2019 Abstract: Let X ⊆ ℝ^n be closed. If the C^k-smooth points of X are not dense in X for some k ≥ 0, then (ℝ,<,+,0,X) interprets the monadic second order theory of (ℕ,+1). The same conclusion holds if the Hausdorff dimension of X is strictly greater than the topological dimension of X and X has no affine points. Thus, if X is virtually any fractal subset of ℝ^n, then (ℝ,<,+,0,X) interprets the monadic second order theory of (ℕ,+1). Mathematics Subject Classification: Keywords and phrases: |

Last updated: March 23 2021 10:21 | Please send your corrections to: |