  \documentclass[oneside,final,11pt]{article}

\usepackage{amssymb}
\usepackage{amsmath}
\usepackage{xunicode}
  \usepackage{fancyhdr}
  \addtolength{\headheight}{5\baselineskip}
  \renewcommand{\headrulewidth}{0pt}
  \fancyhead[L,R]{}
  \fancyhead[C]{\includegraphics[scale=0.5]{bguhead.png}}
  \fancyfoot[L,C,R]{}
  \addtolength{\voffset}{-70pt}

\usepackage{hyperref}
\usepackage{xstring}
\def\rooturl{https://www.math.bgu.ac.il/}
\hyperbaseurl{\rooturl}
\let\hhref\href
\providecommand{\extrahref}[2][]{\LTRfootnote{\LR{\IfBeginWith*{#2}{http}{\nolinkurl{#2}}{\nolinkurl{\rooturl#2}}}}}
\renewcommand{\href}[2]{\IfBeginWith*{#1}{http}{\hhref{#1}{#2}}{\hhref{\rooturl#1}{#2}}\extrahref{#1}}

\usepackage{polyglossia}
\usepackage{longtable}
%% even in English, we sometimes have Hebrew (as in course hours), and we
%% can't add it in :preamble, since it comes after hyperref
%%\usepackage{bidi}
\setdefaultlanguage{hebrew}
\setotherlanguage{english}
%%\setmainfont[Script=Hebrew,Ligatures=TeX]{Libertinus Serif}
\setmainfont[Script=Hebrew,Ligatures=TeX]{LibertinusSerif}[
  UprightFont = *-Regular,
  BoldFont = *-Bold,
  ItalicFont = *-Italic,
  BoldItalicFont = *-BoldItalic,
  Extension = .otf]

%%\newfontfamily{\hebrewfonttt}{Libertinus Serif}
\newfontfamily{\hebrewfonttt}{Liberation Serif}
\SepMark{‭.}
\robustify\hebrewnumeral
\robustify\Hebrewnumeral
\robustify\Hebrewnumeralfinal

% vim: ft=eruby.tex:



\begin{document}
\pagestyle{empty}
\pagenumbering{gobble}


\pagestyle{fancy}
\begin{center}

  \huge{המחלקה למתמטיקה}\\[0.1\baselineskip]
  \Large{סמסטר 21--2020--ב}\\[0.2\baselineskip]

\end{center}

\begin{description}
  \item[שם הקורס]
    תורת pcf ושימושיה

  \item[מספר קורס]
    \LRE{201‭.2‭.5471}

  \item[עמוד הקורס ברשת]\mbox{}\\
    \url{https://math.bgu.ac.il//he/teaching/spring2021/courses/pcf}

  \item[מרצה אחראי]
    פרופ` מנחם קוג`מן,
    \nolinkurl{<kojman@bgu.ac.il>},
    חדר 111

\item[שעות קבלה]
  \url{https://math.bgu.ac.il/he/teaching/hours}
\end{description}

\section*{תקציר}




\section*{דרישות והרכב ציון הקורס\footnote{דרישות הקורס יכולות להשתנות במהלך השבועיים הראשונים של הסמסטר, ויש לשים לב להודעות באתר הקורס}}






\section*{נושאי לימוד}

בקורס נציג את יסודות תורת pcf שפיתח שהרן שלח וחלק משימושיה הנרחבים בחשבון מונים, קומבינטוריקה אינסופית, טופולוגיה כללית ואלגברה בוליאנית.

תורת  pcf עוסקת בקשת הקופינליות האפשרית של מכפלות מצומצמות של קבוצות קטנות של מונים סדירים. משפט ה pcf מבטיח את קיומה של סדרת יוצאים לקבוצת כל המונים המופיעים כקופינליות אפשרית של הקבוצה.

השימוש המפורסם ביותר של התורה הוא החסם של שלח של חזקות של מונים חריגים, שהמפורסם שבהם הוא החסם על חזקת המונה החריג הראשון כאשר הוא גבולי חזק.
חסם זה  נובע בעצם ממשפט כללי יותר בדבר מספר הכיסוי של קבוצות בנות מניה של אלף אומגה. המשפטים האלה יוצגו בקורס במלואם.

% vim: ft=eruby.tex:


\end{document}

% vim: ft=eruby.tex:
