%% %% This is file `cabal.sty', %% generated with the docstrip utility. %% %% The original source files were: %% %% cabal.v2.1.dtx (with options: `package') %% %% This is a generated file. %% %% Copyright (c) 2007 by Tikitu de Jager %% %% This file may be distributed and/or modified under the conditions of %% the LaTeX Project Public License, either version 1.2 of this license %% or (at your option) any later version. The latest version of this %% license is in: %% %% http://www.latex-project.org/lppl.txt %% %% and version 1.2 or later is part of all distributions of LaTeX version %% 1999/12/01 or later. %% \NeedsTeXFormat{LaTeX2e}[1999/12/01] \ProvidesPackage{cabal}[2007/06/25 v2.1 Macros for CABAL volumes] \RequirePackage{url,enumerate} %% \renewcommand{\copyrightyear}{2007} \renewcommand{\confname}{The Cabal Seminar: Reprints, Unpublished Papers, and Surveys, Volume II} \renewcommand{\editors}{A.\ S.\ Kechris, B.\ L\"owe, J.\ R.\ Steel} \hyphenation{pre-well-or-der-ing Mos-cho-va-kis} \newcommand*{\markdef}[1]{{\normalfont\textbf{#1}}} \newcommand*{\setdiv}{\,:\,} \newcommand*{\set}[2]{\{#1\setdiv #2\}} \newcommand*{\bset}[2]{\big\{#1\setdiv #2\big\}} \newcommand*{\Bset}[2]{\Big\{#1\setdiv #2\Big\}} \newcommand*{\seq}[1]{\langle #1 \rangle} \newcommand*{\seqif}[2]{\langle #1\setdiv #2 \rangle} \newcommand*{\tuple}[1]{\langle #1 \rangle} \newcommand*{\Card}[1]{\mathrm{Card}\left(#1\right)} \newcommand*{\abs}[1]{\lvert#1\rvert} \newcommand*{\norm}[1]{\lVert#1\rVert} \newcommand*{\Pot}[1]{\boldsymbol\wp(#1)} \newcommand*{\inj}{\hookrightarrow} \newcommand*{\surj}{\twoheadrightarrow} \newcommand*{\bij}{\leftrightarrow} \newcommand*{\restr}{{\upharpoonright}} \newcommand*{\eqv}{\Longleftrightarrow} \newcommand*{\imp}{\Longrightarrow} \newcommand*{\conj}{\wedge} \newcommand*{\disj}{\vee} \newcommand*{\E}{\emptyset} \newcommand*{\R}{\mathbb{R}} \newcommand*{\V}{{\normalfont\textbf{V}}} \newcommand*{\LL}{{\normalfont\textbf{L}}} \newcommand*{\LR}{\LL(\R)} \newcommand*{\J}{\mathbf{J}} \newcommand*{\HOD}{\mathbf{HOD}} \newcommand*{\OD}{\mathbf{OD}} \newcommand*{\axiom}[1]{\ensuremath{\mathsf{#1}}} \newcommand*{\AC}{\axiom{AC}} \newcommand*{\AD}{\axiom{AD}} \newcommand*{\ADR}{\axiom{AD}_{\R}} \newcommand*{\CH}{\axiom{CH}} \newcommand*{\DC}{\axiom{DC}} \newcommand*{\Det}{\axiom{Det}} \newcommand*{\GCH}{\axiom{GCH}} \newcommand*{\PD}{\axiom{PD}} \newcommand*{\ZF}{\axiom{ZF}} \newcommand*{\ZFC}{\axiom{ZFC}} \newcommand*{\Unif}{\axiom{Unif}} \newcommand*{\Red}{\axiom{Red}} \newcommand*{\Sep}{\axiom{Sep}} \newcommand*{\Scale}{\axiom{Scale}} \newcommand*{\PWO}{\axiom{PWO}} \newcommand{\up}[1]{{\,}^{#1}\!} \newcommand*{\Baire}{\up\omega\omega} \newcommand*{\Cantor}{\up\omega2} {\let\oldphi=\phi \global\let\phi=\varphi \global\let\varphi=\oldphi} {\let\oldeps=\epsilon \global\let\epsilon=\varepsilon \global\let\varepsilon=\oldeps} \newcommand*{\eps}{\epsilon} {\let\oldemptyset=\emptyset \global\let\emptyset=\varnothing \global\let\varnothing=\oldemptyset} {\let\oldtheta=\theta \global\let\theta=\vartheta \global\let\vartheta=\oldtheta} \newcommand*{\X}{\mathfrak{X}} \newcommand*{\C}{\mathrm{C}} \newcommand*{\Q}{\mathrm{Q}} \newcommand{\degree}[1]{\mathbf{#1}} \renewcommand{\d}{\degree{d}} \newcommand*{\compose}{\circ} \newcommand*{\crit}{\mathrm{crit}} \newcommand*{\Col}{\mathrm{Col}} \newcommand*{\Th}{\mathrm{Th}} \newcommand*{\leqlex}{\leq_{\mathrm{lex}}} \newcommand*{\llex}{<_{\mathrm{lex}}} \newcommand*{\leqbk}{\leq_{\mathrm{BK}}} \newcommand*{\lbk}{<_{\mathrm{BK}}} \newcommand*{\leqw}{\leq_{\W}} \newcommand*{\lw}{<_{\W}} \newcommand*{\leqT}{\leq_{\T}} \newcommand*{\lT}{<_{\T}} \newcommand*{\leqstar}{\leq^*} \newcommand*{\lstar}{<^*} \newcommand*{\W}{\mathrm{W}} \newcommand*{\T}{\mathrm{T}} \newcommand*{\PR}[1][]{\boldsymbol\wp_{#1}(\R)} \DeclareMathOperator{\cf}{cf} \DeclareMathOperator{\Con}{Con} \DeclareMathOperator{\dom}{dom} \DeclareMathOperator{\Id}{Id} \DeclareMathOperator{\ran}{ran} \DeclareMathOperator{\rank}{rank} \DeclareMathOperator{\tcl}{tcl} \DeclareMathOperator{\G}{G} \DeclareMathOperator{\lh}{lh} \DeclareMathOperator{\proj}{p} \DeclareMathOperator{\Ord}{Ord} \theoremstyle{definition} \newtheorem{thm}{Theorem}[section] \newtheorem{lem}[thm]{Lemma} \newtheorem{pro}[thm]{Proposition} \newtheorem{cor}[thm]{Corollary} \newtheorem{dfn}[thm]{Definition} \newtheorem{exa}[thm]{Example} \newtheorem{openproblem}[thm]{Open Problem} \newtheorem{conjecture}[thm]{Conjecture} \newtheorem{subclaim}[thm]{Subclaim} \newtheorem{quest}[thm]{Question} \newtheorem{rem}[thm]{Remark} \newtheorem{clm}[thm]{Claim} \theoremstyle{definition} \newtheorem{xthm}{Theorem} \newtheorem{xlem}[xthm]{Lemma} \newtheorem{xpro}[xthm]{Proposition} \newtheorem{xcor}[xthm]{Corollary} \newtheorem{xdfn}[xthm]{Definition} \newtheorem{xexa}[xthm]{Example} \newtheorem{xopenproblem}[xthm]{Open Problem} \newtheorem{xconjecture}[xthm]{Conjecture} \newtheorem{xsubclaim}[xthm]{Subclaim} \newtheorem{xquest}[xthm]{Question} \newtheorem{xrem}[xthm]{Remark} \newtheorem{xclm}[xthm]{Claim} \newcommand{\blubb}{} \newenvironment{numberedproof}[1] {\renewcommand{\blubb}{#1}\begin{proof}}% {\let\oldqedsymbol\qedsymbol\renewcommand*{\qedsymbol}% {\oldqedsymbol~{\footnotesize (\blubb)}}\end{proof}} \newenvironment{binumberedproof}[1] {\renewcommand{\blubb}{#1}\begin{proof}[Proof of \blubb]}% {\let\oldqedsymbol\qedsymbol\renewcommand*{\qedsymbol}% {\oldqedsymbol~{\footnotesize (\blubb)}}\end{proof}} \newenvironment{clmproof} {\begin{proof}[Proof of Claim]}% {\let\oldqedsymbol\qedsymbol\renewcommand*{\qedsymbol}% {\oldqedsymbol~{\footnotesize (Claim)}}\end{proof}} \newenvironment{sclmproof} {\begin{proof}[Proof of Subclaim]}% {\let\oldqedsymbol\qedsymbol\renewcommand*{\qedsymbol}% {\oldqedsymbol~{\footnotesize (Subclaim)}}\end{proof}} \newcommand{\ie}{\textit{i.e.}} \newcommand{\eg}{\textit{e.g.}} \newcommand{\etc}{\textit{etc}} \newcommand{\compare}{\textit{cf.}} \newcommand{\axplus}{\ensuremath{\textup{+}}} \newcommand{\axminus}{\ensuremath{\textup{-}}} \newcommand{\axeq}{\ensuremath{\textup{=}}} \newcommand{\bfSigma}{\ensuremath{\tboldsymbol{\Sigma}}} \newcommand{\bfPi}{\ensuremath{\tboldsymbol{\Pi}}} \newcommand{\bfDelta}{\ensuremath{\tboldsymbol{\Delta}}} \newcommand{\bfGamma}{\ensuremath{\tboldsymbol{\Gamma}}} \newcommand{\bfdelta}{\ensuremath{\tboldsymbol{\delta}}} \newlength\knuthian@fdfive \def\mathpal@save#1{\let\was@math@style=#1\relax} \def\utilde#1{\mathpalette\mathpal@save {\setbox124=\hbox{$\was@math@style#1$}% \setbox125=\hbox{$\fam=3\global\knuthian@fdfive=\fontdimen5\font$} \setbox125=\hbox{$\widetilde{\vrule height 0pt depth 0pt width \wd124}$}% \baselineskip=1pt\relax \vtop{\copy124\copy125\vskip -\knuthian@fdfive}}} \renewcommand\tboldsymbol[1]{% \utilde{\boldsymbol{#1}}\mbox{\hskip 0pt}} \newcommand{\IND}{\ensuremath{\mathrm{IND}}} \newcommand{\HYP}{\ensuremath{\mathrm{HYP}}} \newcommand{\bfIND}{\ensuremath{\tboldsymbol{\IND}}} \newcommand{\bfHYP}{\ensuremath{\tboldsymbol{\HYP}}} \newcommand{\compl}[1]{\breve{#1}} \newcommand{\bfc}[1]{\tboldsymbol{\breve{#1}}} \newcommand*{\lang}{\ensuremath{\mathcal{L}}} \newcommand{\playerI}{\textrm{player I}} \newcommand{\playerII}{\textrm{player II}} \newcommand{\PlayerI}{\textrm{Player I}} \newcommand{\PlayerII}{\textrm{Player II}} \newcommand{\godel}[1]{\ensuremath{\ulcorner \! #1 \! \urcorner}} \newcommand{\scale}[1]{\vec{#1}} \newcommand{\concat}{\mathchoice% {\mathinner{}^{\mkern-\medmuskip\smallfrown}\mkern- \medmuskip\mathinner{}\mkern-\medmuskip}% {\mathinner{}^{\mkern-\medmuskip\smallfrown}\mkern- \medmuskip\mathinner{}\mkern-\medmuskip}% {^{\mkern-2mu\smallfrown}\mkern-\thinmuskip\mathinner{}}% {^{\mkern-2mu\smallfrown}\mathinner{}\mkern-\thinmuskip}} \def\bibtexhack{% \immediate\write\@auxout{\noexpand\bibxcite{bibtexhack:endofcitations}{}{}{}{}{}{0}}% \nocite{bibtexhack:endofcitations} \nocite{*} } \renewcommand{\@bib@item}[8][]{% \item[\@wrap@list{% \@ifisempty{#8}{\composelist{#1}{#2}{#3}{#4}{#5}{#6}}{#8}% }]% \if@filesw{% \def\protect##1{\string ##1\space}% \@ifisempty{#7}{ \@auxstring={\bibxcite{#2}{}{}{}{}{#1\yearLast{#4}#5}} }{ \@auxstring={\bibxcite{#2}{}{}{}{}{#8}} } \immediate\write\@auxout{\the\@auxstring{\the\value{\@listctr}}}} \fi \mbox{ }\ignorespaces } \renewcommand{\composelist}[6]{#1\yearLast{#4}#5} \newcommand{\yearLast}[1]{\if\IsPositive{#1}\l@stTw@#1\else #1\fi} \def\l@stTw@#1#2#3#4{#3#4} \def\IsPositive#1{% TT\fi \ifcat_\ifnum0<0#1 _\else A\fi } \def\bibritem{\@bib@item} \setlength\intergroupsep{0.5\baselineskip} \renewcommand{\bibfitem}[7][]{% \vspace{\intergroupsep}% \let\oldguy=\guy% \def\guy##1##2##3##4##5{##2 ##3\ignorespaces ##4}% \item[\textsc{#3}]% \nopagebreak% !! Need something else.. This doesn't work !! \let\guy=\oldguy% \@bib@item[#1]{#2}{#3}{#4}{#5}{#6}{#7}} \renewcommand{\guysmagic}[1]{} \renewenvironment{thebibliography}[1]{% \ifnum\@mainsize=10 % (at 10pt, the normal for the jsl) \par \vspace{18pt}% \centerline{\fontsize{7}{7\p@}\selectfont \refname}% \nobreak\vspace*{5pt}\nobreak% \fontsize{8}{10\p@}\selectfont\relax \def\and{{\normalfont \lowercase{and}\ }}% \list{[\@arabic\c@enumi]\ }{% \leftmargin12\p@ \labelwidth\z@ \itemindent-12\p@ \labelsep\z@ \usecounter{enumi}}% \sloppy \clubpenalty4000\relax \widowpenalty\clubpenalty \sfcode`\.\@m \else % (at 11pt or bigger) \par \vspace{20pt}% \centerline{\fontsize{8}{8\p@}\selectfont \refname}% \nobreak\vspace*{6pt}\nobreak% \fontsize{9}{11\p@}\selectfont\relax \def\and{{\normalfont \lowercase{and}\ }}% \list{[\@arabic\c@enumi]\ }{% \leftmargin\z@ \labelwidth\z@ \itemindent12\p@ \labelsep\z@ \usecounter{enumi}}% \sloppy \clubpenalty4000\relax \widowpenalty\clubpenalty \sfcode`\.\@m% \fi} % end of the pointsize choice {\endlist} \@ifclasswith{asl}{draft}{% \usepackage{calc} \newcommand{\question}[1]{\footnotemark\marginpar{\small (\thefootnote) #1}} \setlength{\overfullrule}{0pt} }{% \newcommand{\question}[1]{} } \endinput %% %% End of file `cabal.sty'.