Switch to: References

Add citations

You must login to add citations.
  1. Generalising the Fan Theorem.Silvio Valentini - 2017 - Mathematical Logic Quarterly 63 (1-2):85-93.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  • Independence Results in Formal Topology.Silvio Valentini - 2012 - Annals of Pure and Applied Logic 163 (2):151-156.
  • Cantor Theorem and Friends, in Logical Form.Silvio Valentini - 2013 - Annals of Pure and Applied Logic 164 (4):502-508.
    We prove a generalization of the hyper-game theorem by using an abstract version of inductively generated formal topology. As applications we show proofs for Cantor theorem, uncountability of the set of functions from N to N and Gödel theorem which use no diagonal argument.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  • Constructive Characterizations of Bar Subsets.Silvio Valentini - 2007 - Annals of Pure and Applied Logic 145 (3):368-378.