August 2011 Archives by thread

• Messages sorted by: [ subject ] [ author ] [ date ]
• More info on this list...

Starting: Mon Aug 1 23:39:09 EDT 2011
Ending: Wed Aug 31 17:56:19 EDT 2011
Messages: 47

• [FOM] Question about Freiling's axiom of symmetry   Timothy Y. Chow
  • [FOM] Question about Freiling's axiom of symmetry   Ali Enayat
  • [FOM] Question about Freiling's axiom of symmetry   Timothy Y. Chow
• [FOM] A subtlety in Takeuti   Colin McLarty
• [FOM] FOIS 2012: Call for papers   Maureen Donnelly
• [FOM] Axioms of reducibility and infinity   Francisco Gomes Martins
  • [FOM] Axioms of reducibility and infinity   Peter Smith
  • [FOM] Axioms of reducibility and infinity   Alasdair Urquhart
    • [FOM] Axioms of reducibility and infinity   steve newberry
      • [FOM] Axioms of reducibility and infinity   kremer at uchicago.edu
      • [FOM] Axioms of reducibility and infinity   kremer at uchicago.edu
      • [FOM] Axioms of reducibility and infinity   Aatu Koskensilta
  • [FOM] Axioms of reducibility and infinity   mlink at math.bu.edu
    • [FOM] Axioms of reducibility and infinity   Michael J. DeLaurentis
  • [FOM] Axioms of reducibility and infinity   William Tait
• [FOM] Has Principia Mathematica been formally verified?   Haim Gaifman
• [FOM] MWPMW 12. Second Announcement   Michael Detlefsen
• [FOM] Modern Constructive Algebra, Besançon, France, 15-16 Oct 2011   Peter Schuster
• [FOM] Numbers vs writhmetic.   Roger Bishop Jones
• [FOM] FroCoS 2011: Call for Participation   Viorica Sofronie-Stokkermans
• [FOM] AIM call for new workshops and SQuaREs   AIM Workshops
• [FOM] A. Kiselev claims to prove in ZF "There are no weakly inaccessible cardinals"   Martin Davis
  • [FOM] A. Kiselev claims to prove in ZF "There are no weakly inaccessible cardinals"   Joel I. Friedman
• [FOM] My claim that ZF proves: "There are no weakly inaccessible cardinals."   Alexander Kiselev
  • [FOM] My claim that ZF proves: "There are no weakly inaccessible cardinals."   Vaughan Pratt
  • [FOM] My claim that ZF proves: "There are no weakly inaccessible cardinals."   Michael Blackmon
  • [FOM] My claim that ZF proves: "There are no weakly inaccessible cardinals."   Marc Alcobé
• [FOM] Alexander Kiselev's Claim about ZF   Dana Scott
  • [FOM] The Steiner-Lehmus theorem   charlie
• [FOM] Query on arithmetic and fragments of ZFC   Colin McLarty
• [FOM] why Kiselev's CLAIM of no inaccessibles may actually be a good thing   Tom Dunion
• [FOM] The Steiner-Lehmus theorem (charlie)   Andreas R Blass 1
• [FOM] [CiE12] Preliminary announcement - Turing Centenary Conference, Cambridge, 18-23 June, 2012   S Barry Cooper
• [FOM] On Myhill on Gödel on paradoxes   Frode Bjørdal
  • [FOM] On Myhill on Gödel on paradoxes   d_obrien
  • [FOM] On Myhill on Gödel on paradoxes   jkennedy at mappi.helsinki.fi
  • [FOM] On Myhill on Gödel on paradoxes   William Tait
  • [FOM] On Myhill on Gödel on paradoxes   Frode Bjørdal
  • [FOM] On Myhill on Gödel on paradoxes   Frode Bjørdal
    • [FOM] On_Myhill_on_Goedel_on_paradoxes?   mlink at math.bu.edu
      • [FOM] On_Myhill_on_Goedel_on_paradoxes?   Frode Bjørdal
• [FOM] LATA 2012: 2nd call for papers   "Carlos Martín Vide"
• [FOM] The Reasoner 5(9) available for download   Jon Williamson
• [FOM] Set Theory and Higher-Order Logic (London, August 1-6)   Sean Walsh
• [FOM] Grothendieck foundations version 2.0   Colin McLarty
• [FOM] LNL 36   jkennedy at mappi.helsinki.fi
• [FOM] Formal Methods in Computer Aided Design 2011 -- Call for Participation   David L. Rager

Last message date: Wed Aug 31 17:56:19 EDT 2011
Archived on: Thu Sep 1 11:57:58 EDT 2011

• Messages sorted by: [ subject ] [ author ] [ date ]
• More info on this list...