April 2009 Archives by subject

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

Starting: Wed Apr 1 09:45:58 EDT 2009
Ending: Thu Apr 30 07:23:33 EDT 2009
Messages: 78

• [FOM] 334: Progress in Pi01 Incompleteness 2   Harvey Friedman
• [FOM] 335:Undecidability/Euclidean geometry   Harvey Friedman
• [FOM] 336:Undecidability/Euclidean geometry/2   Harvey Friedman
• [FOM] 336:Undecidability/Euclidean geometry/2   pax0 at seznam.cz
• [FOM] [CiE] April 19 deadline for applying for ASL grants for CiE 2009   S B Cooper
• [FOM] [CiE] Newsletter No.10, April 14, 2009   S B Cooper
• [FOM] [CiE] Newsletter No.9, April 3, 2009   S B Cooper
• [FOM] [CiE] Women in Computability @ CiE 2009 - Call for applications for Travel Grants   S B Cooper
• [FOM] [CiE] Women in Computability @ CiE 2009 - Call for Participation in the CiE 2009 Mentor programme   S B Cooper
• [FOM] A question about \omega-consistent theories   Arnon Avron
• [FOM] A question about \omega-consistent theories   Dan Isaacson
• [FOM] A question about \omega-consistent theories   pax0 at seznam.cz
• [FOM] A question about \omega-consistent theories   steve newberry
• [FOM] ACL2 2009 Call for Participation   Sandip Ray
• [FOM] An objective approach to expanding mathematics   Paul Budnik
• [FOM] Announcing SMT-COMP 2009   Clark Barrett
• [FOM] Another question about ZF without Choice   Andres Caicedo
• [FOM] Book announcement: Handbook of Practical Logic and Automated Reasoning   John R Harrison
• [FOM] CASC-22 - The CADE ATP System Competition   Geoff Sutcliffe by way of Martin Davis <martin at eipye.com>
• [FOM] CiE 2009 - Call for Participation and Informal Presentations   S B Cooper
• [FOM] CONF: Practice-based philosophy of logic and mathematics   catarina dutilh
• [FOM] Extended draft paper submission: TMFCS-09 call for papers   John Edward
• [FOM] FroCoS'09 Final Call for Papers   Roberto Sebastiani
• [FOM] FTP 2009: Call for papers   Viorica Sofronie-Stokkermans
• [FOM] FTP 2009: Deadline extension   Viorica Sofronie-Stokkermans
• [FOM] Global choice and ZF   T.Forster at dpmms.cam.ac.uk
• [FOM] Global choice and ZF   Andres Caicedo
• [FOM] Global choice and ZF   T.Forster at dpmms.cam.ac.uk
• [FOM] Global choice and ZF   T.Forster at dpmms.cam.ac.uk
• [FOM] Global choice and ZF   Allen Hazen
• [FOM] Leeds Symposium on Proof Theory and Constructivism   Laura Crosilla
• [FOM] LICS 2009 Call for Short Presentations   Stephan Kreutzer
• [FOM] MAMLS at Harvard, May 9-10   Joel David Hamkins
• [FOM] Multidisciplinary Encounters on Complexity in Arts and Sciences - Ircam (Paris), June 10-12, 2009   Moreno Andreatta
• [FOM] PhD positions in ICT on Formal Verification via SMT available in Trento   Roberto Sebastiani
• [FOM] Possibility, necessity, and realism.   dmehkeri at yahoo.ca
• [FOM] quantifiers as sentential operators   Joao Marcos
• [FOM] quantifiers as sentential operators   Alasdair Urquhart
• [FOM] Question on Relation Algebra   A. MANI
• [FOM] Question on Relation Algebra   Jorge Petrucio Viana
• [FOM] RE : Slashed circle symbol for the empty set   BEZIAU Jean-Yves
• [FOM] Reminder: Conference on the nature of Proof 1-3 July 2009   Brendan Larvor
• [FOM] Seeking information on Watanabe's 4-5 UTM   Benjamin Wells
• [FOM] Shafarevich-Tate group and Hilbert's Tenth Problem   Timothy Y. Chow
• [FOM] Slashed circle symbol for the empty set   Howard, William A.
• [FOM] Slashed circle symbol for the empty set   Vaughan Pratt
• [FOM] Slashed circle symbol for the empty set   Johanna Franklin
• [FOM] Terminating the thread on the ontological argument   Martin Davis
• [FOM] The characteristic S5 axiom and the ontological argument   Alex Blum
• [FOM] The characteristic S5 axiom and the ontological argument   Jesse Alama
• [FOM] The characteristic S5 axiom and the ontological argument   Paul Hollander
• [FOM] The characteristic S5 axiom and the ontological argument   Paul Hollander
• [FOM] The characteristic S5 axiom and the ontological argument   laureano luna
• [FOM] The characteristic S5 axiom and the ontological argument   Alex Blum
• [FOM] The characteristic S5 axiom and the ontological argument   Vaughan Pratt
• [FOM] The characteristic S5 axiom and the ontological argument   Allen Hazen
• [FOM] The characteristic S5 axiom and the ontological argument   Alex Blum
• [FOM] The characteristic S5 axiom and the ontological argument   Peter LeFanu Lumsdaine
• [FOM] The Fundamental Idea of Proof Theory in Paris (workshop announcement)   Andre.Rodin at ens.fr
• [FOM] The Reasoner 3(5) available for download   Jon Williamson
• [FOM] UC 2009 - EXTENDED DEADLINE CALL FOR PAPERS/POSTERS (April 19th)   UC 2009
• [FOM] Weak system for SO logic   praatika at mappi.helsinki.fi
• [FOM] Weak system for SO logic   rgheck
• [FOM] Weak system for SO logic   praatika at mappi.helsinki.fi
• [FOM] Weak system for SO logic   Richard Heck
• [FOM] Weak system for SO logic   praatika at mappi.helsinki.fi
• [FOM] Weak system for SO logic   rgheck
• [FOM] Well founded extensional relations   Thomas Forster
• [FOM] When is it appropriate to treat isomorphism as identity?   Vaughan Pratt
• [FOM] When is it appropriate to treat isomorphism as identity?   Timothy Y. Chow
• [FOM] When is it appropriate to treat isomorphism as identity?   Monroe Eskew
• [FOM] When is it appropriate to treat isomorphism as identity?   Timothy Y. Chow
• [FOM] When is it appropriate to treat isomorphism as identity?   Arnold Neumaier
• [FOM] When is it appropriate to treat isomorphism as identity?   Alex Blum
• [FOM] When is it appropriate to treat isomorphism as identity?   Jon Awbrey
• [FOM] WoLLIC 2009 - Call for Participation   Ruy de Queiroz
• [FOM] Workshop in Greifswald 2010   Arnold Beckmann
• [FOM] ZFC-proofs of arithmetical statements   joeshipman at aol.com

Last message date: Thu Apr 30 07:23:33 EDT 2009
Archived on: Thu Apr 30 14:57:48 EDT 2009

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