May 2013 Archives by author

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

Starting: Thu May 2 17:11:30 EDT 2013
Ending: Fri May 31 23:14:33 EDT 2013
Messages: 63

• [FOM] Call for Participation - Andrzej Mostowski Centenary - October 11-13, 2013 - Warsaw, Poland   by way of Martin Davis <martin at eipye.com>
• [FOM] Salvaging Frege's Logicism   Zuhair Abdul Ghafoor Al-Johar
• [FOM] Kurt Gödel, Philosopher: From Logic to Cosmology (final program)   Mark van Atten
• [FOM] Conference "Type Theory, Homotopy Theory and Univalent Foundations"   Steve Awodey
• [FOM] Micro Set Theory   Andrej Bauer
• [FOM] Micro Set Theory   Andrej Bauer
• [FOM] Arithmetic Axiom Systems for annotations   John Burgess
• [FOM] CiE 2013 in Milan, July 1 - 5: First Call for Participation   S B Cooper
• [FOM] Positions at Leeds   S Barry Cooper
• [FOM] Fwd: [LICS] LICS Newsletter 146   Martin Davis
• [FOM] Correction: Dates of MWPMW 14 [from Michael Detlefsen]   Martin Davis
• [FOM] Fwd: [CiE] Important dates for CiE Elections and CiE 2013 in Milan   Martin Davis
• [FOM] From the moderator: brief service disruption   Martin Davis
• [FOM] Fwd: [LICS] LICS Newsletter 147   Martin Davis
• [FOM] Fourteenth Annual Midwest PhilMath Workshop (MWPMW 14)   Michael Detlefsen
• [FOM] The Kunen inconsistency and definable classes   Monroe Eskew
• [FOM] Nielsen-Schreier   Marco Forti
• [FOM] Strong Reflection Principles and Large Cardinal Axioms.   Jaykov Foukzon
• [FOM] 516: Embedded Maximal Cliques/restatement   Harvey Friedman
• [FOM] Definability of R^ in a Boolean-valued universe   Alexander E. Gutman
• [FOM] Fwd: JOB at Stockholm University: Professor in Theoretical Philosophy, with a specialisation in Logic   Martin Kaså
• [FOM] Shinichi Mochizuki on set-theoretical/foundational issues   Stephen P. King
• [FOM] Church-Kleene or Feferman-Schutte   Aatu Koskensilta
• [FOM] 2nd CfP: OpenMath workshop at CICM (10 July, Bath, UK), submission deadline 7 June   Christoph LANGE
• [FOM] [1305.5976] A Polynomial Time Algorithm for the Hamilton Circuit Problem   Tony Beta Lambda
• [FOM] possible one-year visiting professorship   Robert Lubarsky
• [FOM] Shinichi Mochizuki on set-theoretical/foundational issues   Colin McLarty
• [FOM] Shinichi Mochizuki on set-theoretical/foundational issues   Colin McLarty
• [FOM] Shinichi Mochizuki on set-theoretical/foundational issues   William Messing
• [FOM] 60th Parallel Workshop on Constructivism and Proof Theory   Erik Palmgren
• [FOM] WoLLIC 2013 - Darmstadt, Germany, Aug 20-23 - Call for Participation   Ruy de Queiroz
• [FOM] Workshop on Intensionality in Mathematics [from Paula Quinon}   Paula Quinon
• [FOM] The Kunen inconsistency and definable classes   Sam Roberts
• [FOM] Call for Papers - 4th Workshop on Formal Topology (4WFTop) proceedings   Giovanni Sambin
• [FOM] Micro Set Theory   Joe Shipman
• [FOM] Micro Set Theory   Joe Shipman
• [FOM] Church-Kleene or Feferman-Schutte   Sandro Skansi
• [FOM] Shinichi Mochizuki on set-theoretical/foundational issues   Robert Solovay
• [FOM] Micro Set Theory   Mitchell Spector
• [FOM] Psychological basis of Intuitionism   Steve Stevenson
• [FOM] Micro Set Theory   Paul Tarau
• [FOM] Church-Kleene or Feferman-Schutte   Thilo
• [FOM] Shinichi Mochizuki on set-theoretical/foundational issues   Alasdair Urquhart
• [FOM] [1305.5976] A Polynomial Time Algorithm for the Hamilton Circuit Problem   Alasdair Urquhart
• [FOM] Shinichi Mochizuki on set-theoretical/foundational issues   Kevin Watkins
• [FOM] Church-Kleene or Feferman-Schutte   Andreas Weiermann
• [FOM] Shinichi Mochizuki on set-theoretical/foundational issues   MartDowd at aol.com
• [FOM] Shinichi Mochizuki on set-theoretical/foundational issues   MartDowd at aol.com
• [FOM] Micro Set Theory   joeshipman at aol.com
• [FOM] Micro Set Theory   joeshipman at aol.com
• [FOM] Categories in NBG   martdowd at aol.com
• [FOM] Shinichi Mochizuki on set-theoretical/foundational issues   martdowd at aol.com
• [FOM] Nielsen-Schreier   T.Forster at dpmms.cam.ac.uk
• [FOM] Another historical question   T.Forster at dpmms.cam.ac.uk
• [FOM] Nielsen-Schreier   T.Forster at dpmms.cam.ac.uk
• [FOM] Workshop: Argumentation in Mathematics (Groningen NL)   catarina dutilh
• [FOM] Micro Set Theory   meskew at math.uci.edu
• [FOM] [1305.5976] A Polynomial Time Algorithm for the Hamilton Circuit Problem   // ravi
• [FOM] Arithmetic Axiom Systems for annotations   pax0 at seznam.cz
• [FOM] Another historical question   william tait
• [FOM] Call for papers to the volume The Life and Work of Leon Henkin (Essays on His Contributions)   mara at usal.es
• [FOM] The issue 06 of our Journal from Kirouan University in Tunisia   mlika_hamdi at yahoo.fr
• [FOM] Arithmetic Axiom Systems for annotations   zhangyinsheng

Last message date: Fri May 31 23:14:33 EDT 2013
Archived on: Sat Jun 1 18:12:32 EDT 2013

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