February 2010 Archives by thread

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

Starting: Mon Feb 1 00:35:00 EDT 2010
Ending: Sun Feb 28 17:02:10 EDT 2010
Messages: 51

• [FOM] Why would one prefer ZFC to ZC?   Jeremy Bem
• [FOM] ZC vs. ZFC: a pedagogical perspective   Jeremy Bem
  • [FOM] ZC vs. ZFC: a pedagogical perspective   Timothy Y. Chow
• [FOM] Why would one prefer ZFC to ZC?   rgheck
• [FOM] Why would one prefer ZFC to ZC?   rgheck
• [FOM] AI in Chess/Kasparov   Timothy Y. Chow
• [FOM] The use of replacement in model theory   John Baldwin
• [FOM] AI in Chess/Kasparov   Paul Budnik
  • [FOM] AI in Chess/Kasparov   Apostolos Syropoulos
• [FOM] AAR Newsletter No. 87   martingi at ifi.uio.no
• [FOM] Why would one prefer ZFC to ZC?   rgheck
• [FOM] ZFC, the Universe, and Replacement   rgheck
• [FOM] Gentzen and finitism   Robert Black
  • [FOM] Gentzen and finitism   William Tait
  • [FOM] Gentzen and finitism   Harvey Friedman
    • [FOM] Gentzen and finitism   William Tait
      • [FOM] Gentzen and finitism   rgheck
      • [FOM] Gentzen and finitism   Sam Buss
• [FOM] The use of replacement in model theory   John Baldwin
• [FOM] CCA 2010 2nd call for papers   Zheng, Xizhong
• [FOM] Draft paper submission deadline is extended: TMFCS-10   John Edward
• [FOM] 389: Finite Games and Large Cardinals 1   Harvey Friedman
• [FOM] a special issue dedicated to the Infinity workshop   Yaroslav D. Sergeyev
• [FOM] Undergraduate summer school in mathematical logic   Itay Neeman
• [FOM] Call for Abstracts - NY Graduate Student Logic Conference, May 7-8, 2010   Jonas Reitz
• [FOM] ICM 2010 Satellite Event   Benedikt Loewe
• [FOM] MRC at Snowbird, June 19-26, 2010   Carol Wood
• [FOM] 390: Finite Games, Vector Reduction, and Large Cardinals 2   Harvey Friedman
• [FOM] PLMMS 2010 Call for Papers   Lucas Dixon
• [FOM] CFP: International Workshop on Hybrid Logic and Applications (HyLo 2010)   Torben Brauner
• [FOM] [CiE] Newsletter No.28, February 17, 2010   S Barry Cooper
• [FOM] WoLLIC 2010 - CFP - DEADLINE APPROACHING (Feb 28th)   Ruy de Queiroz
• [FOM] 391: Finite Games, Vector Reduction, and Large Cardinals 3   Harvey Friedman
• [FOM] 393: Finite Games, Vector Reduction, and Large Cardinals 5   Harvey Friedman
• [FOM] 392: Finite Games, Vector Reduction, and Large Cardinals 4   Harvey Friedman
• [FOM] Weak independent statements of arithmetic   Colin McLarty
  • [FOM] Weak independent statements of arithmetic   Harvey Friedman
  • [FOM] Weak independent statements of arithmetic   Aatu Koskensilta
    • [FOM] Weak independent statements of arithmetic   Colin McLarty
  • [FOM] Weak independent statements of arithmetic   William Tait
• [FOM] WST 1st CFP (July 14 - 15, 2010, Edinburgh)   georg
• [FOM] constructible sets   jbell at uwo.ca
  • [FOM] constructible sets   Aatu Koskensilta
  • [FOM] constructible sets   Monroe Eskew
  • [FOM] constructible sets   Max Weiss
• [FOM] FLT in PA?   Finnur Larusson
• [FOM] MSFP: Call for Papers   Venanzio Capretta
• [FOM] PhD position in ICT on Formal Verification via SMT available in Trento   Roberto Sebastiani
• [FOM] Existence of algebraic closures of fields   Colin McLarty
  • [FOM] Existence of algebraic closures of fields   Aatu Koskensilta
    • [FOM] Existence of algebraic closures of fields   Joachim Reineke

Last message date: Sun Feb 28 17:02:10 EDT 2010
Archived on: Sun Feb 28 23:28:26 EDT 2010

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