Statistiques
| Révision :

root / CSL17 / arithmetic.tex @ 156

Historique | Voir | Annoter | Télécharger (147 octet)

1 
\section{A two-sorted arithmetic for the polynomial hierarchy}
2 

    		
  

  

  

    
      3
    
    
      
(Here use a variation of S12 with sharply bounded quantifiers and safe quantifiers)