April 2013 Archives by date
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] Simple and difficult
Joe Shipman
- [FOM] Paradoxes: The epistemological aspect
Sam Sanders
- [FOM] Simple and difficult
Joe Shipman
- [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] Simple and difficult
Timothy Y. Chow
- [FOM] eliminating AC for statements of analysis
Ali Enayat
- [FOM] Simple and difficult
Joe Shipman
- [FOM] Simple and difficult
Timothy Y. Chow
- [FOM] What can physical systems compute?
Kreinovich, Vladik
- [FOM] Simple and difficult
joeshipman at aol.com
- [FOM] eliminating AC from statements of analysis
Paul Levy
- [FOM] Eliminating AC and GCH for statements of analysis
Ali Enayat
- [FOM] universal machine as a primitive instruction
David Leduc
- [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] universal machine as a primitive instruction
T.Forster at dpmms.cam.ac.uk
- [FOM] CiE Newsletter No.68, April 12, 2013
Olivier Bournez
- [FOM] universal machine as a primitive instruction
Steve Stevenson
- [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] universal machine as a primitive instruction
David Leduc
- [FOM] LOGIC IN QUESTION Paris, May 2-3, 2013
jean-yves beziau
- [FOM] universal machine as a primitive instruction
Tucker J.V.
- [FOM] Reverse Mathematics
Sam Sanders
- [FOM] concerning reverse mathematics
Harvey Friedman
- [FOM] Uniformly Reflexive Structures (URS)
Harvey Friedman
- [FOM] universal machine as a primitive instruction
Wouter Stekelenburg
- [FOM] universal machine as a primitive instruction
David Leduc
- [FOM] Strong theorems and Z2
Joe Shipman
- [FOM] universal machine as a primitive instruction
Samuel E. Moelius III
- [FOM] universal machine as a primitive instruction
David Leduc
- [FOM] universal machine as a primitive instruction
T.Forster at dpmms.cam.ac.uk
- [FOM] CADE-24 Call for Participation
Geoff Sutcliffe by way of Martin Davis <martin at eipye.com>
- [FOM] Uniformly Reflexive Structures (URS)
David Leduc
- [FOM] CfP: OpenMath workshop at CICM (10 July, Bath, UK), submission deadline 7 June
Christoph LANGE
- [FOM] universal machine as a primitive instruction
Dustin Wehr
- [FOM] Uniformly Reflexive Structures (URS)
Kevin Watkins
- [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] 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"
Ashutosh
- [FOM] FOM Digest, Vol 124, Issue 17.Librationist Closures of the Paradoxes
Frode Bjørdal
- [FOM] Query on "Solovay's Inacessible"
Joe Shipman
- [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
This archive was generated by
Pipermail 0.09 (Mailman edition).