\relax 
\ifx\hyper@anchor\@undefined
\global \let \oldcontentsline\contentsline
\gdef \contentsline#1#2#3#4{\oldcontentsline{#1}{#2}{#3}}
\global \let \oldnewlabel\newlabel
\gdef \newlabel#1#2{\newlabelxx{#1}#2}
\gdef \newlabelxx#1#2#3#4#5#6{\oldnewlabel{#1}{{#2}{#3}}}
\AtEndDocument{\let \contentsline\oldcontentsline
\let \newlabel\oldnewlabel}
\else
\global \let \hyper@last\relax 
\fi

\@writefile{toc}{\contentsline {section}{\numberline {1}Introduzione}{1}{section.1}}
\newlabel{Introduzione}{{1}{1}{Introduzione\relax }{section.1}{}}
\@writefile{toc}{\contentsline {section}{\numberline {2}Insiemi}{1}{section.2}}
\newlabel{Insiemi}{{2}{1}{Insiemi\relax }{section.2}{}}
\@writefile{toc}{\contentsline {section}{\numberline {3}POSET ben ordinati}{1}{section.3}}
\newlabel{POSET ben ordinati}{{3}{1}{POSET ben ordinati\relax }{section.3}{}}
\newlabel{DefBenOrdinato}{{3.1}{1}{POSET ben ordinati\relax }{thm.3.1}{}}
\newlabel{MinimoUnico}{{3.2}{1}{POSET ben ordinati\relax }{thm.3.2}{}}
\newlabel{oss19.2}{{3.3}{1}{POSET ben ordinati\relax }{thm.3.3}{}}
\newlabel{PropBenOrdinamento}{{3.3}{1}{POSET ben ordinati\relax }{thm.3.3}{}}
\newlabel{BenOrdinatoEquivalenza}{{3.4}{2}{POSET ben ordinati\relax }{thm.3.4}{}}
\newlabel{DefOmomorfismoOSET}{{3.5}{3}{POSET ben ordinati\relax }{thm.3.5}{}}
\newlabel{ImmersionePOSET}{{3.6}{3}{POSET ben ordinati\relax }{thm.3.6}{}}
\newlabel{DefSegmento}{{3.7}{3}{POSET ben ordinati\relax }{thm.3.7}{}}
\newlabel{SegMinMax}{{3.8}{3}{POSET ben ordinati\relax }{thm.3.8}{}}
\newlabel{PropAaSegmento}{{3.9}{4}{POSET ben ordinati\relax }{thm.3.9}{}}
\newlabel{STsegmenti}{{3.10}{4}{POSET ben ordinati\relax }{thm.3.10}{}}
\newlabel{UnioneIntersezioneSegmenti}{{3.11}{4}{POSET ben ordinati\relax }{thm.3.11}{}}
\newlabel{ST-Restrizione}{{3.12}{5}{POSET ben ordinati\relax }{thm.3.12}{}}
\newlabel{STRestrizione}{{3.12}{5}{POSET ben ordinati\relax }{thm.3.12}{}}
\newlabel{UnicoOmodiA}{{3.13}{6}{POSET ben ordinati\relax }{thm.3.13}{}}
\newlabel{SsegmentoAisomorfoAalloraSestA}{{3.14}{6}{POSET ben ordinati\relax }{thm.3.14}{}}
\newlabel{IncollamentoDiOmomorfismi}{{3.15}{6}{POSET ben ordinati\relax }{thm.3.15}{}}
\newlabel{LemmaSegUnioneSingoletto}{{3.17}{7}{POSET ben ordinati\relax }{thm.3.17}{}}
\newlabel{BenOrdinatiImmersione}{{3.18}{7}{POSET ben ordinati\relax }{thm.3.18}{}}
\newlabel{DefCCDF}{{3.19}{8}{POSET ben ordinati\relax }{thm.3.19}{}}
\newlabel{CCDFestMinimale}{{3.20}{8}{POSET ben ordinati\relax }{thm.3.20}{}}
\newlabel{fdifferenziatiallorasegmenti}{{3.22}{9}{POSET ben ordinati\relax }{thm.3.22}{}}
\newlabel{ThmZermelo}{{3.23}{10}{POSET ben ordinati\relax }{thm.3.23}{}}
\newlabel{InduzioneTransfinita}{{3.24}{14}{POSET ben ordinati\relax }{thm.3.24}{}}
\newlabel{Hausdorff}{{3.25}{14}{POSET ben ordinati\relax }{thm.3.25}{}}
\newlabel{CorHausdorff}{{3.26}{15}{POSET ben ordinati\relax }{thm.3.26}{}}
\newlabel{Zorn lemma}{{3.27}{15}{POSET ben ordinati\relax }{thm.3.27}{}}
\newlabel{zorn}{{3.27}{15}{POSET ben ordinati\relax }{thm.3.27}{}}
\newlabel{AZHKZ}{{3.28}{15}{POSET ben ordinati\relax }{thm.3.28}{}}
\@writefile{toc}{\contentsline {section}{\numberline {4}Numeri ordinali}{17}{section.4}}
\newlabel{Numeri ordinali}{{4}{17}{Numeri ordinali\relax }{section.4}{}}
\newlabel{DefOrdinale}{{4.1}{17}{Numeri ordinali\relax }{thm.4.1}{}}
\newlabel{OrdTrans}{{4.2}{17}{Numeri ordinali\relax }{thm.4.2}{}}
\newlabel{OrdAlphaMax}{{4.3}{17}{Numeri ordinali\relax }{thm.4.3}{}}
\newlabel{SuccEstOrd}{{4.4}{17}{Numeri ordinali\relax }{thm.4.4}{}}
\newlabel{UnioneDiCatenaOrdinali}{{4.5}{18}{Numeri ordinali\relax }{thm.4.5}{}}
\newlabel{SuccessioneOrdinali}{{4.6}{19}{Numeri ordinali\relax }{thm.4.6}{}}
\newlabel{NinAlpha}{{4.7}{19}{Numeri ordinali\relax }{thm.4.7}{}}
\newlabel{OmegaEstPiuPiccolo}{{4.8}{19}{Numeri ordinali\relax }{thm.4.8}{}}
\newlabel{ainAlphaEstOrd}{{4.9}{20}{Numeri ordinali\relax }{thm.4.9}{}}
\newlabel{OrdSegmento}{{4.10}{20}{Numeri ordinali\relax }{thm.4.10}{}}
\newlabel{OrdConfronto}{{4.11}{21}{Numeri ordinali\relax }{thm.4.11}{}}
\newlabel{O2Forte}{{4.12}{22}{Numeri ordinali\relax }{thm.4.12}{}}
\newlabel{BetaInAlphaEstSegmento}{{4.13}{23}{Numeri ordinali\relax }{thm.4.13}{}}
\newlabel{AlphaBetaIsomAlloraUguali}{{4.14}{23}{Numeri ordinali\relax }{thm.4.14}{}}
\newlabel{AlphaIsomBetaAlloraUguali}{{4.14}{23}{Numeri ordinali\relax }{thm.4.14}{}}
\newlabel{UnioneIntersezioneEstOrd}{{4.15}{23}{Numeri ordinali\relax }{thm.4.15}{}}
\newlabel{Ordcccdf}{{4.16}{24}{Numeri ordinali\relax }{thm.4.16}{}}
\newlabel{OrdBenOrdinato}{{4.16}{24}{Numeri ordinali\relax }{thm.4.16}{}}
\newlabel{OrdNonEstInsieme}{{4.17}{25}{Numeri ordinali\relax }{thm.4.17}{}}
\newlabel{OrdSuccessivoEstIniettivo}{{4.18}{25}{Numeri ordinali\relax }{thm.4.18}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {4.1}Ordinali limite}{26}{subsection.4.1}}
\newlabel{Ordinali limite}{{4.1}{26}{Ordinali limite\relax }{subsection.4.1}{}}
\newlabel{DefOrdinaleLimite}{{4.19}{26}{Ordinali limite\relax }{thm.4.19}{}}
\newlabel{ordinale limite}{{4.19}{26}{Ordinali limite\relax }{thm.4.19}{}}
\newlabel{UnicoPrecImmediato}{{4.20}{26}{Ordinali limite\relax }{thm.4.20}{}}
\newlabel{precedente immediato}{{4.20}{26}{Ordinali limite\relax }{thm.4.20}{}}
\newlabel{OrdLimMax}{{4.21}{26}{Ordinali limite\relax }{thm.4.21}{}}
\newlabel{AlcuniOrdinaliLimite}{{4.22}{26}{Ordinali limite\relax }{thm.4.22}{}}
\newlabel{OrdPeano}{{4.23}{26}{Ordinali limite\relax }{thm.4.23}{}}
\newlabel{BetaInOrdLimiteAlloraSuccBetaInOrdLim}{{4.24}{27}{Ordinali limite\relax }{thm.4.24}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {4.2}Ordinali e Insiemi Ben Ordinati}{27}{subsection.4.2}}
\newlabel{Ordinali e Insiemi Ben Ordinati}{{4.2}{27}{Ordinali e Insiemi Ben Ordinati\relax }{subsection.4.2}{}}
\newlabel{ThmFondamentaleOrdinali}{{4.25}{27}{Ordinali e Insiemi Ben Ordinati\relax }{thm.4.25}{}}
\newlabel{OrdinaleEstInsiemeBO}{{4.25}{27}{Ordinali e Insiemi Ben Ordinati\relax }{thm.4.25}{}}
\newlabel{tipo d'ordine}{{4.25}{27}{Ordinali e Insiemi Ben Ordinati\relax }{thm.4.25}{}}
\newlabel{InduzioneSuOrd}{{4.26}{28}{Ordinali e Insiemi Ben Ordinati\relax }{thm.4.26}{}}
\newlabel{InduzioneSuOrdII}{{4.27}{28}{Ordinali e Insiemi Ben Ordinati\relax }{thm.4.27}{}}
\newlabel{AlphaInOrdAlloraAlphaLessEqualF(Alpha)}{{4.28}{29}{Ordinali e Insiemi Ben Ordinati\relax }{thm.4.28}{}}
\newlabel{DefOperazioniOrdinali}{{4.29}{29}{Ordinali e Insiemi Ben Ordinati\relax }{thm.4.29}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {4.3}Cardinali}{31}{subsection.4.3}}
\newlabel{Cardinali}{{4.3}{31}{Cardinali\relax }{subsection.4.3}{}}
\newlabel{DefCardinali}{{4.31}{31}{Cardinali\relax }{thm.4.31}{}}
\newlabel{cardinali}{{4.31}{31}{Cardinali\relax }{thm.4.31}{}}
\newlabel{numero cardinale}{{4.31}{31}{Cardinali\relax }{thm.4.31}{}}
\newlabel{AlcuniCardinali}{{4.32}{31}{Cardinali\relax }{thm.4.32}{}}
\newlabel{PropCardinali}{{4.33}{31}{Cardinali\relax }{thm.4.33}{}}
\newlabel{PropNumeriCardinali}{{4.34}{32}{Cardinali\relax }{thm.4.34}{}}
\newlabel{UnioneCardinaliEstCardinale}{{4.35}{34}{Cardinali\relax }{thm.4.35}{}}
\newlabel{DefNumeroCardinaleDiA}{{4.36}{34}{Cardinali\relax }{thm.4.36}{}}
\newlabel{PropOcar}{{4.38}{35}{Cardinali\relax }{thm.4.38}{}}
\newlabel{ThmCantorCardinali}{{4.39}{35}{Cardinali\relax }{thm.4.39}{}}
\newlabel{SommaProdottoInOcar}{{4.40}{37}{Cardinali\relax }{thm.4.40}{}}
\newlabel{PropSommaProdottoInOcar}{{4.41}{38}{Cardinali\relax }{thm.4.41}{}}
\@writefile{toc}{\contentsline {section}{\numberline {5}Appendice A}{38}{section.5}}
\newlabel{Appendice A}{{5}{38}{Appendice A\relax }{section.5}{}}
\@writefile{toc}{\contentsline {section}{\numberline {6}*}{79}{section.6}}
\newlabel{*}{{6}{79}{*\relax }{section.6}{}}