thesis.aux

\relax 
\citation{black1998inside}
\citation{kaput1998research}
\citation{dorfler2000means}
\citation{wittgenstein1989wittgenstein}
\@writefile{toc}{\contentsline {chapter}{\numberline {1}Introduction}{1}}
\@writefile{lof}{\addvspace {10\p@ }}
\@writefile{lot}{\addvspace {10\p@ }}
\citation{kaput1998research}
\citation{kaput1998research}
\citation{marton1981phenomenography}
\citation{svensson1997theoretical}
\citation{marton1997learning}
\citation{marton2005unit}
\citation{harel1998students}
\citation{mason1989mathematical}
\citation{hazzan2003students}
\citation{viete2006analytic}
\citation{gray1994duality}
\citation{rosken2007integrating}
\citation{rasslan2002definitions}
\citation{dubinsky2002apos}
\citation{leron1983structuring}
\citation{leron1995abstract}
\citation{harel1991constructionism}
\citation{gray1994duality}
\citation{hiebert2013conceptual}
\citation{harel1998students}
\citation{harel1998students}
\citation{harel1998students}
\citation{harel1998students}
\@writefile{toc}{\contentsline {chapter}{\numberline {2}Design of the Study}{8}}
\@writefile{lof}{\addvspace {10\p@ }}
\@writefile{lot}{\addvspace {10\p@ }}
\@writefile{toc}{\contentsline {section}{\numberline {2.1}Chronology of the Design}{8}}
\citation{sipser2012introduction}
\citation{devlin2012mathematical}
\citation{sipser2012introduction}
\citation{prince2004does}
\@writefile{toc}{\contentsline {subsection}{\numberline {2.1.1}Parts of the Study}{11}}
\@writefile{toc}{\contentsline {subsection}{\numberline {2.1.2}Order of Exploration}{11}}
\@writefile{toc}{\contentsline {section}{\numberline {2.2}Mathematization Related Proofs Using the Pumping Lemma for Regular Languages}{11}}
\citation{marton1981phenomenography}
\citation{svensson1997theoretical}
\citation{marton1997learning}
\citation{marton2005unit}
\citation{bussey2013variation}
\citation{bussey2013variation}
\citation{suhonen2007applications}
\@writefile{toc}{\contentsline {section}{\numberline {2.3}Proofs by Induction}{12}}
\@writefile{toc}{\contentsline {section}{\numberline {2.4}Conceptions of Domain, range, mapping, relation, function, equivalence in Proofs}{13}}
\@writefile{toc}{\contentsline {section}{\numberline {2.5}Conceptions of Definitions, Language, Reasoning in Proofs}{13}}
\@writefile{toc}{\contentsline {section}{\numberline {2.6}Conceptions of Equivalence, Abstraction in Proofs}{13}}
\@writefile{toc}{\contentsline {section}{\numberline {2.7}Instructive Problems}{13}}
\citation{gibson1998students}
\citation{nelson1993proofs}
\@writefile{toc}{\contentsline {section}{\numberline {2.8}Instrument for Initial (Before course) Assessment for Discrete Structures}{14}}
\citation{loewenberg2003mathematical}
\citation{loewenberg2003mathematical}
\@writefile{toc}{\contentsline {chapter}{\numberline {3}Research Perspective and Epistemological Framework}{15}}
\@writefile{lof}{\addvspace {10\p@ }}
\@writefile{lot}{\addvspace {10\p@ }}
\citation{loewenberg2003mathematical}
\@writefile{toc}{\contentsline {section}{\numberline {3.1}Phenomenography}{16}}
\citation{van2011slow}
\@writefile{toc}{\contentsline {section}{\numberline {3.2}Variation Theory}{17}}
\@writefile{toc}{\contentsline {section}{\numberline {3.3}Constructivism}{17}}
\citation{Metaphor or met-before 2010 Jour Math Behavior}
\citation{[p. 74]{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.3.1}Intuition}{18}}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.3.2}Met-befores}{18}}
\citation{lindquist2013mind}
\citation{brosch2013impact}
\citation{sali2014role}
\citation{ojemann2014human}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.3.3}Harel and Sowder}{19}}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.3.4}van Hiele Levels}{19}}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.3.5}Student Centered}{19}}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.3.6}Attention}{19}}
\citation{ojemann2014human}
\citation{ojemann2014human}
\citation{nelson1993proofs}
\citation{dorfler2000means}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.3.7}Memory}{20}}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.3.8}Social Constructivism}{20}}
\citation{dorfler2000means}
\citation{loewenberg2003mathematical}
\citation{schoenfeld1998reflections}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.3.9}Beliefs about Diagrams}{21}}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.3.10}Semiotics}{21}}
\citation{van2000appropriation}
\citation{van2000appropriation}
\citation{freudenthal1973mathematics}
\citation{van2000appropriation}
\citation{van2000appropriation}
\citation{van2000appropriation}
\citation{nemirovskymonk}
\citation{nemirovskymonk}
\citation{nemirovskymonk}
\citation{nemirovskymonk}
\citation{bransford2000designs}
\citation{squire2000memory}
\citation{squire2015conscious}
\citation{santos1998instructional}
\citation{gentner2012analogical}
\citation{gentner2012analogical}
\citation{or2004cognitive}
\citation{lutzer1988comprehension}
\citation{gentner2012analogical}
\citation{gentner2012analogical}
\citation{gick1980analogical}
\citation{whitehead1959aims}
\citation{gentner1986systematicity}
\citation{gentner1988metaphor}
\citation{rattermann1998more}
\citation{bulloch2009makes}
\citation{dunbar2000scientists}
\citation{dunbar2000scientists}
\@writefile{toc}{\contentsline {section}{\numberline {3.4}Cognitive Science}{24}}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.4.1}Analogical Reasoning}{25}}
\citation{day2007nonintentional}
\citation{day2007nonintentional}
\citation{day2007nonintentional}
\citation{day2007nonintentional}
\citation{loewenberg2003mathematical}
\citation{loewenberg2003mathematical}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.4.2}Generalization}{27}}
\citation{lesh2000symbolizing}
\citation{bower2000postscript}
\citation{bransford2000designs}
\citation{lesh2000symbolizing}
\citation{huth2012continuous}
\@writefile{toc}{\contentsline {section}{\numberline {3.5}Neuroscience / Neurophysiology}{28}}
\citation{cerf2014studying}
\citation{Bezdek2015338}
\citation{Christoff20098719}
\citation{kosslyn1992wet}
\citation{kosslyn1992wet}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.5.1}Cognitive Neuroscience}{29}}
\citation{kosslyn1992wet}
\citation{kosslyn1992wet}
\citation{kosslyn1992wet}
\citation{kosslyn1992wet}
\citation{kosslyn1992wet}
\citation{kosslyn1992wet}
\citation{kosslyn1992wet}
\citation{kosslyn1992wet}
\citation{kosslyn1992wet}
\citation{kosslyn1992wet}
\citation{kosslyn1992wet}
\citation{kosslyn1992wet}
\citation{kosslyn1992wet}
\citation{kosslyn1992wet}
\citation{kosslyn1992wet}
\citation{kosslyn1992wet}
\citation{kosslyn1992wet}
\citation{kosslyn1992wet}
\citation{schmalz2015getting}
\citation{kosslyn1992wet}
\citation{kosslyn1992wet}
\citation{maddox2014directing}
\citation{kosslyn1992wet}
\citation{kosslyn1992wet}
\citation{kosslyn1992wet}
\citation{kosslyn1992wet}
\citation{squire1987memory}
\citation{davis1984protein}
\citation{kosslyn1992wet}
\citation{kosslyn1992wet}
\citation{kosslyn1992wet}
\citation{kosslyn1992wet}
\citation{kosslyn1992wet}
\citation{kosslyn1992wet}
\citation{kosslyn1992wet}
\citation{kosslyn1992wet}
\citation{kosslyn1992wet}
\citation{kosslyn1992wet}
\citation{kosslyn1992wet}
\citation{kosslyn1992wet}
\citation{kosslyn1992wet}
\citation{kosslyn1992wet}
\citation{kosslyn1992wet}
\citation{lisman2013habit}
\citation{kosslyn1992wet}
\citation{kosslyn1992wet}
\citation{kosslyn1992wet}
\citation{kosslyn1992wet}
\citation{kosslyn1992wet}
\citation{kosslyn1992wet}
\citation{kosslyn1992wet}
\citation{kosslyn1992wet}
\citation{martin2015grapes}
\citation{bachmann2015brain}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.5.2}Brain Imaging}{41}}
\citation{luck2014potentiation}
\citation{kowatari2009neural}
\citation{huang2015highest}
\citation{fink1996brain}
\citation{Mihov2010442}
\citation{squire2015conscious}
\citation{chambers2003developmental}
\citation{gurden1999integrity}
\citation{mulder1997short}
\citation{hyman2001addiction}
\citation{kounios2015eureka}
\citation{takeuchi2010training}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.5.3}Brain structure}{42}}
\citation{melby2013working}
\citation{fried2014single}
\citation{kishiyama2004restorff}
\citation{wallace1965review}
\citation{kinsbourne1974mechanism}
\citation{hunt1995subtlety}
\citation{parker1998restorff}
\citation{pedreira2010responses}
\citation{rutishauser2014single}
\citation{lisman2001storage}
\citation{lisman2005hippocampal}
\citation{mormann2014visual}
\citation{ouchi2013reduced}
\citation{ojemann2014human}
\citation{kowatari2009neural}
\citation{waisman2014brain}
\citation{zamarian2009neuroscience}
\citation{waisman2014brain}
\citation{waisman2014brain}
\citation{zacks2008neuroimaging}
\citation{deng2010new}
\citation{knutson2001anticipation}
\citation{knutson2001anticipation}
\citation{chambers2003developmental}
\citation{chambers2003developmental}
\citation{chambers2003developmental}
\citation{anderson2011cognitive}
\citation{decety2007role}
\citation{anderson2011cognitive}
\citation{fletcher2001frontal}
\citation{anderson2011cognitive}
\citation{anderson2011cognitive}
\@writefile{lof}{\contentsline {figure}{\numberline {3.5.1}{\ignorespaces In this figure reprinted from Chambers\cite  {chambers2003developmental}, (I plan to do something, either redraw or ask permission) we see how sensory input, new information, is delivered to hippocampus. Other sources have shown us that new neurons are created in or near hippocampus that are a response to new information arriving and related to memory for the new information. We have seen how presence of dopamine, from striatum and VTA assist the consolidation of new memory into longer term memory. We have seen that for monomodal information, the long term memory is stored in cortex near where input is provided by that modality (visual cortex, auditory cortex) and for multimodal information, the long term memory is stored in association cortex. We have seen that information stored in association cortex is more readily retrieved, as any of the associated modalities can help retrieve it. We have seen that this consolidation requires protein and is facilitated by sleep, (I forget which of REM or slow wave sleep.) We have seen how reconsolidation can occur, assisted by nucleus accumbens, and can result in information accessible to the prefrontal cortex, on the right side. We have seen how anticipation of positive reward activates the nucleus accumbens on the right side. Could it be that anticipation of positive reward occurs in REM sleep, I wonder.\relax }}{46}}
\providecommand*\caption@xref[2]{\@setref\relax\@undefined{#1}}
\newlabel{fig:poster23}{{3.5.1}{46}}
\citation{quiroga2012concept}
\citation{suthana2012memory}
\citation{imamoglu2012changes}
\citation{murayama2014consolidation}
\citation{born2012system}
\citation{diekelmann2012offline}
\citation{tayler2013reactivation}
\citation{cowansage2014direct}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.5.4}Brain function}{47}}
\citation{lustenberger2012triangular}
\citation{roux2014working}
\citation{walker2014sleep}
\citation{tononi2014sleep}
\citation{rutishauser2014single}
\citation{rutishauser2014single}
\citation{paller2002observing}
\citation{martin2000synaptic}
\citation{rutishauser2014single}
\citation{klimesch1996theta}
\citation{sederberg2003theta}
\citation{rutishauser2014single}
\citation{mormann2014visual}
\citation{mormann2014visual}
\citation{paz2013physiological}
\citation{schwabe2014reconsolidation}
\citation{patel2014human}
\citation{patel2014human}
\citation{patel2014human}
\citation{patel2014human}
\citation{patel2014human}
\citation{patel2014human}
\citation{ojemann2014human}
\citation{rutishauser2014next}
\citation{rutishauser2014next}
\citation{rutishauser2014next}
\citation{rutishauser2014next}
\citation{rutishauser2014next}
\citation{patel2014human}
\citation{kowatari2009neural}
\citation{carlsson2000neurobiology}
\citation{kowatari2009neural}
\citation{kowatari2009neural}
\citation{kowatari2009neural}
\citation{kowatari2009neural}
\citation{deng2010new}
\citation{toni2008neurons}
\citation{toni2008neurons}
\citation{deng2010new}
\citation{kee2007preferential}
\citation{trouche2009recruitment}
\citation{deng2010new}
\citation{deng2010new}
\citation{deng2010new}
\citation{kitamura2009adult}
\citation{diekelmann2010memory}
\citation{diekelmann2010memory}
\citation{diekelmann2010memory}
\citation{stickgold2000visual.walker2003dissociable}
\citation{chambers2003developmental}
\citation{chambers2003developmental}
\citation{masterman1997frontal}
\citation{chambers2003developmental}
\citation{waelti2001dopamine}
\citation{chambers2003developmental}
\citation{chambers2003developmental}
\citation{yates1990theories}
\citation{wittmann2005reward}
\citation{wittmann2005reward}
\citation{knutson2003region}
\citation{lee2007strategic}
\citation{lee2007strategic}
\citation{anderson2003information}
\citation{lee2007strategic}
\citation{sohn2004behavioral}
\citation{lee2007strategic}
\citation{lee2007strategic}
\citation{lee2007strategic}
\citation{owen2005n}
\citation{lee2007strategic}
\citation{wittmann2007anticipation}
\citation{wittmann2007anticipation}
\citation{keller2009gender}
\citation{keller2009gender}
\citation{diekelmann2010memory}
\citation{schendan2003fmri}
\citation{diekelmann2010memory}
\citation{ellenbogen2007human}
\citation{wagner2004sleep}
\citation{diekelmann2010memory}
\citation{diekelmann2010memory}
\citation{diekelmann2010memory}
\citation{diekelmann2010memory}
\citation{diekelmann2010memory}
\citation{diekelmann2010memory}
\citation{diekelmann2010memory}
\citation{wagner2008memory}
\citation{aliyari2015effects}
\citation{russoniello2009effectiveness}
\citation{mercer2015stress}
\citation{eickhoff2015excessive}
\citation{maass2015does}
\citation{diekelmann2010memory}
\citation{diekelmann2010memory}
\citation{frankland2005organization}
\citation{diekelmann2010memory}
\citation{ribeiro2007novel}
\citation{ribeiro2002induction}
\citation{born2012system}
\citation{born2012system}
\@writefile{toc}{\contentsline {paragraph}{Steps}{62}}
\citation{wittmann2005reward}
\citation{wittmann2005reward}
\citation{deng2010new}
\citation{diekelmann2010memory}
\citation{diekelmann2010memory}
\citation{gais2006sleep}
\citation{talamini2008sleep}
\citation{walker2003dissociable}
\citation{diekelmann2010memory}
\citation{diekelmann2010memory}
\citation{diekelmann2010memory}
\citation{maquet2000experience}
\citation{diekelmann2010memory}
\citation{nishida2009rem}
\citation{Bridge01082015}
\citation{sali2014role}
\citation{whitehead1959aims}
\citation{sandrini2015modulating}
\citation{schwabe2014reconsolidation}
\citation{forcato2013role}
\citation{walker2003dissociable}
\citation{knutson2001anticipation}
\citation{kowatari2009neural}
\citation{chou2011sex}
\citation{chou2011sex}
\citation{lisman2011neohebbian}
\citation{lisman2011neohebbian}
\citation{lisman2011neohebbian}
\citation{lisman2011neohebbian}
\citation{adcock2006reward}
\citation{wittmann2005reward}
\citation{krebs2009personality}
\citation{wittmann2011behavioral}
\citation{lisman2011neohebbian}
\citation{lisman2011neohebbian}
\citation{frey1997synaptic}
\citation{lisman2011neohebbian}
\citation{lisman2011neohebbian}
\citation{sarter2005unraveling}
\citation{frey2008synaptic}
\citation{wittmann2011behavioral}
\citation{fenker2008novel}
\@writefile{lof}{\contentsline {figure}{\numberline {3.5.2}{\ignorespaces connectivity in medial temporal lobs and hippocampus ventral tegmentum loop processing info about object and spatial context. Allows perirhinal cortical info about novelity to general dopamine response\relax }}{67}}
\newlabel{fig:lismanNeoHebbian}{{3.5.2}{67}}
\citation{lisman2011neohebbian}
\citation{karpicke2008critical}
\citation{Mains01072015}
\citation{Bridge01082015}
\citation{rottschy2012modelling}
\citation{rottschy2012modelling}
\citation{rottschy2012modelling}
\citation{wittmann2011behavioral}
\citation{abraham2012creativity}
\citation{abraham2012creativity}
\citation{ward1994structured}
\citation{abraham2012creativity}
\citation{abraham2012creativity}
\citation{abraham2012creativity}
\citation{abraham2008thinking}
\citation{schacter1998cognitive}
\citation{zysset2003functional}
\citation{|}
\@writefile{lof}{\contentsline {figure}{\numberline {3.5.3}{\ignorespaces left frontal polar cortex playing a particularly relevant role in concept expansion, is thought to mediate cognitive control at the most abstract level of information processing. The left dorsolateral pre frontal cortex, and the dorsomedial prefrontal cortex (BA8/9 and 8) also showed stronger brain activity\relax }}{71}}
\newlabel{fig:frontopolar-cortex}{{3.5.3}{71}}
\@writefile{lof}{\contentsline {figure}{\numberline {3.5.4}{\ignorespaces Conceptual expension was associated with greater brain activity in left anterior inferior frontal gyrus (right is pictured)\relax }}{72}}
\newlabel{fig:inferiorfrontalgyrus}{{3.5.4}{72}}
\@writefile{lof}{\contentsline {figure}{\numberline {3.5.5}{\ignorespaces The inferior frontal gyrus, temporal poles and frontopolar cortex are involved in coceptual expansion. The roles of the anterior cingulate cortex and the dorsolateralprefrontal cortex were found to be most responsive in conceptual expansion, and active in divergent thinking.\relax }}{72}}
\newlabel{fig:gr1}{{3.5.5}{72}}
\citation{born2012system}
\citation{born2012system}
\citation{born2012system}
\citation{robertson2004awareness}
\citation{marshall2007contribution}
\citation{kuriyama2004sleep}
\citation{wagner2006brief}
\citation{wagner2006brief}
\citation{born2012system}
\citation{polyn2008memory}
\citation{born2012system}
\citation{born2012system}
\citation{dudai2012restless}
\citation{dudai2012restless}
\citation{karpicke2008critical}
\citation{forcato2013role}
\citation{forcato2013role}
\citation{forcato2013role}
\citation{blood2001intensely}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.5.5}Educational Neuroscience}{77}}
\@writefile{toc}{\contentsline {section}{\numberline {3.6}Systems Biology}{77}}
\@writefile{toc}{\contentsline {section}{\numberline {3.7}Physiologically Informed Constructivism}{77}}
\citation{lisman2005hippocampal}
\citation{schultz2000neuronal}
\citation{kafkas2015striatal}
\citation{salimpoor2015predictions}
\citation{lisman2005hippocampal}
\citation{lisman2005hippocampal}
\citation{lisman2005hippocampal}
\citation{lisman2005hippocampal}
\citation{lisman2005hippocampal}
\citation{wittmann2005reward}
\citation{wittmann2005reward}
\@writefile{toc}{\contentsline {chapter}{\numberline {4}Methodology}{81}}
\@writefile{lof}{\addvspace {10\p@ }}
\@writefile{lot}{\addvspace {10\p@ }}
\@writefile{toc}{\contentsline {section}{\numberline {4.1}Design of the Studies}{81}}
\@writefile{toc}{\contentsline {section}{\numberline {4.2}Sample Selection}{82}}
\@writefile{toc}{\contentsline {section}{\numberline {4.3}Proofs Using the Pumping Lemma for Regular Languages}{82}}
\@writefile{toc}{\contentsline {section}{\numberline {4.4}Proofs by Mathematic Induction}{83}}
\@writefile{toc}{\contentsline {section}{\numberline {4.5}Domain, Range, Mapping, Relation, Function, Equivalence in Proofs}{83}}
\@writefile{toc}{\contentsline {section}{\numberline {4.6}Definition, Language, Reasoning}{84}}
\@writefile{toc}{\contentsline {section}{\numberline {4.7}Equivalence Classes, Generic Particular, Abstraction in Proofs}{84}}
\@writefile{toc}{\contentsline {section}{\numberline {4.8}Data Collection}{84}}
\@writefile{toc}{\contentsline {section}{\numberline {4.9}Interviews}{84}}
\@writefile{toc}{\contentsline {section}{\numberline {4.10}Documents}{84}}
\@writefile{toc}{\contentsline {subsection}{\numberline {4.10.1}Proofs Using the Pumping Lemma for Regular Languages}{84}}
\@writefile{toc}{\contentsline {section}{\numberline {4.11}Proofs by Mathematic Induction}{85}}
\citation{Merriam2002}
\citation{Merriam2009}
\citation{braun2006using}
\citation{fereday2008demonstrating}
\citation{boyatzis1998transforming}
\citation{strauss1990basics}
\citation{kendall1999axial}
\citation{glaser2008conceptualization}
\@writefile{toc}{\contentsline {section}{\numberline {4.12}Expanded semi-structured interview protocol for domain, range, language, equivalence class in Proofs}{86}}
\@writefile{toc}{\contentsline {section}{\numberline {4.13}Expanded semi-structured interview protocol for definitions, language, reasoning in Proofs}{86}}
\@writefile{toc}{\contentsline {section}{\numberline {4.14}Data Analysis}{86}}
\citation{rota1997phenomenology}
\citation{booth1997phenomenography}
\@writefile{toc}{\contentsline {section}{\numberline {4.15}Validity and Reliability}{87}}
\@writefile{toc}{\contentsline {section}{\numberline {4.16}Researcher Bias and Assumptions}{88}}
\@writefile{toc}{\contentsline {subsection}{\numberline {4.16.1}Proofs Using the Pumping Lemma for Regular Languages}{88}}
\@writefile{toc}{\contentsline {subsection}{\numberline {4.16.2}Proofs by Induction}{89}}
\@writefile{toc}{\contentsline {subsection}{\numberline {4.16.3}Domain, Range, Mapping, Relation, Function, Equivalence Relation in Proofs}{89}}
\@writefile{toc}{\contentsline {subsection}{\numberline {4.16.4}Definitions, Language, Reasoning in Proofs}{89}}
\@writefile{toc}{\contentsline {subsection}{\numberline {4.16.5}Equivalence Class, Generic Particular, Abstraction in Proofs}{89}}
\citation{reilly2014examination}
\citation{cohen1982modified}
\citation{almstrum1996investigating}
\@writefile{toc}{\contentsline {chapter}{\numberline {5}Results}{90}}
\@writefile{lof}{\addvspace {10\p@ }}
\@writefile{lot}{\addvspace {10\p@ }}
\@writefile{toc}{\contentsline {section}{\numberline {5.1} Categories of Experience of Entering Students}{90}}
\citation{harel1998students}
\citation{harel1998students}
\@writefile{toc}{\contentsline {section}{\numberline {5.2} Representation/Symbolization in Pumping Lemmas}{91}}
\citation{sipser2012introduction}
\@writefile{toc}{\contentsline {section}{\numberline {5.3} Abstract Model for Proof by Mathematical Induction and Recursion}{93}}
\@writefile{toc}{\contentsline {section}{\numberline {5.4}Results of Combined Investigations}{94}}
\@writefile{toc}{\contentsline {section}{\numberline {5.5}Categories}{95}}
\@writefile{toc}{\contentsline {section}{\numberline {5.6} Critical Factors}{96}}
\@writefile{toc}{\contentsline {subsection}{\numberline {5.6.1}Abstraction}{98}}
\citation{gries2012science}
\@writefile{toc}{\contentsline {subsection}{\numberline {5.6.2}Definitions}{99}}
\@writefile{toc}{\contentsline {subsection}{\numberline {5.6.3}Symbolization}{99}}
\@writefile{toc}{\contentsline {subsection}{\numberline {5.6.4}Structure}{100}}
\@writefile{toc}{\contentsline {chapter}{\numberline {6}Data Analysis and Interpretation}{101}}
\@writefile{lof}{\addvspace {10\p@ }}
\@writefile{lot}{\addvspace {10\p@ }}
\@writefile{toc}{\contentsline {section}{\numberline {6.1}Analysis}{101}}
\@writefile{toc}{\contentsline {section}{\numberline {6.2}Interpretation}{101}}
\citation{smith2013categorizing}
\citation{smith2013mathematization}
\citation{smith2014computer}
\citation{smith2013categorizing}
\citation{almstrum1996investigating}
\@writefile{toc}{\contentsline {subsection}{\numberline {6.2.1}Productive and Counterproductive Beliefs}{102}}
\@writefile{toc}{\contentsline {subsection}{\numberline {6.2.2}Productive and Counterproductive Momentum}{102}}
\@writefile{toc}{\contentsline {section}{\numberline {6.3} Maybe duplicative?}{102}}
\@writefile{toc}{\contentsline {subsection}{\numberline {6.3.1}Categories of Experience of Entering Students}{102}}
\citation{cohen1982modified}
\citation{jacobs2008developing}
\citation{harel1998students}
\@writefile{toc}{\contentsline {subsection}{\numberline {6.3.2}Representation/Symbolization in Pumping Lemmas}{103}}
\citation{tall2008transition}
\citation{weber2004traditional}
\citation{tall2001symbols}
\citation{harel1998students}
\citation{rosken2007integrating}
\citation{sipser2012introduction}
\citation{booth1997phenomenography}
\@writefile{toc}{\contentsline {subsection}{\numberline {6.3.3}Abstract Model for Proof by Mathematical Induction and Recursion}{105}}
\citation{smith2013categorizing}
\citation{smith2013mathematization}
\citation{smith2014computer}
\citation{smith2013categorizing}
\citation{almstrum1996investigating}
\citation{cohen1982modified}
\citation{harel1998students}
\citation{jacobs2008developing}
\@writefile{toc}{\contentsline {subsection}{\numberline {6.3.4}Categories of Experience of Entering Students}{107}}
\@writefile{toc}{\contentsline {subsection}{\numberline {6.3.5}Representation/Symbolization in Pumping Lemmas}{107}}
\@writefile{toc}{\contentsline {subsection}{\numberline {6.3.6}Abstract Model for Proof by Mathematical Induction and Recursion}{109}}
\@writefile{toc}{\contentsline {section}{\numberline {6.4}Helping Students Discern Abstraction}{111}}
\@writefile{toc}{\contentsline {section}{\numberline {6.5}Helping Students Discern Abstraction}{113}}
\@writefile{toc}{\contentsline {section}{\numberline {6.6}Algebra}{113}}
\@writefile{toc}{\contentsline {section}{\numberline {6.7}Geometry}{113}}
\@writefile{toc}{\contentsline {section}{\numberline {6.8}Seeing a Broader Context}{114}}
\@writefile{toc}{\contentsline {section}{\numberline {6.9}Mathematics tests in high school that involve proving}{115}}
\citation{devlin2012mathematical}
\citation{Franklin}
\citation{epp2010discrete}
\citation{rosen2003}
\citation{bridges2007did}
\citation{Mattuck}
\@writefile{toc}{\contentsline {chapter}{\numberline {7}Validity and Reliability}{116}}
\@writefile{lof}{\addvspace {10\p@ }}
\@writefile{lot}{\addvspace {10\p@ }}
\@writefile{toc}{\contentsline {section}{\numberline {7.1}Interviews}{116}}
\@writefile{toc}{\contentsline {section}{\numberline {7.2}Documents}{117}}
\@writefile{toc}{\contentsline {section}{\numberline {7.3}Validity and Reliability in Proofs Using the Pumping Lemma for Regular Languages}{117}}
\@writefile{toc}{\contentsline {section}{\numberline {7.4}Proof by Induction}{117}}
\@writefile{toc}{\contentsline {section}{\numberline {7.5}Domain, Range, Mapping, Relation, Function, Equivalence Relation in Proofs}{118}}
\@writefile{toc}{\contentsline {section}{\numberline {7.6}Definitions, Language, Reasoning in Proofs}{118}}
\@writefile{toc}{\contentsline {section}{\numberline {7.7}Equivalence Class, Generic Particular, Abstraction in Proofs}{118}}
\@writefile{toc}{\contentsline {section}{\numberline {7.8}Vertical Integration and Explanation}{119}}
\@writefile{toc}{\contentsline {section}{\numberline {7.9} Validation}{120}}
\@writefile{toc}{\contentsline {subsection}{\numberline {7.9.1}Validation at the Level of Computer Science Education}{121}}
\@writefile{toc}{\contentsline {subsection}{\numberline {7.9.2}Validation at the Level of Mathematics Education}{121}}
\@writefile{toc}{\contentsline {subsection}{\numberline {7.9.3} Validation at the Level of Phenomenography/Variation Theory}{121}}
\citation{this is in a separate pdf}
\@writefile{toc}{\contentsline {subsection}{\numberline {7.9.4}Validation at the Level of Cognitive Neuroscience}{122}}
\@writefile{toc}{\contentsline {subsection}{\numberline {7.9.5} Validation at the Level of Neurophysiology}{124}}
\citation{schoenfeld1998reflections}
\citation{arcavi1998teaching}
\citation{schoenfeld1993learning}
\citation{arcavi1998teaching}
\@writefile{toc}{\contentsline {chapter}{\numberline {8}Related Work}{126}}
\@writefile{lof}{\addvspace {10\p@ }}
\@writefile{lot}{\addvspace {10\p@ }}
\@writefile{toc}{\contentsline {section}{\numberline {8.1}Goal Definition}{126}}
\@writefile{toc}{\contentsline {section}{\numberline {8.2}Methods}{127}}
\@writefile{toc}{\contentsline {section}{\numberline {8.3} Proofs Using the Pumping Lemma for Regular Languages}{129}}
\@writefile{toc}{\contentsline {subsection}{\numberline {8.3.1}Quantifiers}{129}}
\@writefile{toc}{\contentsline {subsection}{\numberline {8.3.2} Symbols}{130}}
\@writefile{toc}{\contentsline {subsection}{\numberline {8.3.3}Teaching Pumping Lemmas}{131}}
\@writefile{toc}{\contentsline {section}{\numberline {8.4} Proof by Induction}{132}}
\citation{carlson1998cross}
\citation{loewenberg2003mathematical}
\@writefile{toc}{\contentsline {section}{\numberline {8.5}Domain, Range, Mapping, Relation, Function, Equivalence Relation in Proofs}{133}}
\@writefile{toc}{\contentsline {section}{\numberline {8.6} Definitions, Language, Reasoning in Proofs}{133}}
\@writefile{toc}{\contentsline {subsection}{\numberline {8.6.1}Procedural vs. Understanding}{133}}
\citation{bransford2000designs}
\citation{whitehead1959aims}
\citation{van1992jasper}
\citation{lehrer2000inter}
\citation{lesh2000symbolizing}
\citation{kemmerer}
\@writefile{toc}{\contentsline {subsection}{\numberline {8.6.2}Recall of Relevant Information vs. Inert Knowledge}{134}}
\@writefile{toc}{\contentsline {section}{\numberline {8.7}Abstraction}{134}}
\citation{huang2015highest}
\citation{fink1996brain}
\citation{Mihov2010442}
\citation{Miron-Spektor20111065}
\citation{gibson1998students}
\citation{harel1998students}
\citation{arcavi1998teaching}
\@writefile{toc}{\contentsline {section}{\numberline {8.8}Diagrams in Proof}{135}}
\@writefile{toc}{\contentsline {section}{\numberline {8.9} Equivalence Class, Generic Particular, Abstraction in Proofs}{135}}
\@writefile{toc}{\contentsline {section}{\numberline {8.10}Educational Psychology}{135}}
\@writefile{toc}{\contentsline {subsection}{\numberline {8.10.1}What do students need to construct?}{135}}
\citation{arcavi1998teaching}
\citation{fischbein1987intuition}
\@writefile{toc}{\contentsline {section}{\numberline {8.11}Phenomenography, Variation Theory}{136}}
\@writefile{toc}{\contentsline {section}{\numberline {8.12}Constructivism}{136}}
\@writefile{toc}{\contentsline {subsection}{\numberline {8.12.1}What do students need to construct?}{136}}
\@writefile{toc}{\contentsline {subsection}{\numberline {8.12.2}Intuition}{136}}
\citation{Fischbein}
\citation{Fischbein}
\citation{Fischbein}
\citation{Fischbein}
\citation{Fischbein}
\citation{Fischbein}
\citation{Wertheimer 1961}
\citation{Fischbein}
\citation{Fischbein}
\citation{Fischbein}
\citation{Fischbein}
\citation{Fischbein}
\citation{Fischbein}
\citation{Fischbein}
\citation{Fischbein}
\citation{arcavi1998teaching}
\citation{(2010 Jour. Math. Behav.)}
\citation{2010}
\citation{Explanation and Proof in Mathmatics}
\citation{Springer}
\citation{harel1998students}
\citation{kaput1998research}
\citation{harel1998students}
\@writefile{toc}{\contentsline {subsection}{\numberline {8.12.3}Social Constructivism}{141}}
\@writefile{toc}{\contentsline {subsection}{\numberline {8.12.4}Tall: Set-befores and Met-befores}{141}}
\@writefile{toc}{\contentsline {subsection}{\numberline {8.12.5}Harel and Sowder}{141}}
\citation{harel1998students}
\citation{harel1998students}
\citation{harel1998students}
\@writefile{lof}{\contentsline {figure}{\numberline {8.12.1}{\ignorespaces How proof develops, Tall Mejia-Ramos\relax }}{142}}
\newlabel{fig:chp7p1}{{8.12.1}{142}}
\citation{meel1998honors}
\@writefile{toc}{\contentsline {subsection}{\numberline {8.12.6}Pirie and Kieren Model of Mathematical Understanding}{143}}
\@writefile{toc}{\contentsline {paragraph}{Primitive Knowing}{143}}
\@writefile{toc}{\contentsline {paragraph}{Image Making}{143}}
\@writefile{toc}{\contentsline {paragraph}{Image Having}{143}}
\@writefile{toc}{\contentsline {paragraph}{Property Noticing}{143}}
\citation{baranchik1998supplementary}
\@writefile{toc}{\contentsline {paragraph}{Formalizing}{144}}
\@writefile{toc}{\contentsline {paragraph}{Observing}{144}}
\@writefile{toc}{\contentsline {paragraph}{Structuring}{144}}
\@writefile{toc}{\contentsline {paragraph}{Inventising}{144}}
\@writefile{toc}{\contentsline {paragraph}{folding back}{144}}
\@writefile{toc}{\contentsline {subsection}{\numberline {8.12.7}van Hiele Levels}{144}}
\@writefile{toc}{\contentsline {subsection}{\numberline {8.12.8}Performance Levels}{144}}
\citation{carlson1998cross}
\citation{kaput1998research}
\citation{kaput1998research}
\@writefile{toc}{\contentsline {subsection}{\numberline {8.12.9}Student Centered}{145}}
\@writefile{toc}{\contentsline {subsection}{\numberline {8.12.10}Use of Diagrams}{145}}
\citation{kaput1998research}
\citation{kaput1998research}
\citation{kaput1998research}
\citation{kaput1998research}
\citation{kaput1998research}
\citation{kaput1998research}
\citation{kaput1998research}
\citation{kaput1998research}
\citation{kaput1998research}
\citation{kaput1998research}
\citation{kaput1998research}
\citation{moore1994making}
\citation{kaput1998research}
\citation{arcavi1998teaching}
\citation{thagard2011aha}
\citation{thagard2011aha}
\citation{valiant2000circuits}
\@writefile{toc}{\contentsline {section}{\numberline {8.13}Cognitive Science}{147}}
\citation{kowatari2009neural}
\citation{arcavi1998teaching}
\citation{arcavi1998teaching}
\@writefile{toc}{\contentsline {section}{\numberline {8.14} Neuroscience}{148}}
\@writefile{toc}{\contentsline {subsection}{\numberline {8.14.1}Intrinsic Reward}{148}}
\@writefile{toc}{\contentsline {subsection}{\numberline {8.14.2}What do students need to construct?}{148}}
\citation{harel1998students}
\@writefile{toc}{\contentsline {chapter}{\numberline {9}Conclusion}{149}}
\@writefile{lof}{\addvspace {10\p@ }}
\@writefile{lot}{\addvspace {10\p@ }}
\@writefile{toc}{\contentsline {section}{\numberline {9.1} Recognizing an Endpoint}{149}}
\@writefile{toc}{\contentsline {section}{\numberline {9.2} Perspective on Future Directions}{151}}
\@writefile{toc}{\contentsline {chapter}{\numberline {10}Future Work}{152}}
\@writefile{lof}{\addvspace {10\p@ }}
\@writefile{lot}{\addvspace {10\p@ }}
\@writefile{toc}{\contentsline {section}{\numberline {10.1}Helping Students Discern Derivation for Proof of Correctness}{152}}
\@writefile{toc}{\contentsline {section}{\numberline {10.2}Use of Conceptualizations}{154}}
\@writefile{toc}{\contentsline {subsection}{\numberline {10.2.1}Recognize a specification that can be satisfied by a transition system}{155}}
\@writefile{toc}{\contentsline {subsection}{\numberline {10.2.2}Composition}{155}}
\@writefile{toc}{\contentsline {subsection}{\numberline {10.2.3}Invariants}{156}}
\@writefile{toc}{\contentsline {subsection}{\numberline {10.2.4}Provability}{156}}
\@writefile{toc}{\contentsline {subsection}{\numberline {10.2.5}User of Bridging Material}{156}}
\@writefile{toc}{\contentsline {subsection}{\numberline {10.2.6}Summary}{157}}
\@writefile{toc}{\contentsline {subsection}{\numberline {10.2.7}Example}{157}}
\citation{are these Gries?}
\@writefile{toc}{\contentsline {subsection}{\numberline {10.2.8}Logical Operators}{160}}
\@writefile{toc}{\contentsline {subsection}{\numberline {10.2.9}Relations}{160}}
\@writefile{toc}{\contentsline {subsection}{\numberline {10.2.10}Rules of Inference}{160}}
\@writefile{toc}{\contentsline {subsection}{\numberline {10.2.11}Internalization and Interiorization}{160}}
\citation{milner1978theory}
\@writefile{toc}{\contentsline {subsection}{\numberline {10.2.12}Perceptual}{163}}
\@writefile{toc}{\contentsline {subsection}{\numberline {10.2.13}Transformational}{163}}
\@writefile{toc}{\contentsline {subsection}{\numberline {10.2.14}Axiomatic}{163}}
\@writefile{toc}{\contentsline {subsection}{\numberline {10.2.15}What Do You Say After You Say HelloWorld?}{163}}
\citation{(}
\citation{arcavi1998teaching}
\citation{mcleod1992research}
\bibdata{literature,literatureClickersTheory,literatureFIE,literatureproof,literatureQualRes,literatureQualRes2,literatureQualRes3,literatureQualRes4,literatureQualRes5,literatureQualRes6,litMathPhenom,litSEEval,litSEQual,litVertical}
\bibcite{abraham2012creativity}{1}
\bibcite{abraham2008thinking}{2}
\bibcite{adcock2006reward}{3}
\bibcite{aliyari2015effects}{4}
\bibcite{almstrum1996investigating}{5}
\@writefile{toc}{\contentsline {chapter}{Bibliography}{167}}
\bibcite{anderson2011cognitive}{6}
\bibcite{anderson2003information}{7}
\bibcite{arcavi1998teaching}{8}
\bibcite{bachmann2015brain}{9}
\bibcite{baranchik1998supplementary}{10}
\bibcite{Bezdek2015338}{11}
\bibcite{black1998inside}{12}
\bibcite{blood2001intensely}{13}
\bibcite{booth1997phenomenography}{14}
\bibcite{born2012system}{15}
\bibcite{bower2000postscript}{16}
\bibcite{boyatzis1998transforming}{17}
\bibcite{bransford2000designs}{18}
\bibcite{braun2006using}{19}
\bibcite{Bridge01082015}{20}
\bibcite{bridges2007did}{21}
\bibcite{brosch2013impact}{22}
\bibcite{bulloch2009makes}{23}
\bibcite{bussey2013variation}{24}
\bibcite{carlson1998cross}{25}
\bibcite{carlsson2000neurobiology}{26}
\bibcite{cerf2014studying}{27}
\bibcite{chambers2003developmental}{28}
\bibcite{chou2011sex}{29}
\bibcite{Christoff20098719}{30}
\bibcite{cohen1982modified}{31}
\bibcite{cowansage2014direct}{32}
\bibcite{davis1984protein}{33}
\bibcite{day2007nonintentional}{34}
\bibcite{decety2007role}{35}
\bibcite{deng2010new}{36}
\bibcite{devlin2012mathematical}{37}
\bibcite{diekelmann2012offline}{38}
\bibcite{diekelmann2010memory}{39}
\bibcite{dorfler2000means}{40}
\bibcite{dubinsky2002apos}{41}
\bibcite{dudai2012restless}{42}
\bibcite{dunbar2000scientists}{43}
\bibcite{eickhoff2015excessive}{44}
\bibcite{ellenbogen2007human}{45}
\bibcite{epp2010discrete}{46}
\bibcite{fenker2008novel}{47}
\bibcite{fereday2008demonstrating}{48}
\bibcite{fink1996brain}{49}
\bibcite{fischbein1987intuition}{50}
\bibcite{fletcher2001frontal}{51}
\bibcite{forcato2013role}{52}
\bibcite{frankland2005organization}{53}
\bibcite{Franklin}{54}
\bibcite{freudenthal1973mathematics}{55}
\bibcite{frey2008synaptic}{56}
\bibcite{frey1997synaptic}{57}
\bibcite{fried2014single}{58}
\bibcite{gais2006sleep}{59}
\bibcite{gentner1988metaphor}{60}
\bibcite{gentner2012analogical}{61}
\bibcite{gentner1986systematicity}{62}
\bibcite{gibson1998students}{63}
\bibcite{gick1980analogical}{64}
\bibcite{glaser2008conceptualization}{65}
\bibcite{gray1994duality}{66}
\bibcite{gries2012science}{67}
\bibcite{gurden1999integrity}{68}
\bibcite{harel1998students}{69}
\bibcite{harel1991constructionism}{70}
\bibcite{hazzan2003students}{71}
\bibcite{hiebert2013conceptual}{72}
\bibcite{huang2015highest}{73}
\bibcite{hunt1995subtlety}{74}
\bibcite{huth2012continuous}{75}
\bibcite{hyman2001addiction}{76}
\bibcite{imamoglu2012changes}{77}
\bibcite{jacobs2008developing}{78}
\bibcite{kafkas2015striatal}{79}
\bibcite{kaput1998research}{80}
\bibcite{karpicke2008critical}{81}
\bibcite{kee2007preferential}{82}
\bibcite{keller2009gender}{83}
\bibcite{kemmerer}{84}
\bibcite{kendall1999axial}{85}
\bibcite{kinsbourne1974mechanism}{86}
\bibcite{kishiyama2004restorff}{87}
\bibcite{kitamura2009adult}{88}
\bibcite{klimesch1996theta}{89}
\bibcite{knutson2001anticipation}{90}
\bibcite{knutson2003region}{91}
\bibcite{kosslyn1992wet}{92}
\bibcite{kounios2015eureka}{93}
\bibcite{kowatari2009neural}{94}
\bibcite{krebs2009personality}{95}
\bibcite{kuriyama2004sleep}{96}
\bibcite{lee2007strategic}{97}
\bibcite{lehrer2000inter}{98}
\bibcite{leron1983structuring}{99}
\bibcite{leron1995abstract}{100}
\bibcite{lesh2000symbolizing}{101}
\bibcite{lindquist2013mind}{102}
\bibcite{lisman2011neohebbian}{103}
\bibcite{lisman2013habit}{104}
\bibcite{lisman2005hippocampal}{105}
\bibcite{lisman2001storage}{106}
\bibcite{loewenberg2003mathematical}{107}
\bibcite{luck2014potentiation}{108}
\bibcite{lustenberger2012triangular}{109}
\bibcite{lutzer1988comprehension}{110}
\bibcite{maass2015does}{111}
\bibcite{maddox2014directing}{112}
\bibcite{Mains01072015}{113}
\bibcite{maquet2000experience}{114}
\bibcite{marshall2007contribution}{115}
\bibcite{martin2015grapes}{116}
\bibcite{martin2000synaptic}{117}
\bibcite{marton1981phenomenography}{118}
\bibcite{marton1997learning}{119}
\bibcite{marton2005unit}{120}
\bibcite{mason1989mathematical}{121}
\bibcite{masterman1997frontal}{122}
\bibcite{Mattuck}{123}
\bibcite{mcleod1992research}{124}
\bibcite{meel1998honors}{125}
\bibcite{melby2013working}{126}
\bibcite{mercer2015stress}{127}
\bibcite{Merriam2002}{128}
\bibcite{Merriam2009}{129}
\bibcite{Mihov2010442}{130}
\bibcite{milner1978theory}{131}
\bibcite{Miron-Spektor20111065}{132}
\bibcite{moore1994making}{133}
\bibcite{mormann2014visual}{134}
\bibcite{mulder1997short}{135}
\bibcite{murayama2014consolidation}{136}
\bibcite{nelson1993proofs}{137}
\bibcite{nemirovskymonk}{138}
\bibcite{nishida2009rem}{139}
\bibcite{ojemann2014human}{140}
\bibcite{or2004cognitive}{141}
\bibcite{ouchi2013reduced}{142}
\bibcite{owen2005n}{143}
\bibcite{paller2002observing}{144}
\bibcite{parker1998restorff}{145}
\bibcite{patel2014human}{146}
\bibcite{paz2013physiological}{147}
\bibcite{pedreira2010responses}{148}
\bibcite{polyn2008memory}{149}
\bibcite{prince2004does}{150}
\bibcite{quiroga2012concept}{151}
\bibcite{rasslan2002definitions}{152}
\bibcite{rattermann1998more}{153}
\bibcite{reilly2014examination}{154}
\bibcite{ribeiro2002induction}{155}
\bibcite{ribeiro2007novel}{156}
\bibcite{robertson2004awareness}{157}
\bibcite{rosen2003}{158}
\bibcite{rosken2007integrating}{159}
\bibcite{rota1997phenomenology}{160}
\bibcite{rottschy2012modelling}{161}
\bibcite{roux2014working}{162}
\bibcite{russoniello2009effectiveness}{163}
\bibcite{rutishauser2014next}{164}
\bibcite{rutishauser2014single}{165}
\bibcite{sali2014role}{166}
\bibcite{salimpoor2015predictions}{167}
\bibcite{sandrini2015modulating}{168}
\bibcite{santos1998instructional}{169}
\bibcite{sarter2005unraveling}{170}
\bibcite{schacter1998cognitive}{171}
\bibcite{schendan2003fmri}{172}
\bibcite{schmalz2015getting}{173}
\bibcite{schoenfeld1998reflections}{174}
\bibcite{schoenfeld1993learning}{175}
\bibcite{schultz2000neuronal}{176}
\bibcite{schwabe2014reconsolidation}{177}
\bibcite{sederberg2003theta}{178}
\bibcite{sipser2012introduction}{179}
\bibcite{smith2013categorizing}{180}
\bibcite{smith2014computer}{181}
\bibcite{smith2013mathematization}{182}
\bibcite{sohn2004behavioral}{183}
\bibcite{squire1987memory}{184}
\bibcite{squire2015conscious}{185}
\bibcite{squire2000memory}{186}
\bibcite{strauss1990basics}{187}
\bibcite{suhonen2007applications}{188}
\bibcite{suthana2012memory}{189}
\bibcite{svensson1997theoretical}{190}
\bibcite{takeuchi2010training}{191}
\bibcite{talamini2008sleep}{192}
\bibcite{tall2008transition}{193}
\bibcite{tall2001symbols}{194}
\bibcite{tayler2013reactivation}{195}
\bibcite{thagard2011aha}{196}
\bibcite{toni2008neurons}{197}
\bibcite{tononi2014sleep}{198}
\bibcite{trouche2009recruitment}{199}
\bibcite{valiant2000circuits}{200}
\bibcite{van1992jasper}{201}
\bibcite{van2000appropriation}{202}
\bibcite{van2011slow}{203}
\bibcite{viete2006analytic}{204}
\bibcite{waelti2001dopamine}{205}
\bibcite{wagner2008memory}{206}
\bibcite{wagner2004sleep}{207}
\bibcite{wagner2006brief}{208}
\bibcite{waisman2014brain}{209}
\bibcite{walker2003dissociable}{210}
\bibcite{walker2014sleep}{211}
\bibcite{wallace1965review}{212}
\bibcite{ward1994structured}{213}
\bibcite{weber2004traditional}{214}
\bibcite{whitehead1959aims}{215}
\bibcite{wittgenstein1989wittgenstein}{216}
\bibcite{wittmann2007anticipation}{217}
\bibcite{wittmann2011behavioral}{218}
\bibcite{wittmann2005reward}{219}
\bibcite{yates1990theories}{220}
\bibcite{zacks2008neuroimaging}{221}
\bibcite{zamarian2009neuroscience}{222}
\bibcite{zysset2003functional}{223}
\bibstyle{amsplain}
\citation{loewenberg2003mathematical}
\newlabel{fig:pic8}{{\caption@xref {fig:pic8}{ on input line 17}}{199}}
\@writefile{lof}{\contentsline {figure}{\numberline {.0.1}{\ignorespaces \relax }}{201}}
\newlabel{fig:pic2}{{.0.1}{201}}
\@writefile{lof}{\contentsline {figure}{\numberline {.0.2}{\ignorespaces \relax }}{201}}
\newlabel{fig:pic4}{{.0.2}{201}}
\@writefile{lof}{\contentsline {figure}{\numberline {.0.3}{\ignorespaces First\relax }}{202}}
\newlabel{fig:pic9}{{.0.3}{202}}
\@writefile{lof}{\contentsline {figure}{\numberline {.0.4}{\ignorespaces Second\relax }}{202}}
\newlabel{fig:pic10}{{.0.4}{202}}
\@writefile{lof}{\contentsline {figure}{\numberline {.0.5}{\ignorespaces \relax }}{204}}
\newlabel{fig:pic5}{{.0.5}{204}}
\@writefile{lof}{\contentsline {figure}{\numberline {.0.6}{\ignorespaces \relax }}{207}}
\newlabel{fig:pic1}{{.0.6}{207}}
\newlabel{fig:p93}{{\caption@xref {fig:p93}{ on input line 202}}{209}}