June 2011 Archives by date

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

Starting: Thu Jun 2 04:27:26 EDT 2011
Ending: Wed Jun 29 06:19:08 EDT 2011
Messages: 64

• [FOM] An Introduction to Gödel's Theorems, Second edition?   Peter Smith
• [FOM] CADE 23: Call for participation   carsten
• [FOM] ESSLLI 2012 announcement   A. Herzig
• [FOM] What ZF knows about Arithmetic   Ali Enayat
• [FOM] 465: Patterns in Order Invariant Graphs   Harvey Friedman
• [FOM] "Salvaging" Voevodsky's talk   Timothy Y. Chow
• [FOM] Is there a higher order Takeuti conjecture?   Colin McLarty
• [FOM] "Salvaging" Voevodsky's talk   Hendrik Boom
• [FOM] CAV 2011 Call for Participation   Sandip Ray
• [FOM] CFP Philosophy of Mathematics Workshop September 26-28, Nancy, France   Brice Halimi
• [FOM] Is there a higher order Takeuti conjecture?   William Tait
• [FOM] "Salvaging" Voevodsky's talk   Panu Raatikainen
• [FOM] "Salvaging" Voevodsky's talk   Timothy Y. Chow
• [FOM] Is there a higher order Takeuti conjecture?   Colin McLarty
• [FOM] "Salvaging" Voevodsky's talk   Daniel Mehkeri
• [FOM] "Salvaging" Voevodsky's talk   Panu Raatikainen
• [FOM] 'Salvaging' Voevodsky's talk   Steven Awodey
• [FOM] Remedial mathematics?   Arnold Neumaier
• [FOM] "Salvaging" Voevodsky's talk   Roger Bishop Jones
• [FOM] 'Salvaging' Voevodsky's talk   Steven Awodey
• [FOM] 'Salvaging' Voevodsky's talk   Martin Davis
• [FOM] General conditions for cut elimination   Sandro Skansi
• [FOM] General conditions for cut elimination   Arnon Avron
• [FOM] Simple type theory with quotient types   Colin McLarty
• [FOM] 'Salvaging' Voevodsky's talk   Steve Awodey
• [FOM] 'Salvaging' Voevodsky's talk   Martin Davis
• [FOM] 'Salvaging' Voevodsky's talk   joeshipman at aol.com
• [FOM] 'Salvaging' Voevodsky's talk   William Tait
• [FOM] 'Salvaging' Voevodsky's talk   Martin Davis
• [FOM] 'Salvaging' Voevodsky's talk   William Tait
• [FOM] 'Salvaging' Voevodsky's talk   Timothy Y. Chow
• [FOM] Voevodsky's talk   Walt Read
• [FOM] the axiom of determinancy   addamo at wp.pl
• [FOM] Motivation for univalent foundations   Roger Bishop Jones
• [FOM] Fwd: Motivation for univalent foundations   Bas Spitters
• [FOM] the axiom of determinancy   Alexander, Samuel
• [FOM] Friedman Macintyre   Añon Barfod
• [FOM] FSFLA 2011: 1st announcement   "Carlos Martín Vide"
• [FOM] 466: RETURN TO 463/Dominators   Harvey Friedman
• [FOM] MWPMW 12. First Announcement   Michael Detlefsen
• [FOM] Introducing Librationism   Frode Bjørdal
• [FOM] 467: Comment on Minimal Dominators   Harvey Friedman
• [FOM] 461: Reflections on Vienna Meeting   Alex Simpson
• [FOM] 461: Reflections on Vienna Meeting   Harvey Friedman
• [FOM] 461: Reflections on Vienna Meeting   Harvey Friedman
• [FOM] 461: Reflections on Vienna Meeting   Timothy Y. Chow
• [FOM] is logic universal?   raposa 431
• [FOM] Friedman Macintyre   Walt Read
• [FOM] 461: Reflections on Vienna Meeting   Vaughan Pratt
• [FOM] International Journal of Mathematics and Mathematical Sciences   Thomas Forster
• [FOM] 461: Reflections on Vienna Meeting   Richard Heck
• [FOM] 461: Reflections on Vienna Meeting   Timothy Y. Chow
• [FOM] 461: Reflections on Vienna Meeting   Alex Simpson
• [FOM] International Journal of Mathematics and Mathematical Sciences   Kreinovich, Vladik
• [FOM] Dedekind's theorem   meskew at math.uci.edu
• [FOM] Strict reverse mathematics of incompleteness.   Daniel Mehkeri
• [FOM] Strict reverse mathematics of incompleteness.   GARETH JOHN YOUNG
• [FOM] Dedekind's theorem   Richard Heck
• [FOM] Scope of Logic Theorems: Call for Papers   jean-yves beziau
• [FOM] Turing Centenary Research Competition - Call for Proposals   S Barry Cooper
• [FOM] Simple Para-Type Theory "SPT".   Zuhair Abdul Ghafoor Al-Johar
• [FOM] postdoctoral position in proof theory   Georg Moser
• [FOM] SUMMER SCHOOL ON PROGRAM SYNTHESIS   Sandip Ray
• [FOM] The Reasoner 5(7) available for download   Jon Williamson

Last message date: Wed Jun 29 06:19:08 EDT 2011
Archived on: Thu Sep 29 04:07:14 EDT 2011

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