\relax 
\@writefile{toc}{\contentsline {section}{\numberline {1}Optimal unemployment insurance (UI)}{2}}
\@writefile{toc}{\contentsline {subsection}{\numberline {1.1}The semi-static approach to optimal UI}{2}}
\@writefile{toc}{\contentsline {subsubsection}{\numberline {1.1.1}The simplest model following Baily}{2}}
\@writefile{toc}{\contentsline {subsection}{\numberline {1.2}The dynamic approach with observable savings}{9}}
\@writefile{toc}{\contentsline {subsubsection}{\numberline {1.2.1}Extensions}{14}}
\newlabel{eq_FOC_employedH&N}{{1}{17}}
\newlabel{eq_FOCH&N}{{2}{18}}
\@writefile{toc}{\contentsline {subsubsection}{\numberline {1.2.2}The inverse Euler equation.}{19}}
\newlabel{eq_InverseEuler}{{3}{19}}
\newlabel{eq_Eulerexample}{{4}{21}}
\newlabel{eq_inverseEulerex}{{5}{21}}
\newlabel{eq_Budgetbalance}{{6}{22}}
\@writefile{toc}{\contentsline {subsection}{\numberline {1.3}The Dynamic approach with unobservable saving}{23}}
\newlabel{AssetLoM}{{7}{24}}
\newlabel{taxes}{{8}{25}}
\newlabel{valuefunctions}{{9}{25}}
\newlabel{eq_valuefunctionparts}{{10}{26}}
\newlabel{consumption}{{11}{26}}
\newlabel{Cconstants}{{12}{26}}
\newlabel{Bellman1}{{13}{27}}
\newlabel{Bellman2}{{14}{27}}
\newlabel{eq_objective2state}{{15}{28}}
\newlabel{eq_IC2}{{16}{29}}
\@writefile{toc}{\contentsline {section}{\numberline {2}Optimal taxation -- the Ramsey approach}{32}}
\@writefile{toc}{\contentsline {subsection}{\numberline {2.1}Optimal taxation under commitment -- the Ramsey problem}{32}}
\newlabel{eq_objectiveRamseyConsumer}{{17}{32}}
\newlabel{eq_BudgetRamseyConsumer}{{18}{33}}
\newlabel{eq_resourceRamsey}{{19}{33}}
\newlabel{eq_FoCRamseyConsumer}{{20}{35}}
\newlabel{eq_StokeyLucas}{{21}{36}}
\@writefile{toc}{\contentsline {subsection}{\numberline {2.2}The Chamley-Judd result}{37}}
\newlabel{eq_AggbudgetCJ}{{22}{37}}
\@writefile{toc}{\contentsline {subsection}{\numberline {2.3}Discussion}{42}}
\@writefile{toc}{\contentsline {subsection}{\numberline {2.4}Time consistent taxation}{43}}
\@writefile{toc}{\contentsline {subsubsection}{\numberline {2.4.1}A numerical appproach}{43}}
\@writefile{toc}{\contentsline {subsubsection}{\numberline {2.4.2}A time-consistent taxation problem with an analytical solution}{47}}
\newlabel{yt}{{23}{48}}
\newlabel{Effort}{{24}{48}}
\newlabel{tax}{{25}{49}}
\newlabel{prop_eff_riskaverse}{{10}{49}}
\@writefile{toc}{\contentsline {paragraph}{The Markov allocation (Ramsey allocation without commitment)}{50}}
\newlabel{def_eq}{{11}{51}}
\newlabel{prop_altruism}{{12}{52}}
\newlabel{eq_Markovlaw1}{{27}{53}}
\newlabel{eq_Markovlaw2}{{28}{53}}
\@writefile{toc}{\contentsline {subsection}{\numberline {2.5}}{54}}
\newlabel{guess1}{{29}{54}}
\newlabel{Etau}{{30}{55}}
\newlabel{Edef}{{31}{55}}
\newlabel{zd}{{32}{55}}
\newlabel{eq_tcrecursive}{{33}{55}}
\newlabel{effe}{{34}{57}}
\@writefile{toc}{\contentsline {section}{\numberline {3}New Public Finance -- the Mirrlees approach}{58}}
\newlabel{eq_Resource}{{36}{59}}
\newlabel{eq_thruthtelling}{{37}{59}}
\newlabel{eq_IC_statebystate}{{38}{60}}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.1}The inverse Euler equation}{61}}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.2}A simple logarithmic example: insurance against low ability.}{63}}
\@writefile{toc}{\contentsline {subsubsection}{\numberline {3.2.1}A simple example}{64}}
\newlabel{ystarcstar}{{39}{67}}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.3}Implementation}{67}}
\newlabel{eq_privFOC}{{40}{68}}
\@writefile{toc}{\contentsline {subsubsection}{\numberline {3.3.1}Third best -- laissez faire.}{71}}
\newlabel{eq_FOCLaizzesFaire}{{41}{71}}
\@writefile{toc}{\contentsline {subsubsection}{\numberline {3.3.2}Means tested system}{73}}
\newlabel{eq_privFOC}{{42}{74}}
\newlabel{eq_FocSimpler}{{43}{74}}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.4}Time consistency}{75}}
\@writefile{lof}{\contentsline {figure}{\numberline {1}{\ignorespaces Figure from Golosov \& Tsyvinski (2006)}}{76}}