September 2010 Archives by author

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

Starting: Thu Sep 2 13:03:58 EDT 2010
Ending: Thu Sep 30 14:59:36 EDT 2010
Messages: 35

• [FOM] Derivability conditions for Robinson arithmetic   David Auerbach
• [FOM] MWPMW Program   Patricia Blanchette
• [FOM] CCR 2011: Computability, Complexity and Randomness - Second Call for Papers   Vasco Brattka
• [FOM] Definability and provability   Paul Budnik
• [FOM] Definability and provability   Paul Budnik
• [FOM] Definable sets in ZFC   Paul Budnik
• [FOM] Intermediate Turing Degrees   Merlin Carl
• [FOM] [CiE] 1st Announcement: CiE 2011, Sofia, Bulgaria, 27 June-02 July   CiE
• [FOM] [CiE] Newsletter No.39, September 19, 2010   S Barry Cooper
• [FOM] Definable Sets in ZFC   Ali Enayat
• [FOM] Definable Sets in ZFC   Ali Enayat
• [FOM] Derivability conditions for Robinson arithmetic   Ali Enayat
• [FOM] Definable sets in ZFC   Monroe Eskew
• [FOM] Definable sets in ZFC   Monroe Eskew
• [FOM] 437: Twin Prime Polynomial   Harvey Friedman
• [FOM] 438: Twin Prime Polynomial/errors   Harvey Friedman
• [FOM] 439: Twin Prime Polynomial/corrected   Harvey Friedman
• [FOM] 440: Finite Phase Transitions   Harvey Friedman
• [FOM] 441: Equational Representations   Harvey Friedman
• [FOM] EFA/PA correspondence   Harvey Friedman
• [FOM] Workshop on Set Theory and the Philosophy of Mathematics Oct 15-17 University of Pennsylvania   Joel David Hamkins
• [FOM] Rutgers MAMLS Conference, October 16-17   Joel David Hamkins
• [FOM] CfP: First International Meeting of the Association for the Philosophy of Mathematical Practice   Bart Van Kerkhove
• [FOM] 10 PhD student positions in Computational Logic at Vienna University of Technology   Thomas Krennwallner
• [FOM] 6th International Computer Science Symposium in Russia (CSR 2011): Call for Papers   Alexander S. Kulikov
• [FOM] EFA/PA correspondence as to FLT   Colin McLarty
• [FOM] Derivability conditions for Robinson arithmetic   Carl Mummert
• [FOM] Logical Analysis of Hybrid Systems: Proving Theorems for Complex Dynamics   Andre Platzer
• [FOM] Definable sets in ZFC   Florian Rabe
• [FOM] Why does mathematics reverse?   Sam Sanders
• [FOM] CADE-23 - Call for Papers   Carsten Schuermann
• [FOM] Definable Sets in ZFC   Dana Scott
• [FOM] Definable sets in ZFC   Max Weiss
• [FOM] The Reasoner 4(9) available for download   Jon Williamson
• [FOM] Definability and provability   hendrik at topoi.pooq.com

Last message date: Thu Sep 30 14:59:36 EDT 2010
Archived on: Thu Sep 30 15:20:56 EDT 2010

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