Recovering Continuity in a Countable Framework: The Role of Simultaneous Marking Slavica Mihaljevic Vlahovic 1 and Branislav Dobrasin Vlahovic 2 ∗ 1 University of Zagreb, 41000 Zagreb, Croatia 2 North Carolina Central University, Durham, NC 27707, USA July 18, 2025 Abstract We construct a countable, dense, and Dedekind complete subset S m ⊆ R by as- signing irrational marks to all rational intervals under a system of structural marking axioms. The construction requires that every interval with rational endpoints is marked with one irrational number from the outset, and that marking is global and simultane- ous across all nested and overlapping substructures. We prove that this fixed marking scheme guarantees inclusion of limit points of nested intervals, thereby establishing both sequential and Dedekind completeness of S m . A comparison with sequential marking highlights that without global coherence, limit points may be excluded. This distinction emphasizes the necessity of simultaneous marking to maintain complete- ness. Our construction offers a novel perspective on how completeness can emerge from countable structural assignments within the real line. Introduction The cardinality of the continuum remains one of the most profound uncertainties in the foundations of mathematics [1, 2]. G¨ odel’s constructible universe L and Cohen’s forcing extensions show that the continuum hypothesis (CH) is independent of ZFC [3, 4, 5]; its truth value hinges on additional axioms [6, 7, 8, 9]. Furthermore, the L¨ owenheim–Skolem theorem implies that any first-order theory in a countable language, including ZFC, admits a countable model. This creates a paradoxical scenario in which the real numbers can be ”un- countable” within a model, yet the model itself is countable from an external perspective[10]. Thus, uncountability becomes a model-relative notion. A set that appears uncountable internally may be denumerable externally. The diagonal argument itself, being formalizable ∗ Corresponding author. Email: vlahovic@nccu.edu 1