June 2008 Archives by thread

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

Starting: Mon Jun 2 07:08:25 EDT 2008
Ending: Mon Jun 30 06:21:43 EDT 2008
Messages: 44

• [FOM] James Shaw on philosophy of mathematics   Thomas Forster
  • [FOM] James Shaw on philosophy of mathematics   Francis Davey
  • [FOM] James Shaw on philosophy of mathematics   rgheck
  • [FOM] James Shaw on philosophy of mathematics   rgheck
  • [FOM] James Shaw on philosophy of mathematics   Thomas Forster
• [FOM] FOM James Shaw on philosophy of mathematics   Colin McLarty
• [FOM] Davis on Platonism   Arnon Avron
• [FOM] Countable choice   Thomas Forster
  • [FOM] Countable choice   Robert Black
  • [FOM] Countable choice   Andrej Bauer
    • [FOM] Countable choice   Kenny Easwaran
• [FOM] Predicativity in CZF   Daniel Méhkeri
• [FOM] CL&C - Call for participation   Ulrich Berger
• [FOM] Countable choice   Bill Taylor
• [FOM] Predicativity in CZF   Nik Weaver
• [FOM] discussion about the connection between AC and Buchbergers algorithm   Richard Pollack
• [FOM] Partial Entailment   Sudeep Regmi
  • [FOM] Partial Entailment   Kenny Easwaran
• [FOM] FOM Digest, Vol 66, Issue 5, Predicativity in CZF (Daniel M?hkeri)   rathjen at maths.leeds.ac.uk
• [FOM] Countable choice   Bill Taylor
  • [FOM] Countable choice   Robert Black
    • [FOM] Countable choice   Thomas Forster
• [FOM] Partial Entailment   Staffan Angere
• [FOM] Predicativity and CZF   Daniel Méhkeri
• [FOM] Reverse mathematics   pax0 at seznam.cz
• [FOM] Predicativity in CZF   Nik Weaver
  • [FOM] Predicativity in CZF   William Tait
    • [FOM] Predicativity in CZF: Correction   William Tait
• [FOM] Countable choice   Bill Taylor
• [FOM] Fwd: 3 weeks to go for FSTTCS deadline   S P Suresh
• [FOM] Final Call for Registration: LSE Philosophy of Probability   A.S.Virdi at lse.ac.uk
• [FOM] FOM Digest, Vol 66, Issue 11, Predicativity in CZF (Nik Weaver)   rathjen at maths.leeds.ac.uk
• [FOM] Workshop on Foundations of Computer Science as Logic-Related   carniell at cle.unicamp.br
• [FOM] IJCAR 2008 in Australia   Geoff Sutcliffe by way of Martin Davis <martin at eipye.com>
• [FOM] Predicativity in CZF   Nik Weaver
  • [FOM] Predicativity in CZF   Nik Weaver
  • [FOM] Predicativity in CZF   Nik Weaver
    • [FOM] Predicativity in CZF   Nik Weaver
• [FOM] Colloquium Logicum 2008, Darmstadt (Germany), 10-12 September 2008   Ulrich Kohlenbach
• [FOM] Predicativity in CZF: Correction   Nik Weaver
• [FOM] SYMPOSIUM ON LOGICAL FOUNDATIONS OF COMPUTER SCIENCE 2009 (LFCS'09)   Sergei Artemov
• [FOM] Predicativity in CZF   Daniel Méhkeri
• [FOM] Predicativity in CZF   Daniel Méhkeri
• [FOM] The Reasoner 2(7) available for download   Jon Williamson

Last message date: Mon Jun 30 06:21:43 EDT 2008
Archived on: Mon Jun 30 14:22:00 EDT 2008

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