May 2008 Archives by thread

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

Starting: Thu May 1 03:58:22 EDT 2008
Ending: Sat May 31 17:18:48 EDT 2008
Messages: 68

• [FOM] methodological thesis   Harvey Friedman
  • [FOM] methodological thesis   rgheck
  • [FOM] methodological thesis   Studtmann, Paul
• [FOM] methodological thesis   Alex Blum
• [FOM] A first-order theory of relations   Charles Silver
• [FOM] IJCAR Calls and Awards   Geoff Sutcliffe by way of Martin Davis <martin at eipye.com>
• [FOM] Automated Reasoning in Mathematics   Geoff Sutcliffe by way of Martin Davis <martin at eipye.com>
• [FOM] methodological thesis   Mitch Harris
• [FOM] methodological thesis   rgheck
• [FOM] Plea for literature on recursion theory in V_\omega   Vladimir Sazonov
• [FOM] Nonconservative law of excluded middle   Daniel Méhkeri
  • [FOM] Nonconservative law of excluded middle   hendrik at topoi.pooq.com
    • [FOM] Nonconservative law of excluded middle   Andrej Bauer
• [FOM] methodological/rigorous systemization   Harvey Friedman
  • [FOM] methodological/rigorous systemization   Steven Ericsson-Zenith
  • [FOM] methodology   Harvey Friedman
• [FOM] math/phil culture   Harvey Friedman
  • [FOM] math/phil culture   Kenny Easwaran
• [FOM] methodological thesis   addamo at wp.pl
• [FOM] Consistency strength order   Robert M. Solovay
  • [FOM] Consistency strength order   hendrik at topoi.pooq.com
    • [FOM] Consistency strength order   Robert M. Solovay
    • [FOM] Consistency strength order   pax0 at seznam.cz
      • [FOM] Consistency strength order   Robert M. Solovay
      • [FOM] Finite axiomatizations extending ZFC   pax0 at seznam.cz
      • [FOM] Finite axiomatizations extending ZFC   Robert M. Solovay
• [FOM] methodological thesis   Timothy Y. Chow
• [FOM] Computability in Europe 2008 - early registration reminder   Arnold Beckmann
• [FOM] Certainty versus boundedness   Timothy Y. Chow
• [FOM] Formalization Thesis   Neil Tennant
  • [FOM] Formalization Thesis   r l
  • [FOM] Formalization Thesis   Studtmann, Paul
• [FOM] CFP: Workshop CEDAR 2008   Miki Hermann
• [FOM] Certainity vs Boundedness   Mani A
• [FOM] principal aim of philosophy   Harvey Friedman
• [FOM] FOM Digest, Vol 65, Issue 4, Nonconservative law of excluded middle (Daniel M?hkeri)   rathjen at maths.leeds.ac.uk
• [FOM] Certainity vs Boundedness   Timothy Y. Chow
• [FOM] RE : Nonconservative law of excluded middle   Daniel Méhkeri
• [FOM] Finite axiomatizations extending ZFC   Ali Enayat
• [FOM] Almost-natural proofs   Timothy Y. Chow
• [FOM] Kaplan's Sentence   hdeutsch at ilstu.edu
• [FOM] Certainity vs Boundedness   Mani A
• [FOM] FOM Digest, Vol 65, Issue 8, Nonconservative law of excluded middle (Daniel M?hkeri)   rathjen at maths.leeds.ac.uk
• [FOM] icla 2009: First call for papers   Sujata Ghosh
• [FOM] Certainity vs Boundedness   Timothy Y. Chow
• [FOM] Logic Lecture urls   Harvey Friedman
• [FOM] a little prose   Harvey Friedman
• [FOM] RE : Nonconservative law of excluded middle   Daniel Méhkeri
• [FOM] Third Call for Papers: ALC10   Peter Schuster
• [FOM] Paradoxes and Platonism   laureano luna
  • [FOM] Paradoxes and Platonism   Steven Gubkin
• [FOM] Correction to Posting on Kaplan's Sentence   hdeutsch at ilstu.edu
• [FOM] CFP2: DML 2008--Towards Digital Mathematics Library   by way of Martin Davis <martin at eipye.com>
• [FOM] CALL FOR PARTICIPATION   Logic Colloquium 2008
• [FOM] Paradoxes and Platonism   Vladimir Sazonov
• [FOM] CCA 2008: Third Call for Papers and Announcement   Vasco Brattka
• [FOM] LPAR Call for Papers   Geoff Sutcliffe by way of Martin Davis <martin at eipye.com>
• [FOM] Paradoxes and Platonism   Martin Davis
• [FOM] Paradoxes and Platonism   praatika at mappi.helsinki.fi
• [FOM] moderator travelling again.   Martin Davis
• [FOM] LICS 2008 Call for Participation   Kreutzer + Schweikardt
• [FOM] Amusing observation about independence of complexity results   Timothy Y. Chow
• [FOM] CfP: Trends in Logic VI in Brussels (Studia Logica)   Bart Van Kerkhove
• [FOM] The Reasoner 2(6) available for download   Jon Williamson
• [FOM] Groebner bases   Timothy Y. Chow
  • [FOM] Groebner bases   Stephen G Simpson
• [FOM] Groebner bases   Bas Spitters
• [FOM] New Book: Ulrich Kohlenbach, Applied Proof Theory   Ulrich Kohlenbach

Last message date: Sat May 31 17:18:48 EDT 2008
Archived on: Mon Jun 2 04:05:24 EDT 2008

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