January 2011 Archives by subject
Starting: Sat Jan 1 12:02:15 EDT 2011
Ending: Thu Jan 27 14:23:46 EDT 2011
Messages: 50
- [FOM] 2nd CfP: Workshop ARCOE at IJCAI-11
Ivan José Varzinczak
- [FOM] 452: Rational Graphs and Large Cardinals II
Harvey Friedman
- [FOM] 453: Rational Graphs and Large Cardinals III
Harvey Friedman
- [FOM] [CiE] CiE 2011, Sofia, Bulgaria - Submission deadline extended
S Barry Cooper
- [FOM] [CiE] Downey Hirschfeldt book
S Barry Cooper
- [FOM] CADE-23: Final Call for Papers
Carsten Schuermann
- [FOM] Cardinality in weaker set theories
Colin McLarty
- [FOM] Cardinality in weaker set theories
John Burgess
- [FOM] Cardinality in weaker set theories
Thomas Forster
- [FOM] Cardinality in weaker set theories
Andreas Blass
- [FOM] Cardinality in weaker set theories
Colin McLarty
- [FOM] Cardinality in weaker set theories
T.Forster at dpmms.cam.ac.uk
- [FOM] CiE Newsletter No.43, January 12, 2011
Olivier Bournez
- [FOM] CSL 2011 Call for Papers and Workshops
Geoff Sutcliffe by way of Martin Davis <eipye at pacbell.net>
- [FOM] From Compactness to Completeness (corrected and expanded)
Stephen G Simpson
- [FOM] Greg Hjorth
Wood, Carol
- [FOM] Grothendieck foundations draft on line
Colin McLarty
- [FOM] Grothendieck foundations draft on line
Richard Heck
- [FOM] LATA 2011: deadline extended
carlos.martin at urv.cat
- [FOM] LICS 2011 - Final Call for Papers
Stephan Kreutzer
- [FOM] Logicism Today (June 2011, France), reminder
halimi at phare.normalesup.org
- [FOM] MAMLS at Harvard: Inner Model Theory & Large Cardinals, a 50 year Celebration, Feb 18-20, 2011
Hamkins, Joel
- [FOM] on numerical cognition
catarina dutilh
- [FOM] on numerical cognition
Kreinovich, Vladik
- [FOM] Ordinal notations and the ordinal calculator
Paul Budnik
- [FOM] Perfect Powers
A. Mani
- [FOM] Perfect Powers
Vaughan Pratt
- [FOM] PhD Scholarship at Victoria University of Wellington, New Zealand
Edwin Mares
- [FOM] reflexivity and ZF
Arnold Neumaier
- [FOM] Set Theory for Grothendieck's Number Theory
Colin McLarty
- [FOM] symbol vs integer: thread is closed
Martin Davis
- [FOM] Vacancy: Assistant or Associate Professor of Computer Science (1, 0 fte)
Herman Geuvers
- [FOM] Weak foundations for cohomological number theory
Colin McLarty
- [FOM] Weak foundations for cohomological number theory
Harvey Friedman
- [FOM] Weak foundations for cohomological number theory
Robert Solovay
- [FOM] Weak foundations for cohomological number theory
Colin McLarty
- [FOM] Weak foundations for cohomological number theory
Vaughan Pratt
- [FOM] Which is clearer, "integer" or "symbol"?
Timothy Y. Chow
- [FOM] Which is clearer, "integer" or "symbol"?
Oran Magal
- [FOM] Which is clearer, "integer" or "symbol"?
Lucas Kruijswijk
- [FOM] Which is clearer, "integer" or "symbol"?
Vaughan Pratt
- [FOM] Which is clearer, "integer" or "symbol"?
Hendrik Boom
- [FOM] Which is clearer, "integer" or "symbol"?
MELVYN NATHANSON
- [FOM] Which is clearer, "integer" or "symbol"?
Timothy Y. Chow
- [FOM] Which is clearer, "integer" or "symbol"?
Vaughan Pratt
- [FOM] Which is clearer, "integer" or "symbol"?
A. Mani
- [FOM] Which is clearer, "integer" or "symbol"?
Richard Heck
- [FOM] Which is clearer, "integer" or "symbol"?
Timothy Y. Chow
- [FOM] WoLLIC 2011 - Submission Deadline Extended
Ruy de Queiroz
- [FOM] Workshop on Logical Constants (part of ESSLLI 2011)
Martin Davis
Last message date:
Thu Jan 27 14:23:46 EDT 2011
Archived on: Thu Jan 27 14:27:35 EDT 2011
This archive was generated by
Pipermail 0.09 (Mailman edition).