% erratalist zu Skript infoneu.tex Math Logik fuer Informatiker
% Sammlung von Fehlerhinweisen aus dem WS 10/11 in Freiburg
%---------Zaehlstruktur--------------------------------

\documentclass[11pt,
twoside]{amsart}
\usepackage[latin1]{inputenc}  %man darf Umlaute schreiben
\usepackage{amsmath}
\usepackage{amssymb}
\usepackage{amsfonts}
\usepackage{latexsym, amsthm, mathrsfs}
%%%%%\usepackage{times}
%%%%%\usepackage[left]{showlabels}
\usepackage[latin1]{inputenc}
%%%%%\usepackage{makeidx}
\usepackage{fancybox}
\usepackage{amscd}
%\usepackage[german, english]{babel}
%\selectlanguage{german}
\usepackage{german}
\input{xy}
\usepackage[all]{xy}
%\usepackage{epsfig, epic, color, ecltree}
%\begin{figure}, 25 9.
%\psfig{file= ....epic}
%\end{figure}
%\usepackage{draftcopy}
%  \draftcopyName{2. Version}{180}
\renewcommand{\baselinestretch}{1}
%\DeclareMathAlphabet{\mathcal}{OT1}{eus}{m}{n}
%\renewcommand{\chapter}{\section}
%\renewcommand{\section}{\subsection} geht wohl!
\numberwithin{equation}{section}
\newtheorem{theorem}{Theorem}[section]
\newtheorem{lemma}[theorem]{Lemma}
\newtheorem{mainlemma}[theorem]{Main Lemma}
\theoremstyle{definition} %fettes label, aber nich kursiv
%\newtheorem{definition}[theorem]{Definition}
\newtheorem{open}[theorem]{Open Problem}
\theoremstyle{plain} %fettes label. text kursiv
\newtheorem{question}[theorem]{Question}
\newtheorem{assumption}[theorem]{Assumption}
\newtheorem{try}[theorem]{Try}
\newtheorem{conjecture}[theorem]{Conjecture}
\newtheorem{proposition}[theorem]{Proposition}
\newtheorem{corollary}[theorem]{Corollary}
\newtheorem{fact}[theorem]{Fact}
\newtheorem{conclusion}[theorem]{Conclusion}
\newtheorem{convention}[theorem]{Convention}
\newtheorem{claim}[theorem]{Claim}
\newtheorem{discussion}[theorem]{Discussion}
\newtheorem{subclaim}[theorem]{Subclaim}
\newtheorem{crucialclaim}[theorem]{Crucial Claim}
\newtheorem{crucialfact}[theorem]{Crucial Fact}
\newtheorem{maintheorem}[theorem]{Main Theorem}
\newtheorem*{maintheorem*}{Main Theorem}
\newtheorem*{conjecture*}{Conjecture}
\newtheorem*{theorem*}{Theorem}
\newtheorem*{proposition*}{Proposition}
\newtheorem{definition}[theorem]{Definition}
\newtheorem{choice}[theorem]{Choice}
\newtheorem{hypothesis}[theorem]{Hypothesis}
%\newtheorem{remark}[theorem]{Remark}
\newtheorem{notation}[theorem]{Notation}
%\newtheorem*{remark*}{Remark}
\newtheorem{observation}[theorem]{Observation}


\newtheorem{notation/observation}[theorem]{Notation/Observation}

\theoremstyle{remark}  %kursives label. text roman
\newtheorem{remark}[theorem]{Remark}
%\newtheorem{observation}[theorem]{Observation}
%\newtheorem{remark}[theorem]{Remark}  %haben wir vereinheitlicht
%\newtheorem{open}[theorem]{Open Problem}
%\newtheorem*{convention}{Convention}
%\newtheorem{notation}[theorem]{Notation}
\newtheorem*{remarks*}{Remarks}
\newtheorem*{remark*}{Remark}
\newtheorem*{claim*}{Claim}
\newcommand{\nc}{\newcommand}
%
%------------old Roman functions-------------------------------
%
%alle im math mode. ensuremath waere schoner, ist aber nicht immer da

