March 2008 Archives by thread

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

Starting: Sat Mar 1 13:58:45 EDT 2008
Ending: Mon Mar 31 22:56:38 EDT 2008
Messages: 84

• [FOM] Bases of vector spaces   Thomas Forster
• [FOM] query on the history of the philosophy of mathematics: mathematics as formal   catarina dutilh
  • [FOM] query on the history of the philosophy of mathematics: mathematics as formal   jaN.
  • [FOM] mathematics as formal   Michael J Barany
    • [FOM] mathematics as formal   Wayne Aitken
      • [FOM] mathematics as formal   Michael J Barany
• [FOM] Prime values of polynomials   Kreinovich, Vladik
  • [FOM] Prime values of polynomials   Grant Olney Passmore
    • [FOM] Prime values of polynomials   joeshipman at aol.com
      • [FOM] Prime values of polynomials   Grant Olney Passmore
  • [FOM] Prime values of polynomials   joeshipman at aol.com
    • [FOM] Quantified Diophantine Equatios   pax0 at seznam.cz
  • [FOM] Prime values of polynomials   zahidi at logique.jussieu.fr
    • [FOM] Prime values of polynomials   Kreinovich, Vladik
• [FOM] query on the history of the philosophy of mathematics: mathematics as formal   Colin McLarty
• [FOM] Prime values of polynomials   Bill Taylor
• [FOM] Negation's long lost twin?   Lucius Schoenbaum
• [FOM] Prime values of polynomials   Harvey Friedman
• [FOM] Prime values of polynomials   Franklin Vera
• [FOM] second order ZFC   pax0 at seznam.cz
  • [FOM] second order ZFC   rgheck
    • [FOM] seeking information about the ramified theory of types   Rupert McCallum
      • [FOM] seeking information about the ramified theory of types   Allen Hazen
    • [FOM] second order ZFC   Marcus Rossberg
  • [FOM] second order ZFC   Stewart Shapiro
  • [FOM] second order ZFC   Charles Parsons
    • [FOM] second order ZFC   Allen Hazen
      • [FOM] A paper on constructibility, computability and predicativity   Arnon Avron
• [FOM] CiE 2008 - accepted papers, informal presentations, participation   Arnold Beckmann
• [FOM] CiE 2008 - grants   Arnold Beckmann
• [FOM] mathematics as formal   catarina dutilh
  • [FOM] mathematics as formal   Vaughan Pratt
  • [FOM] mathematics as formal   Eray Ozkural
• [FOM] Joe Shipman's desired example   Richard Pollack
• [FOM] Prime values of polynomials   Stephen G Simpson
• [FOM] mathematics as formal   praatika at mappi.helsinki.fi
• [FOM] Prime values of polynomials (fixed text encoding)   Grant Olney Passmore
• [FOM] mathematics as formal   catarina dutilh
  • [FOM] mathematics as formal   Vaughan Pratt
• [FOM] A New Kind of Positivism   Steven Ericsson-Zenith
• [FOM] 322: Pi01 Incompleteness/forward imaging 2   Harvey Friedman
• [FOM] Fellowship opportunities in France (from Michael Detlefsen )   Martin Davis
• [FOM] Second CFP: LSE   A.S.Virdi at lse.ac.uk
• [FOM] AUTOMATA 2008: Final call for papers   genarojm at correo.unam.mx
• [FOM] 323: Pi01 Incompleteness/point deletion   Harvey Friedman
• [FOM] 323: Pi01 Incompleteness/point deletion   Harvey Friedman
• [FOM] prime values of polynomials   Stephen G Simpson
  • [FOM] prime values of polynomials   Vaughan Pratt
• [FOM] Announcing SMT-COMP 2008   Clark Barrett
• [FOM] CSL 2008 - Last CfP - Deadline is March 28th   Ugo Dal Lago
• [FOM] LC08: SECOND CALL FOR PAPERS AND PARTICIPATION   Logic Colloquium 2008
• [FOM] BLAST 2008   Keith A. Kearnes
• [FOM] Causality Study Fortnight   Jon Williamson
• [FOM] mathematics as formal   Vladimir Sazonov
  • [FOM] mathematics as formal   Vaughan Pratt
    • [FOM] mathematics as formal   Steven Ericsson-Zenith
• [FOM] FOM: 20:Proof Theoretic Degrees   V. Yu. Shavrukov
• [FOM] Second Order ZFC   Juliette Kennedy
• [FOM] mathematics as formal   Vladimir Sazonov
  • [FOM] mathematics as formal   Vaughan Pratt
    • [FOM] mathematics as formal   Steven Ericsson-Zenith
      • [FOM] mathematics as formal   rgheck
      • [FOM] mathematics as formal   Steven Ericsson-Zenith
      • [FOM] mathematics as formal   Alex Blum
• [FOM] Eliminability of AC   joeshipman at aol.com
  • [FOM] Eliminability of AC   Thomas Forster
    • [FOM] Eliminability of AC   joeshipman at aol.com
    • [FOM] Eliminability of AC   John Baldwin
      • [FOM] Eliminability of AC   Robert M. Solovay
      • [FOM] Eliminability of AC   joeshipman at aol.com
  • [FOM] Eliminability of AC   Richard Zach
    • [FOM] Eliminability of AC   Juliette Kennedy
    • [FOM] Follow-up to Eliminability of AC   Juliette Kennedy
  • [FOM] Eliminability of AC   Francois G. Dorais
    • [FOM] Eliminability of AC   James Hirschorn
• [FOM] Automated Reasoning for Mathematics   by way of Martin Davis <martin at eipye.com>
• [FOM] Final CFP: LSE Graduate Conference   A.S.Virdi at lse.ac.uk
• [FOM] FW: Invitation from the Provost of The Ohio State University (broadcast talk by Harvey)   Davis, Molly
• [FOM] mathematics as formal   Timothy Y. Chow
  • [FOM] mathematics as formal   Steven Ericsson-Zenith
• [FOM] LSFA'08 - 2nd call for papers   Joao Marcos
• [FOM] moderator travelling again   Martin Davis
• [FOM] Re: AC and strongly inaccessible cardinals   Robert M. Solovay
• [FOM] The Reasoner 2(4) now available   Jon Williamson

Last message date: Mon Mar 31 22:56:38 EDT 2008
Archived on: Wed Jan 28 17:56:44 EDT 2009

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