Strukturieren eines algebraischen Ausdrucks als Herstellen von Bezügen

Zusammenfassung: Das Strukturieren eines algebraischen Ausdrucks ist ein individueller Prozess, bei dem eine Person Teile des Ausdrucks aufeinander bezieht. Durch die Beschreibung der dabei hergestellten Bezüge wird erstens explizit gemacht, in welche Bündel ein Proband die algebraische Zeichenreihe aufteilt und als was er sie interpretiert, und zweitens, wie die Person die Bezüge gebraucht. Das erlaubt die Rekonstruktion der internen Bedeutung, welche die Person dem Ausdruck zuschreibt. Dieses Konzept wird in diesem Artikel zur Analyse von Interviews verwendet. Es konnten empirisch vier Ebenen des Herstellens von Bezügen identifiziert werden: In einem Ausdruck Bezüge herstellen kann heißen, ihn optisch einfacher machen, ihn ändern, Teile umdeuten oder den Ausdruck klassifizieren. Dies ist bedeutsam im Algebraunterricht für das Aushandeln der Bedeutung von individuellen Strukture

How secondary level teachers and students impose personal structure on fractional expressions and equations—an expert-novice study

While an algebraic expression is typically assigned a regular structure, this article introduces the concept of personal structure (Strukturierung); here, the structuring of an algebraic expression is understood as the act of forming relationships between its parts. This concept is used for the analysis of interviews in which experts and novices talk about the personal structures they produced when looking at fractional expressions and equations. The results show, firstly, that experts will structure a given fractional expression in various different ways. Secondly, four categories have been identified: structuring can mean that an expression is made more visually straightforward, changed, reinterpreted or classified. This is meaningful for negotiating the appropriateness of the personal structures in teaching algebr

Transfinite dependent choice and ω-model reflection

In this paper we present some metapredicative subsystems of analysis. We deal with reflection principles, ω-model existence axioms (limit axioms) and axioms asserting the existence of hierarchies. We show several equivalences among the introduced subsystems. In particular we prove the equivalence of Σ1 1 transfinite dependent choice and Π2 1 reflection on ω-models of Σ1 1-D