Order:
Did you mean: Carlson, Loci
  1.  48
    Another Paradox In Naive Set-Theory.Loïc Colson - 2007 - 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 (6 more)  
     
    Export citation  
     
    My bibliography  
  2.  9
    Syntactical Truth Predicates for Second Order Arithmetic.Loïc Colson & Serge Grigorieff - 2001 - 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