Révision 254 CSL17/tech-report/appendix-arithmetic.tex

appendix-arithmetic.tex (revision 254)
1 
\section{Appendix: remaining axioms of $\basic$}\label{appendix:arithmetic}
2 

  		





  3
  
  
    
We give here the  list of remaining  axioms of $\basic$, which are directly inspired by the $\basic$ theory of Buss's bounded arithmetic \cite{Buss86book}:


  		





  4
  
  
    
%$\succ{0}(x)$ stand for $2\cdot x$ and $\succ{1}(x)$ stand for $\succ{}(2\cdot x)$,


  		





  5
  
  
    
 


  		





  6
  
  
    
 


  		





  
  1
  
    
%\section{Appendix: remaining axioms of $\basic$}\label{appendix:arithmetic}


  		





  
  2
  
    
%


  		





  
  3
  
    
%We give here the  list of remaining  axioms of $\basic$, which are directly inspired by the $\basic$ theory of Buss's bounded arithmetic \cite{Buss86book}:


  		





  
  4
  
    
%%$\succ{0}(x)$ stand for $2\cdot x$ and $\succ{1}(x)$ stand for $\succ{}(2\cdot x)$,


  		





  
  5
  
    
% 


  		





  
  6
  
    
% 


  		





  7
  7
  
    
$$


  		





  8
  8
  
    
%\begin{equation}


  		





  9
  9
  
    
\begin{array}{l}


  		












Formats disponibles :
  Unified diff