June 2007 Archives by thread

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

Starting: Sat Jun 2 07:59:57 EDT 2007
Ending: Fri Jun 29 20:41:39 EDT 2007
Messages: 68

• [FOM] Unrestricted Quantification and Paradox   laureano luna
  • [FOM] Unrestricted Quantification and Paradox   Bob Clark
• [FOM] CiE 2007/CCA 2007 - deadline for standard registration June 8   S B Cooper
• [FOM] Reflection Principles and Proof Speed-up   Aatu Koskensilta
• [FOM] Unrestricted Quantification and Paradox   laureano luna
  • [FOM] Unrestricted Quantification and Paradox   Bob Clark
• [FOM] ESSLLI 2008 (from Rineke Verbrugge)   martin at eipye.com
• [FOM] Who was Luc Jardie?   Juliette Kennedy
  • [FOM] Who was Luc Jardie?   Brice Halimi
  • [FOM] Who was Luc Jardie?   William Tait
  • [FOM] Who was Luc Jardie?   joeshipman at aol.com
  • [FOM] Who was Luc Jardie?   William Tait
  • [FOM] Who was Luc Jardie?   jean paul van bendegem
  • [FOM] Who was Luc Jardie?   Michael Zeleny
  • [FOM] Who was Luc Jardie?   Charles Parsons
    • [FOM] Who was Luc Jardie?   Juliette Kennedy
  • [FOM] Luc Jardie = Jean Cavaillès   BEZIAU Jean-Yves
  • [FOM] Who was Luc Jardie?   Akihiro Kanamori
• [FOM] Unrestricted Quantification and Paradox   Robert Smith
• [FOM] FOM BUFFALO LOGIC COLLOQUIUM 2007 FIRST SUMMER ANNOUNCEMENT   John Corcoran
• [FOM] Who was Luc Jardie?   Verelst Karin
• [FOM] a question in finite model theory   walid at glue.umd.edu
• [FOM] Who was Luc Jardie? (Juliette Kennedy)   josef at us.es
• [FOM] Unrestricted Quantification and Paradox   laureano luna
  • [FOM] Unrestricted Quantification and Paradox   Robbie Lindauer
  • [FOM] Unrestricted Quantification and Paradox   Richard Heck
• [FOM] Who was Luc Jardie?   Colin McLarty
• [FOM] Reflection Principles and Proof Speed-up   Ilya Tsindlekht
  • [FOM] Reflection Principles and Proof Speed-up   Aatu Koskensilta
• [FOM] pointer/revised paper   Harvey Friedman
• [FOM] Three logical questions around ZF   henri galinon
  • [FOM] Three logical questions around ZF   Aatu Koskensilta
• [FOM] MWPMW 8   Michael Detlefsen
• [FOM] burden of proof   Joseph Vidal-Rosset
  • [FOM] burden of proof   Henrik Nordmark
    • [FOM] transitive sets   Jan Pax
• [FOM] Jean-Yves Girard's Festschrift   Olivier LAURENT
• [FOM] Large cardinals and finite combinatorics   joeshipman at aol.com
• [FOM] Machine-checkable proofs: NP, or worse?   Timothy Y. Chow
  • [FOM] Machine-checkable proofs: NP, or worse?   Mitch Harris
    • [FOM] Machine-checkable proofs: NP, or worse?   Timothy Y. Chow
      • [FOM] Machine-checkable proofs: NP, or worse?   joeshipman at aol.com
      • [FOM] Machine-checkable proofs: NP, or worse?   Timothy Y. Chow
• [FOM] Three logical questions around ZF   Aatu Koskensilta
• [FOM] PA Completeness   Jan Pax
• [FOM] Conway's Angel and Devil problem   Timothy Y. Chow
  • [FOM] Conway's Angel and Devil problem   joeshipman at aol.com
    • [FOM] Conway's Angel and Devil problem   joeshipman at aol.com
    • [FOM] Conway's Angel and Devil problem   Timothy Y. Chow
    • [FOM] Conway's Angel and Devil problem   Robbie Lindauer
• [FOM] Large cardinals and finite combinatorics   Timothy Y. Chow
  • [FOM] Large cardinals and finite combinatorics   joeshipman at aol.com
• [FOM] CombLog'07: Combination of Logics   BEZIAU Jean-Yves
• [FOM] FW: Schroeder-Bernstein Dual   Epstein, Adam
• [FOM] The "long line".   Bill Taylor
  • [FOM] The "long line".   Ilya Tsindlekht
    • [FOM] Blogging on Church's Thesis etc.   Peter Smith
  • [FOM] The "long line".   joeshipman at aol.com
  • [FOM] The "long line".   K. P. Hart
• [FOM] Machine-checkable proofs: NP, or worse?   Mitch Harris
• [FOM] theory of fields   Rupert McCallum
  • [FOM] theory of fields   Robert M. Solovay
    • [FOM] theory of fields   Rupert McCallum
    • [FOM] theory of fields   Robert M. Solovay
• [FOM] Diophantine equations   Jan Pax
• [FOM] The Reasoner 1(3) available for download   Jon Williamson
• [FOM] A question about Dedekind cardinals   Adib Ben Jebara
  • [FOM] A question about Dedekind cardinals   T.Forster at dpmms.cam.ac.uk

Last message date: Fri Jun 29 20:41:39 EDT 2007
Archived on: Sat Jun 30 12:50:35 EDT 2007

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