\nc{\nothing}[1]{}
\nothing{   %dies kann fuer alte papers wieder aufleben!
\nc{\dom}{{\rm dom}} \nc{\card}{{\rm card}} \nc{\lh}{{\rm lh}}
\nc{\lgg}{{\rm lg}} \nc{\rge}{\mbox{\rm range}} \nc{\cf}{{\rm cf}}
nc{\nex}{\mbox{\rm next}} \nc{\uhr}{\restriction} \nc{\supt}{{\rm
supt}} \nc{\supp}{{\rm supp}} \nc{\Lim}{{\rm Lim}} \nc{\Leb}{{\rm
Leb}} \nc{\modd}{{\rm mod}} \nc{\RO}{{\rm RO}} \nc{\prob}{{\rm
Prob}} }

\nc{\On}{{\rm On}} \nc{\Ord}{{\rm On}}
%------------new  additional functions -------------------------------
%neu: mit package opn, which is a part in amsmath
%
\nc{\nco}{\DeclareMathOperator} \nco{\rk}{rk} \nco{\order}{o}
\nco{\ppower}{pp}
\nco{\pcf}{pcf} %possible cofinality
\nco{\tcf}{tcf} %true cofinality
\nco{\tlim}{tlim} %true lim
\nco{\limtext}{lim} %true lim
\nco{\prodt}{{\textstyle \prod}}
              %(die Produkte ohne Indizes moegen auch im Display
              % klein sein)
\nco{\symdiff}{\triangle} \nco{\dom}{dom} \nco{\card}{card}
\nco{\lh}{lh} \nco{\lt}{lt} \nco{\lgg}{lg} \nco{\hgt}{ht}
\nco{\rge}{range} \nco{\otp}{otp} \nco{\trunk}{tr} \nco{\cf}{cf}

\nco{\cfstar}{\cf^\ast}

\nco{\nex}{next} \nc{\uhr}{\restriction} \nco{\reduction}{red}
\nco{\supt}{supt} \nco{\supp}{supp} \nco{\Lim}{Lim} \nco{\Leb}{Leb}
\nco{\modd}{mod} \nco{\invariant}{inv} \nco{\id}{id} \nco{\RO}{RO}
\nco{\poss}{pos}
\nco{\Inc}{Inc} %for the canonical forms
\nco{\Ge}{Ge}
%\nco{\drop}{drop}
\nco{\hdrop}{\hat{drop}} \nco{\Gen}{Gen} \nco{\Property}{Pr}
\nco{\GT}{GT} \nco{\refl}{refl} \nco{\nmg}{nmg} \nco{\en}{en}
%--------die Grundraeume---the ambient spaces----Baeume-------

\nc{\potom}{\ensuremath{{\cal P}(\omega)}}
\nc{\potinf}{\ensuremath{[\omega]^\omega}}
\nc{\pfin}{\ensuremath{{\cal P}(\omega)/{\rm fin}}}

\nc{\potfin}{\ensuremath{[\omega]^{<\omega}}}
\nc{\inn}{\ensuremath{{\omega^{\uparrow \omega}}}}
\nc{\baire}{{}^\omega \omega} \nc{\bair}{{}^\omega \omega}
\nc{\hoch}{^{<\omega}} \nc{\hocho}{^{\omega}} \nco{\tree}{tree}

%---------Beweisraender, eqnarrays-----------------------------

