Search the dblp DataBase

Publications of Author

1. Fernando Ferreira
   What are the forall Sigma^b₁-Consequences of T¹₂ and T²₂? [Citation Graph (0, 0)][DBLP]
   Ann. Pure Appl. Logic, 1995, v:75, n:1-2, pp:79-88 [Journal]
   
2. Fernando Ferreira, Paulo Oliva
   Bounded functional interpretation. [Citation Graph (0, 0)][DBLP]
   Ann. Pure Appl. Logic, 2005, v:135, n:1-3, pp:73-112 [Journal]
   
3. Fernando Ferreira, Paulo Oliva
   Bounded functional interpretation and feasible analysis. [Citation Graph (0, 0)][DBLP]
   Ann. Pure Appl. Logic, 2007, v:145, n:2, pp:115-129 [Journal]
   
4. António M. Fernandes, Fernando Ferreira
   Groundwork for Weak Analysis. [Citation Graph (0, 0)][DBLP]
   J. Symb. Log., 2002, v:67, n:2, pp:557-578 [Journal]
   
5. Fernando Ferreira
   A Feasible Theory for Analysis. [Citation Graph (0, 0)][DBLP]
   J. Symb. Log., 1994, v:59, n:3, pp:1001-1011 [Journal]
   
6. Fernando Ferreira
   On End-Extensions of Models of ¬exp. [Citation Graph (0, 0)][DBLP]
   Math. Log. Q., 1996, v:42, n:, pp:1-18 [Journal]
   
7. Fernando Ferreira
   Two General Results on lntuitionistic Bounded Theories. [Citation Graph (0, 0)][DBLP]
   Math. Log. Q., 1999, v:45, n:, pp:399-407 [Journal]
   
8. Fernando Ferreira, António Marques
   Extracting Algorithms from Intuitionistic Proofs. [Citation Graph (0, 0)][DBLP]
   Math. Log. Q., 1998, v:44, n:, pp:143-160 [Journal]
   
9. Fernando Ferreira, Gilda Ferreira
   Counting as integration in feasible analysis. [Citation Graph (0, 0)][DBLP]
   Math. Log. Q., 2006, v:52, n:3, pp:315-320 [Journal]
   
10. 
    Harrington's conservation theorem redone. [Citation Graph (, )][DBLP]
    
    
11. 
    Injecting uniformities into Peano arithmetic. [Citation Graph (, )][DBLP]