1.  44
    Loïc Colson (2007). Another Paradox in Naive Set-Theory. Studia Logica 85 (1):33 - 39.
    Reasonning in naive set theory (with unlimited comprehension), we derive a paradox (a formal contradiction) which can be seen as a variant of the Burali-Forti paradox.
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography  
  2.  2
    Loïc Colson (2007). Another Paradox In Naive Set-Theory. Studia Logica 85 (1):33-39.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  3.  9
    Loïc Colson & Serge Grigorieff (2001). Syntactical Truth Predicates for Second Order Arithmetic. Journal of Symbolic Logic 66 (1):225-256.
    We introduce a notion of syntactical truth predicate (s.t.p.) for the second order arithmetic PA 2 . An s.t.p. is a set T of closed formulas such that: (i) T(t = u) if and only if the closed first order terms t and u are convertible, i.e., have the same value in the standard interpretation (ii) T(A → B) if and only if (T(A) $\Longrightarrow$ T(B)) (iii) T(∀ x A) if and only if (T(A[x ← t]) for any closed first (...)
    Direct download (7 more)  
     
    Export citation  
     
    My bibliography