\nc{\prooff}[1]{{\bf Proof} of #1:}
%\nc{\proof}{\noindent {\bf Proof: }}
\nc{\proofend}{\makebox{} \hfill ${\bf \dashv}$ \\}
\nc{\proofendof}[1]{\makebox{} \hfill $\boldmath{\dashv}_{\rm #1}$
\\} \nc{\beq}{\begin{eqnarray*}} \nc{\eeq}{\end{eqnarray*}}
\nc{\bde}{\begin{list}} \nc{\ede}{\end{list}}

%-----------neu in Israel 1998, schoenere listen------------------------

\newenvironment{myrules}
{\begin{list}{} {
 \setlength{\leftmargin}{0.8cm}
% \setlength{\rightmargin}{0.6cm}
 \setlength{\labelwidth}{0.8cm}
 \setlength{\labelsep}{0.2cm}
 \setlength{\parsep}{0.5ex plus 0.2ex minus 0.1 ex}
 \setlength{\itemsep}{0.3ex plus 0.2 ex minus 0ex}
}}{\end{list}}

\newenvironment{myrules1}
{\begin{list}{} {
 \setlength{\leftmargin}{1.0cm}
% \setlength{\rightmargin}{0.6in}
 \setlength{\labelwidth}{0.8cm}
 \setlength{\labelsep}{0.3cm}
 \setlength{\parsep}{0.5ex plus 0.2ex minus 0.1 ex}
 \setlength{\itemsep}{0.5ex plus 0.2 ex minus 0ex}
}}{\end{list}}


%Liste ohne automatische Inhalte der Items
\newenvironment{submanfred}{\begin{list}{}%
 {
  \setlength{\leftmargin}{2em}
 \setlength{\labelwidth}{1.25em}
  \setlength{\labelsep}{1.25em}
 \setlength{\topsep}{0.1ex plus0.2ex minus0.2ex}
  \setlength{\parsep}{0pt}  \setlength{\itemindent}{-1em}
   \setlength{\itemsep}{\topsep}}}%
{\end{list}}

% noch vier Listen von Manfred am 31.7.1998

\newcounter{subalph}
\newenvironment{subalph}{\begin{list}{(\alph{subalph})}%
 {\usecounter{subalph}
  \setlength{\leftmargin}{2em} \setlength{\labelwidth}{1.25em}
  \setlength{\labelsep}{0.75em} \setlength{\topsep}{0.5ex plus0.2ex minus0.2ex}
  \setlength{\parsep}{0pt}     \setlength{\itemsep}{\topsep}}}%
{\end{list}}

\newcommand{\greek}[1]{\ifthenelse{\value{#1}=1}{\mbox{$\alpha$}}%
  {\ifthenelse{\value{#1}=2}{\mbox{$\beta$}}{%
   \ifthenelse{\value{#1}=3}{\mbox{$\gamma$}}{%
   \ifthenelse{\value{#1}=4}{\mbox{$\delta$}}{%
   \ifthenelse{\value{#1}=5}{\mbox{$\varepsilon$}}{%
   \ifthenelse{\value{#1}=6}{\mbox{$\zeta$}}{%
   \ifthenelse{\value{#1}=7}{\mbox{$\eta$}}{%
   \ifthenelse{\value{#1}=8}{\mbox{$\theta$}}{%
   \ifthenelse{\value{#1}=9}{\mbox{$\iota$}}{%
   \ifthenelse{\value{#1}=10}{\mbox{$\kappa$}}{%
   \ifthenelse{\value{#1}=11}{\mbox{$\lambda$}}{%
   \ifthenelse{\value{#1}=12}{\mbox{$\mu$}}{%
   \ifthenelse{\value{#1}=13}{\mbox{$\nu$}}{%
   \ifthenelse{\value{#1}=14}{\mbox{$\xi$}}{%
   \ifthenelse{\value{#1}=15}{\mbox{$\rm o$}}{%
   \ifthenelse{\value{#1}=16}{\mbox{$\pi$}}{%
   \ifthenelse{\value{#1}=17}{\mbox{$\varrho$}}{%
   \ifthenelse{\value{#1}=18}{\mbox{$\sigma$}}{%
   \ifthenelse{\value{#1}=19}{\mbox{$\tau$}}{%
   \ifthenelse{\value{#1}=20}{\mbox{$\upsilon$}}{%
   \ifthenelse{\value{#1}=21}{\mbox{$\varphi$}}{%
   \ifthenelse{\value{#1}=22}{\mbox{$\chi$}}{%
   \ifthenelse{\value{#1}=23}{\mbox{$\psi$}}{\mbox{$\omega$}%
  }}}}}}}}}}}}}}}}}}}}}}}}%24 Zuklammern

\newcounter{subgreek}
\newenvironment{subgreek}{\begin{list}{(\greek{subgreek})}%
 {\usecounter{subgreek}
  \setlength{\leftmargin}{3em} \setlength{\labelwidth}{2.25em}
  \setlength{\labelsep}{0.75em}
  \setlength{\topsep}{0.5ex plus0.2ex minus0.2ex}
  \setlength{\parsep}{0pt}     \setlength{\itemsep}{\topsep}}}%
{\end{list}}

\newcounter{subarabic}
\newenvironment{subarabic}{\begin{list}{(\arabic{subarabic})}%
 {\usecounter{subarabic}
  \setlength{\leftmargin}{2em} \setlength{\labelwidth}{1.25em}
  \setlength{\labelsep}{0.75em}   \setlength{\topsep}{0.5ex plus0.2ex minus0.2ex}
  \setlength{\parsep}{0pt}     \setlength{\itemsep}{\topsep}}}%
{\end{list}}

\newcounter{subroman}
\newenvironment{subroman}{\begin{list}{(\roman{subroman})}%
 {\usecounter{subroman}
  \setlength{\leftmargin}{3em} \setlength{\labelwidth}{2.25em}
  \setlength{\labelsep}{0.75em}
\setlength{\topsep}{0.5ex plus0.2ex minus0.2ex}
  \setlength{\parsep}{0pt}     \setlength{\itemsep}{\topsep}}}%
{\end{list}}


%-----------------Namen fuer Forcings (aus Sh:592)--------------------

\newcount\skewfactor

\def\mathunderaccent#1#2 {\let\theaccent#1\skewfactor#2
\mathpalette\putaccentunder}
\def\putaccentunder#1#2{\oalign{$#1#2$\crcr\hidewidth
\vbox
to.2ex{\hbox{$#1\skew\skewfactor\theaccent{}$}\vss}\hidewidth}}
\def\name{\mathunderaccent\tilde-3 }
\def\Name{\mathunderaccent\widetilde-3 }

% \Name will produce a tilde of varying width.  E.g., try
% \name{x}, \Name{x}, \name{W}, \Name{W}, \name{xyz}. \Name{xyz}.

\nc{\nname}{\name}



%-------------stuff for Toeplitz---------------------------------

\nc{\even}{\ensuremath{\rm Even}} \nc{\odd}{\ensuremath{\rm Odd}}

%-------------------Reste----------------------------------------

\nc{\al}{$\alpha$\  } \nc{\om}{\omega}
\nc{\omm}{\ensuremath{\omega_1}} \nc{\ep}{\varepsilon}
\nc{\tk}{\tilde{K}}
\nc{\concat}{{}^\frown}   %im math mode
\nc{\force}{\Vdash} \nc{\fb}{f_{\overline{M}}} \nc{\such}{\, : \,}
\nc{\la}{\langle}
\nc{\ra}{\rangle}
%-----Ideal and GOTHIC---------------------------------------------

\nc{\meager}{\ensuremath{{\cal M}}} \nc{\lebesgue}{\ensuremath{{\cal
N}}} \nc{\nulll}{\ensuremath{{\cal N}}}
\nc{\ksigma}{\ensuremath{{\bf K}_\sigma}}
\nc{\ideal}{\ensuremath{{\cal I}}} \nc{\ga}{\ensuremath{\frak a}}
\nc{\AAA}{{\cal A}}   %im math mode
\nc{\gc}{\ensuremath{\frak c}} \nc{\gs}{\ensuremath{\frak s}}
\nc{\gh}{\ensuremath{\frak h}} \nc{\gd}{\ensuremath{\frak d}}
\nc{\gb}{\mathfrak{\lowercase{b}}} \nc{\gro}{\ensuremath{\frak g}}
\nc{\gu}{\ensuremath{\frak u}} \nc{\gr}{\ensuremath{\frak r}}
\nc{\gt}{\ensuremath{\frak t}} \nc{\fff}{\ensuremath{\frak f}}
\nc{\gm}{\ensuremath{\mathfrak{mcf}}}
\nc{\gge}{\ensuremath{\mathfrak e}}
\nc{\cfupro}{\ensuremath{\cf(\upro)}}
\nc{\cfvpro}{\ensuremath{\cf(\vpro)}} \nc{\gp}{\ensuremath{\frak p}}
\nc{\gk}{\ensuremath{\frak k}}

%----Invariants of IDEALS--------------------------------------------

\nc{\add}{\mbox{\ensuremath{{\rm add}}}}
\nc{\cov}[1]{\mbox{\ensuremath{{\rm cov}(#1)}}}
\nc{\unif}[1]{\mbox{\ensuremath{{\rm unif}(#1)}}}
\nc{\cof}[1]{{\mbox{\ensuremath{\rm cof}(#1)}}}

\nc{\addd}[2]{\mbox{\ensuremath{{\rm add}^{#1}(#2)}}}   %fuer ch4.
\nc{\covv}[2]{\mbox{\ensuremath{{\rm cov}^{#1}(#2)}}}   %unter #1 steht
\nc{\uniff}[2]{\mbox{\ensuremath{{\rm unif}^{#1}(#2)}}} %das Modell
\nc{\coff}[2]{{\mbox{\ensuremath{\rm cof}^{#1}(#2)}}}

\nc{\cd}{Cicho\'n's Diagram}

%---------Axiome und Prinzipien----------------------------------

\nc{\MA}{\mbox{\rm MA}} \nc{\PFA}{\mbox{\rm PFA}}
\nc{\OCA}{\mbox{\rm OCA}} \nc{\GCH}{\mbox{\rm GCH}}
\nc{\CH}{\mbox{\rm CH}} \nc{\zfc}{\mbox{\rm ZFC}}
\nc{\sch}{\mbox{\rm SCH}} \nc{\ZF}{\mbox{\rm ZF}}
\nc{\NCF}{\mbox{\rm NCF}} %! nicht mehr variabel programmiert,
\nc{\FD}{\mbox{\rm FD}}   %in den \indices ohne makro, damit sie
                          %in den subject Index kommen
\nc{\SFT}{\mbox{\rm SFT}} \nc{\fourG}{\mbox{\rm 4G}}
\nc{\fourI}{\mbox{\rm 4I}} \nc{\past}{\ ;{\rm past}\;}
\nc{\Borelhood}{Borel measurability} %according to Kechris
\nc{\Pieinseins}{\mbox{${\bf \Pi}^1_1$}}
\nc{\seinseins}{\mbox{${\bf\Sigma}^1_1$}}
\nc{\seinszwei}{\mbox{${\bf\Sigma}^1_2$}}
\nc{\seinsdrei}{\mbox{${\bf\Sigma}^1_3$}}
\nc{\Deleinszwei}{\mbox{${\bf\Delta}^1_2$}}


%_____________________________________________________________________
% macros aus Blass-Mildenberger. Von amstex aus in latex uebersetzt.
% Charakteristikennamen im file umbenannt, da sonst
% drei Makros fuer selbes gothisches Viech vorhanden

\nc{\up}{\ensuremath{{\cal U}\mbox{\ensuremath{\rm -prod}}\,\omega}}
\nc{\upp}{\ensuremath{{\cal U}'\mbox{\ensuremath{\rm
-prod}}\,\omega}} \nc{\upro}{\ensuremath{{\cal
U}\mbox{\ensuremath{\rm -prod}}\,\om}}
\nc{\fupro}{\ensuremath{f({\cal U})\mbox{\ensuremath{\rm
-prod}}\,\om}} \nc{\vpro}{\ensuremath{{\cal V}\mbox{\ensuremath{\rm
-prod}}\,\om}} \nc{\fpro}{\ensuremath{{\cal F}\mbox{\ensuremath{\rm
-prod}}\,\om}}


\nc{\cff}[1]{{\text{cf}\,(#1)}}           %cf mit richtiger parameter
                                          %Uebergabe
\nc{\cu}{\ensuremath{\cal U}}             %Vorsicht, dies gibt im
                                          %Text Nabla und so Quatsch
\nc{\ai}{\ensuremath{\forall^\infty}}     %geaendert ensuremath dazu
\nc{\ei}{\ensuremath{\exists^\infty}}     %auch geaendert
\nc{\ww}{\ensuremath{\omega^\omega}}      %auch geaendert
% alt:{{}^\omega\omega}

%--------------------------------------------------------------------
%  Axiomennamen und weniges Neues aus dem paper "between \gro and
%  \cf(\gd)", einige fiese Schreibhilfen


\nc{\gw}{groupwise dense}

\nc{\kk}{car\-dinal cha\-rac\-teris\-tic} \nc{\joker}{\ast}
\nc{\gtc}{Galois-Tukey connection} %Vorsicht: heisst generalized


%------------some new stuff for F 314-= MdSh:684-----------------------

\nc{\av}[1]{{\rm Av}_{#1}} \nc{\eps}{\varepsilon}
\renewcommand{\epsilon}{\varepsilon}

\nc{\n}{{\bf n}}                 %for the blueprints
\nc{\m}{{\bf m}}

%\nc{\marginparr}[1]{\nothing{#1}}
\nc{\marginparr}[1]{[---{\bf #1}---]% \marginpar{{\sf read}}
}
%\nc{marginparrr}[1]{\nothing{#1}}
%  switch it on if you do want to read additions in the margins
% be careful, when Shani processes the paper, the margins get too small to
% put margin paramenters!!!

\nc{\footnoteee}{} % I think the first footnote is no more a question
\nc{\footnotee}{}  % for some ad libitum notes

\newcommand{\cal}{\mathcal}


%------------------new stuff for Fuchino, Vojtas FMSV:593---------------------

\nc{\divs}{{c_0 \setminus \ell^1}} \nc{\divser}{(\divs,
\leq^*)/\thickapproy} \nc{\bfin}{\RO(\pfin
\setminus\{0\},\subseteq^*)} \nc{\bdivser}{\RO(\divser)}
\nc{\inc}{{\rm INC}} \nc{\com}{{\rm COM}}
\nc{\thickapproy}{\makebox{}\!\!\thickapprox}
\nc{\approy}{\makebox{}\!\!\approx} \nc{\lessi}{\leqslant}
\nc{\gessi}{\geqslant} \nc{\interior}[1]{{\rm int}(#1)}
\nc{\closure}[1]{{\rm cl}(#1)} \nc{\Vo}{Vojt\'a\v{s}}


\nc{\precedeseq}{\leq^*} %%%take your favorite partial order!!!!
\nc{\precedes}{\prec} \nc{\stronger}{\leqslant_{\bf P}}
%\renewcommand{\name}[1]{\dot{#1}}
\nc{\underlline}[1]{\hat{#1}} \nc{\PO}{{\bf P}}
\nc{\charak}{\text{ch}} \nc{\symom}{{\rm{Sym}(\omega)}}
%------------new, for MdSh:725 More on needed reals--------------

\nc{\needed}{needed\ } \nc{\neededc}{needed} \nc{\Needed}{Needed\ }
\nc{\wneeded}{weakly needed\ } \nc{\Wneeded}{Weakly needed\ }
\nc{\wneededc}{weakly needed}

%------------ new, for creature forcing (F481(B778) and F427(B731))(August 2000)----
%F1055 Juni 2010

\nco{\dcl}{dcl}
 \nco{\WCR}{WCR}
 \nco{\TCR}{TCR}
 \nc{\mup}{m_{\rm up}} \nc{\mdn}{m_{\rm dn}}
\nco{\may}{may}
\nco{\aver}{av} % neu fuer F427
\nco{\norm}{nor} % neu fuer F427  SCHOENER ohne fett
\nco{\val}{val} % neu fuer F427
\nco{\dis}{dis} % neu fuer F427-->MdSh:731
\nco{\basis}{basis}
\nco{\pos}{pos}
\nco{\spec}{spec}
\nc{\err}{\mbox{err}}
\nc{\eee}{\mbox{e}}
\nco{\Expect}{Exp}
\nco{\rt}{rt}
\nco{\pr}{pr}
\nco{\suc}{succ}
\nco{\splitt}{split}
\nco{\halv}{h}
% for the Cichon Diagramme of Relations
\nco{\Add}{Add}
\nco{\Cov}{Cov}
\nco{\Unif}{Unif}
\nco{\Cof}{Cof}
\nco{\htt}{ht}

\nco{\tr}{tr}

\nco{\Levy}{Levy}

%------------ new, for creature forcing (F459=B843 , August 2003)----
\nc{\bbforcing}{\mathbb A} \nc{\itername}{\mathfrak q}
\nc{\iterp}{\mathfrak p} \nc{\iterq}{\mathfrak q} \nc{\invcm}{\rm
inv_{cm}} \nc{\invcf} {\rm inv_{cf}} \nc{\invgm}{\rm inv_{gm}}
\renewcommand{\P}{\mathbb P}
\nc{\Q}{\mathbb Q}
% John Krueger and Gitik
\nc{\subsetsim}{\underset{\raise0.6em\hbox{$\sim$}}{\subset}}
% fuer Herrn Goebel
\newcommand{\subsim}{\underset{\raise20pt\hbox{$\rightarrow$}}{\rightarrow}}
\newcommand{\ssim}{\overset{\raise-40pt\hbox{$\leftarrow$}}{\subsim}}
%--------------------neu fuer 858 (sommer 2004), 857, F767 (2006), F762
\nc{\rest}{\restriction}

\nc{\sE}{\mathscr E} \nc{\cE}{\mathscr E}

\nc{\F}{\mathbb F} \nc{\bF}{\mathbb F} \nc{\bR}{\mathbb R}
\nc{\M}{\mathbb M} \nc{\bQ}{\mathbb Q} \nc{\bP}{\mathbb P}

\nc{\cP}{\mathscr P} \nc{\cU}{\mathscr U} \nc{\cV}{\mathscr V}
\nc{\cC}{\mathscr C} \nc{\cD}{\mathscr D} \nc{\cG}{\mathscr G}
\nc{\cF}{\mathscr F} \nc{\cA}{{\mathscr A}} \nc{\cB}{\mathscr B}
\nc{\cR}{\mathscr R} \nc{\cT}{\mathcal T}


\nc{\cI}{\mathcal I} \nc{\cJ}{\mathcal J} \nc{\cH}{\mathcal
H}\nc{\cS}{\mathcal S}

\nc{\cW}{\mathscr W}



\nc{\god}{\mathfrak{od}} % od
\nc{\mcf}{\mathfrak{\lowercase{mcf}}} \nc{\roth}{[\omega]^{\omega}}
\nco{\last}{last} % fuer F767
\nco{\filter}{fil} \nco{\semifilter}{semi} \nco{\sfil}{sfil}
\nco{\ssfil}{ssfil}

\nco{\upwards}{up} \nco{\inter}{inter} \nco{\FU}{FU} \nco{\FP}{FP}
\nco{\OP}{OP} \nco{\set}{set} \nco{\seq}{seq}

\nco{\acc}{acc}

\nc{\forks}{\underset{\raise0.6em\hbox{$\smile$}}{\mid}}
\renewcommand{\setminus}{\smallsetminus}
\nc{\bV}{{\bf V}} \nco{\fil}{fil} \nco{\CFF}{CFF} \nco{\rfl}{rfl}
\renewcommand{\Cap}{\cap}
\nc{\fin}{\emptyset}
\nc{\ba}{\bar{a}}
\nc{\bb}{\bar{b}}
\nc{\bc}{{\bf c}} %%%Vorsicht

%\nc{\fc}{{\mathfrak c}} \nc{\fd}{{\mathfrak d}} % neu fuer 973
\nc{\fc}{{\bf c}} \nc{\fd}{{\bf d}}

 \nc{\bd}{\bar{d}}
  \nc{\be}{\bar{e}}
\nc{\fto}{\ensuremath{\omega^{\omega,\text{fto}}}}

\nc{\bx}{\bar{x}}
 \nc{\bw}{\bar{w}}


\nc{\bg}{{\bf g}}

\nc{\bK}{{\bf K}} \nc{\bq}{\bar{q}}

\nc{\bp}{\bar{p}} %Vorsicht, in manchen papers durch \bf p interpretieren lassen


 \nc{\bG}{{\bf G}}

\nco{\bH}{H}

\nco{\bB}{{\bf B}}
 \nc{\sk}{\smallskip} \nc{\mk}{\medskip}
 \nc{\N}{\mathbb N}
 \renewcommand{\phi}{\varphi}
%-----------------------------------------------------------------------

\begin{document}
\title{Fehlerliste zum Skriptum}
\date{27.10.2010}
\maketitle


Def. 1.4 $n$-stellige Funktion\\[3ex]
Lemma~1.5 $\N$ statt $\omega$\\[3ex]
($\ast$) im Beweis zu 1.8. soll lauten: \glqq \dots hat 
strikt mehr Linksklammern als Rechtsklammern oder enth\"alt nur $\neg$-Zeichen.''

\end{document}