Sponsor
Partial financial support was received from the Advancing Students’ Proof Practices in Mathematics through Inquiry, Reinvention, and Engagement project (NSF DUE #1916490).
Published In
Educational Studies in Mathematics
Document Type
Article
Publication Date
3-16-2026
Subjects
Didactical phenomenology -- Completeness -- Design research, Real analysis, RME · Realistic mathematics education
Abstract
The study is part of an instructional design project focused on introductory real analysis. The goal of the project is to develop a theoretically grounded and empirically supported instructional approach that builds on students’ experiences in the calculus sequence to engage them in the reinvention of the rigorous foundations of the calculus. An essential aspect of this foundation is the completeness of the real numbers. Drawing on the didactical phenomenology heuristic from the theory of Realistic Mathematics Education (RME), we conducted an iterative instructional design study focused on the completeness axiom. The work proceeded in two phases. First, we conducted an a priori phenomenological analysis to identify a context that would be experientially real to the students and that could be productively mathematized using the least upper bound concept and to develop a conjectured trajectory for the mathematization process. Second, we conducted a series of design experiments to develop a didactical phenomenology for completeness. The purpose of this empirical work was to test the viability of the design suggested by our a priori analysis and inform refinements to our design. The purpose of this paper is to share our design process, describe the resulting didactical phenomenology, and illustrate the corresponding reinvention process with examples from our empirical studies.
Rights
Copyright (c) 2026 The Authors Creative Commons License This work is licensed under a Creative Commons Attribution 4.0 International License.
Locate the Document
https://doi.org/10.1007/s10649-026-10494-5
DOI
10.1007/s10649-026-10494-5
Persistent Identifier
https://archives.pdx.edu/ds/psu/44551
Citation Details
Larsen, S., Alzaga Elizondo, T., Vroom, K., & Strand, S. (2026). Toward a didactical phenomenology for the completeness axiom. Educational Studies in Mathematics.