October 2009 Archives by thread

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

Starting: Thu Oct 1 12:03:01 EDT 2009
Ending: Thu Oct 29 13:35:15 EDT 2009
Messages: 41

• [FOM] Standard Language of Euclid   joeshipman at aol.com
  • [FOM] Standard Language of Euclid   Andrej Bauer
    • [FOM] Standard Language of Euclid   Vaughan Pratt
  • [FOM] Standard Language of Euclid   Alasdair Urquhart
  • [FOM] Standard Language of Euclid   Grant Olney Passmore
• [FOM] Standard Language of Euclid   Ricky Pollack
  • [FOM] Standard Language of Euclid   Schaefer, Marcus
• [FOM] 367:Upper Shift Fixed Points and Large Cardinals   Harvey Friedman
• [FOM] FMCAD'09 Call For Participation   Armin Biere
• [FOM] Rigorous Foundations of Model Theory?   Rex Butler
  • [FOM] Rigorous Foundations of Model Theory?   John Baldwin
  • [FOM] Rigorous Foundations of Model Theory?   Monroe Eskew
    • [FOM] Rigorous Foundations of Model Theory?   Rupert McCallum
• [FOM] 368:Upper Shift Fixed Points and Large Cardinals/correction   Harvey Friedman
  • [FOM] 368:Upper Shift Fixed Points and Large Cardinals/correction   pax0 at seznam.cz
• [FOM] FIRST PhD Autumn School on Modal Logic   Thomas Bolander
• [FOM] Call for participation: Methods for Modalities 6   Thomas Bolander
• [FOM] FLoC 2010: Final Call for Workshop Proposals   Nicole Schweikardt
• [FOM] [CiE] Newsletter No.21, October 07, 2009   CiE
• [FOM] "localisable" models   Rupert McCallum
• [FOM] Proof Theory Query   joeshipman at aol.com
  • [FOM] Proof Theory Query   Thomas Forster
  • [FOM] Proof Theory Query   Monroe Eskew
  • [FOM] Proof Theory Query   Monroe Eskew
• [FOM] Streaming web videos of sessions at the Friedman Conference   Neil Tennant
• [FOM] CFP Universal Logic, Lisbon 2010   BEZIAU Jean-Yves
• [FOM] 'Recursive notations' for countable admissible level ordinals   Paul Budnik
• [FOM] deadline extension: a special session on categorical logic at UNILOG'201   Andre.Rodin at ens.fr
• [FOM] J.UCS Special Issue CCA 2009: First Call for Papers   Peter Hertling
• [FOM] powerset {0} = {0,{0}} in intuitionistic set theory?   Florian Rabe
  • [FOM] powerset {0} = {0,{0}} in intuitionistic set theory?   Peter LeFanu Lumsdaine
  • [FOM] powerset {0} = {0,{0}} in intuitionistic set theory?   Peter Schuster
  • [FOM] powerset {0} = {0,{0}} in intuitionistic set theory?   Thomas Forster
  • [FOM] powerset {0} = {0,{0}} in intuitionistic set theory?   Vaughan Pratt
• [FOM] PhD's in Logic II   Michiel De Smet
• [FOM] Goedel's First Incompleteness Theorem   David F. Isles
  • [FOM] Goedel's First Incompleteness Theorem   praatika at mappi.helsinki.fi
    • [FOM] Goedel's First Incompleteness Theorem   joeshipman at aol.com
• [FOM] WoLLIC 2010 - 2nd Call for Papers   Ruy de Queiroz
• [FOM] faculty positions at the Pennsylvania State University   Stephen G Simpson
• [FOM] 369:Fixed Points and Large Cardinals/restatement   Harvey Friedman

Last message date: Thu Oct 29 13:35:15 EDT 2009
Archived on: Thu Oct 29 14:17:42 EDT 2009

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