April 2013 Archives by thread

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

Starting: Tue Apr 2 14:06:47 EDT 2013
Ending: Mon Apr 29 07:30:40 EDT 2013
Messages: 57

• [FOM] BLAST 2013 Second Annoumcement   Jipsen, Peter
• [FOM] eliminating AC from statements of analysis   Paul Levy
  • [FOM] eliminating AC from statements of analysis   Paul Levy
• [FOM] Simple and difficult   Joe Shipman
  • [FOM] Simple and difficult   Joe Shipman
    • [FOM] Simple and difficult   joeshipman at aol.com
  • [FOM] Simple and difficult   Timothy Y. Chow
    • [FOM] Simple and difficult   Joe Shipman
      • [FOM] Simple and difficult   Timothy Y. Chow
• [FOM] Paradoxes: The epistemological aspect   Sam Sanders
• [FOM] SoCal PhilMath + PhilLogic + FoM 3   Sean Walsh
• [FOM] Workshop on Category-Theoretic Foundations of Mathematics   mernst at uci.edu
• [FOM] What can physical systems compute?   Tucker J.V.
  • [FOM] What can physical systems compute?   Kreinovich, Vladik
• [FOM] eliminating AC for statements of analysis   Ali Enayat
• [FOM] Eliminating AC and GCH for statements of analysis   Ali Enayat
• [FOM] universal machine as a primitive instruction   David Leduc
  • [FOM] universal machine as a primitive instruction   T.Forster at dpmms.cam.ac.uk
    • [FOM] universal machine as a primitive instruction   Steve Stevenson
      • [FOM] universal machine as a primitive instruction   David Leduc
      • [FOM] universal machine as a primitive instruction   Tucker J.V.
      • [FOM] universal machine as a primitive instruction   Samuel E. Moelius III
  • [FOM] universal machine as a primitive instruction   Wouter Stekelenburg
    • [FOM] universal machine as a primitive instruction   David Leduc
      • [FOM] universal machine as a primitive instruction   David Leduc
      • [FOM] universal machine as a primitive instruction   T.Forster at dpmms.cam.ac.uk
  • [FOM] universal machine as a primitive instruction   Dustin Wehr
• [FOM] Second CFP: Ninth Panhellenic Logic Symposium   Nikolaos S. Papaspyrou
  • [FOM] Second CFP: Ninth Panhellenic Logic Symposium   Cunningham, Daniel W.
• [FOM] CCA 2013: First Call for Informal Presentations   Vasco Brattka
• [FOM] PhD opportunities in the Computer Science theory group at Birmingham   Paul Levy
• [FOM] CiE Newsletter No.68, April 12, 2013   Olivier Bournez
• [FOM] Fwd: [LOGIC] Postdoctoral position in set theory (2y), Torino (Italy)   Camilo Thorne
• [FOM] LPAR-19 CFP and Workshops   Geoff Sutcliffe by way of Martin Davis <martin at eipye.com>
• [FOM] LOGIC IN QUESTION Paris, May 2-3, 2013   jean-yves beziau
• [FOM] Reverse Mathematics   Sam Sanders
• [FOM] concerning reverse mathematics   Harvey Friedman
• [FOM] Uniformly Reflexive Structures (URS)   Harvey Friedman
  • [FOM] Uniformly Reflexive Structures (URS)   David Leduc
    • [FOM] Uniformly Reflexive Structures (URS)   Kevin Watkins
• [FOM] Strong theorems and Z2   Joe Shipman
• [FOM] CADE-24 Call for Participation   Geoff Sutcliffe by way of Martin Davis <martin at eipye.com>
• [FOM] CfP: OpenMath workshop at CICM (10 July, Bath, UK), submission deadline 7 June   Christoph LANGE
• [FOM] job for a logician in helsinki   jkennedy at mappi.helsinki.fi
• [FOM] uniform reflexive structures   Wouter Stekelenburg
• [FOM] Librationist Closures of the Paradoxes   Frode Bjørdal
• [FOM] CiE 2013 - 2nd Call for Informal Presentations   S B Cooper
• [FOM] biblio help   Adriano Palma
• [FOM] FOM Digest, Vol 124, Issue 17.Librationist Closures of the Paradoxes   Jaykov Foukzon
  • [FOM] FOM Digest, Vol 124, Issue 17.Librationist Closures of the Paradoxes   Frode Bjørdal
• [FOM] Proof Theory in Lisbon   Fernando Ferreira
• [FOM] Query on "Solovay's Inacessible"   Joe Shipman
  • [FOM] Query on "Solovay's Inacessible"   Andres Caicedo
    • [FOM] Query on "Solovay's Inacessible"   Joe Shipman
  • [FOM] Query on "Solovay's Inacessible"   Ashutosh
  • [FOM] Query on "Solovay's Inacessible"   Robert Solovay
• [FOM] Reminder: Fifth French PhilMath Workshop (FPMW 5)   Mark van Atten

Last message date: Mon Apr 29 07:30:40 EDT 2013
Archived on: Tue Apr 30 12:51:19 EDT 2013

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