Révision 189 CSL17/DICE2017_TALK/ph-macros.tex
| ph-macros.tex (revision 189) | ||
|---|---|---|
| 5 | 5 |
|
| 6 | 6 |
%\newtheorem{theorem}{Theorem}
|
| 7 | 7 |
\newtheorem{proposition}[theorem]{Proposition}
|
| 8 |
\newtheorem{conjecture}[theorem]{Conjecture}
|
|
| 8 | 9 |
%\newtheorem{lemma}[theorem]{Lemma}
|
| 9 | 10 |
% |
| 10 | 11 |
% |
| ... | ... | |
| 15 | 16 |
\newcommand{\Nat}{\mathbb{N}}
|
| 16 | 17 |
\newcommand{\arith}{B}
|
| 17 | 18 |
\newcommand{\basic}{\mathit{BASIC}}
|
| 19 |
\newcommand{\RC}{RC} % name for ramified classical logic
|
|
| 20 |
\newcommand{\RCi}{$\Sigma_i^{{N_0}}$-RC}
|
|
| 21 |
\newcommand{\safeRC}{$\Sigma^{{N_0}}$-RC}
|
|
| 18 | 22 |
|
| 23 |
|
|
| 24 |
|
|
| 25 |
|
|
| 19 | 26 |
\newcommand{\ind}{\mathit{IND}}
|
| 20 | 27 |
\newcommand{\pind}{\mathit{PIND}}
|
| 21 | 28 |
\newcommand{\cind}[1]{#1\text{-}\ind}
|
Formats disponibles : Unified diff