April 2009 Archives by subject
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
This archive was generated by
Pipermail 0.09 (Mailman edition).