December 2007 Archives by thread

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

Starting: Sun Dec 2 15:24:44 EDT 2007
Ending: Mon Dec 31 22:21:59 EDT 2007
Messages: 75

• [FOM] Practically computable inserparable c.e. sets   Andrej Bauer
• [FOM] The Reasoner 1(8) now available   Jon Williamson
• [FOM] Truth and set theory   praatika at mappi.helsinki.fi
  • [FOM] Truth and set theory   Thomas Forster
  • [FOM] Truth and set theory   Allen Hazen
  • [FOM] Truth and set theory   Michael Kremer
  • [FOM] Truth and set theory   Richard Heck
• [FOM] UCLA logic postdoc jobs   H. Enderton
• [FOM] A beginner's guide to forcing   Timothy Y. Chow
• [FOM] AUTOMATA 2008: Call for papers   genarojm at correo.unam.mx
• [FOM] Philosophy of Mathematics: 5 Questions   Hannes Leitgeb
• [FOM] Applications of the Axiom of Choice   b.spitters at cs.ru.nl
• [FOM] FLT and ZFC, again   Timothy Y. Chow
  • [FOM] FLT and ZFC, again   Harvey Friedman
  • [FOM] FLT and ZFC, again   Messing
• [FOM] Truth and set Theory   John Bell
• [FOM] A beginner's guide to forcing   Timothy Y. Chow
• [FOM] CiE 2008 - Student Support   Arnold Beckmann
• [FOM] FLT and ZFC, again   Timothy Y. Chow
  • [FOM] FLT and ZFC, again   joeshipman at aol.com
• [FOM] Truth and set theory   praatika at mappi.helsinki.fi
  • [FOM] Truth and set theory   Richard Heck
• [FOM] Philosophy of Mathematics: 5 Questions   Hannes Leitgeb
• [FOM] Barendregt 60: last announcement   Venanzio Capretta
• [FOM] 2nd CfP: 3WFTop proceedings   Peter Schuster
• [FOM] Other expositions of forcing   Timothy Y. Chow
  • [FOM] Other expositions of forcing   S. S. Kutateladze
  • [FOM] Joint events in Brazil in 2008: "CLE 30 ", "XV EBL" and " XIV SLALM"   Walter Carnielli
• [FOM] Other expositions of forcing   A J Franco de Oliveira
• [FOM] 313: Pi01 Incompleteness/More   Harvey Friedman
• [FOM] CiE08 - Final Call for Papers   Arnold Beckmann
• [FOM] 314: Pi01 Incompleteness/Digraphs   Harvey Friedman
• [FOM] CCA 2008 - First Call for Papers and Announcement   Vasco Brattka
• [FOM] Formalization Thesis   Timothy Y. Chow
  • [FOM] Formalization Thesis   William Tait
    • [FOM] Formalization Thesis   Harvey Friedman
    • [FOM] Formalization Thesis   messing
    • [FOM] Does `reduction to set theory' reduce?   John Baldwin
    • [FOM] Does `reduction to set theory' reduce?   John Baldwin
• [FOM] Formalization Thesis   catarina dutilh
• [FOM] LICS 2008 - Revised Submission Deadlines   Kreutzer + Schweikardt
• [FOM] Formalization Thesis   S. S. Kutateladze
  • [FOM] Formalization Thesis   Timothy Y. Chow
    • [FOM] Formalization Thesis   S. S. Kutateladze
      • [FOM] Formalization Thesis   Timothy Y. Chow
      • [FOM] Formalization Thesis   S. S. Kutateladze
      • [FOM] Formalization Thesis   joeshipman at aol.com
      • [FOM] Formalization Thesis   John Baldwin
      • [FOM] Formalization Thesis   Timothy Y. Chow
      • [FOM] Formalization Thesis   rgheck
      • [FOM] Formalization Thesis   messing
      • [FOM] Formalization Thesis   S. S. Kutateladze
      • [FOM] Formalization Thesis   messing
    • [FOM] Formalization Thesis   T.Forster at dpmms.cam.ac.uk
• [FOM] FW: CL&C 2008 - 1st Call for Papers   Kreinovich, Vladik
• [FOM] Formalization Thesis   Timothy Y. Chow
  • [FOM] Formalization Thesis   Vaughan Pratt
    • [FOM] Formalization Thesis   David Auerbach
• [FOM] Formalization Thesis   catarina dutilh
  • [FOM] Formalization Thesis   Timothy Y. Chow
• [FOM] Formalization Thesis   Bill Taylor
• [FOM] Syllogistization thesis / Formalization thesis   BEZIAU Jean-Yves
• [FOM] Formalization Thesis   S. S. Kutateladze
• [FOM] Formalization Thesis vs Formal nature of mathematics   Vladimir Sazonov
  • [FOM] Formalization Thesis vs Formal nature of mathematics   S. S. Kutateladze
• [FOM] Formalization Thesis   Kaveh Ghasemloo
• [FOM] The Reasoner 2(1) now available   Jon Williamson
• [FOM] Translating ``every'' theorem of mathematics?   Timothy Y. Chow
• [FOM] looking for help with terminology   Neil Tennant
• [FOM] Formalization Thesis vs Formal nature of mathematics   Vladimir Sazonov
  • [FOM] Formalization Thesis vs Formal nature of mathematics   S. S. Kutateladze
  • [FOM] Formalization Thesis vs Formal nature of mathematics   messing
• [FOM] Formalization Thesis   catarina dutilh
  • [FOM] Formalization Thesis   Timothy Y. Chow
• [FOM] Formalization Thesis   Timothy Y. Chow

Last message date: Mon Dec 31 22:21:59 EDT 2007
Archived on: Wed Jan 28 17:56:29 EDT 2009

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