January 2010 Archives by thread

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

Starting: Fri Jan 1 01:36:14 EDT 2010
Ending: Sun Jan 31 13:20:41 EDT 2010
Messages: 85

• [FOM] Mathematical Truth   Arnon Avron
• [FOM] 385:Shifts and Extreme Greedy Clique Sequences   Harvey Friedman
• [FOM] 386:Terrifically and Extremely Long Finite Sequences   Harvey Friedman
• [FOM] Mathematical Truth   Monroe Eskew
• [FOM] 387: Better Polynomial Shift Translation/typos   Harvey Friedman
• [FOM] [CiE] Newsletter No.25, January 3, 2010   CiE
• [FOM] PCC 2010 -- Call for Papers   Kai Brünnler
• [FOM] CSL 2010 - 1st Call for Papers   Geoff Sutcliffe by way of Martin Davis <martin at eipye.com>
• [FOM] [FOM} Mathematical Truth   Martin Davis
• [FOM] [CiE] CiE 2010 and Association CiE Important Dates   S Barry Cooper
• [FOM] 388: Goedel's Second Again/definitive?   Harvey Friedman
• [FOM] AISC'10: First Call for Papers   Serge Autexier
• [FOM] LICS Newsletter 125   Stephan Kreutzer
• [FOM] [CiE] CiE 2010, Ponta Delgada (Azores), Portugal - final call for papers!   CiE
• [FOM] LPAR-16 deadline extended   Geoff Sutcliffe by way of Martin Davis <martin at eipye.com>
• [FOM] Sperner's lemma and Bishop style constructive mathematics   ochibocho2
  • [FOM] Sperner's lemma and Bishop style constructive mathematics   Andrej Bauer
  • [FOM] Sperner's lemma and Bishop style constructive mathematics   Aatu Koskensilta
• [FOM] Charles Peirce on proofs for number theory   Irving
• [FOM] IJCAR 2010 - Call for papers   Viorica Sofronie-Stokkermans
• [FOM] DCM 2010 in Edinburgh - First Call for Papers   S B Cooper
• [FOM] Undergraduate Summer School in Mathematical Logic at UCLA   Itay Neeman
• [FOM] Carnegie Mellon Summer School in Logic and Formal Epistemology   Jeremy Avigad
• [FOM] Woodin's pair of articles on CH   Thomas Forster
  • [FOM] Woodin's pair of articles on CH   William Tait
    • [FOM] Woodin's pair of articles on CH   T.Forster at dpmms.cam.ac.uk
    • [FOM] Woodin's pair of articles on CH   Monroe Eskew
      • [FOM] Woodin's pair of articles on CH   William Tait
      • [FOM] Woodin's pair of articles on CH   Monroe Eskew
      • [FOM] Woodin's pair of articles on CH   William Tait
      • [FOM] Woodin's pair of articles on CH   Monroe Eskew
      • [FOM] Woodin's pair of articles on CH   T.Forster at dpmms.cam.ac.uk
• [FOM] Principia Mathematica centenary   Irving
• [FOM] A conference announcement, please post   Victor Marek
• [FOM] hereditarily countable sets and reals   Andreas Blass
• [FOM] WoLLIC 2010 - Call for Papers   Ruy de Queiroz
• [FOM] TMFCS-10 Call for papers   John Edward
• [FOM] Square of Opposition - Corsica 2010   BEZIAU Jean-Yves
• [FOM] [CiE] Newsletter No.26, January 18, 2010   CiE
• [FOM] Woodin's pair of articles on CH   Ali Enayat
  • [FOM] Woodin's pair of articles on CH   T.Forster at dpmms.cam.ac.uk
• [FOM] CFP: CCA2010 in Zhenjiang, China   Zheng, Xizhong
• [FOM] Expanded ordinal calculator is available   Paul Budnik
• [FOM] [CiE] Corrections and Updates to the Final Call for Papers   S Barry Cooper
• [FOM] Restricted Quantification   Michael Lee Finney
• [FOM] Bi-interpretability vs mutual interpretability   Ali Enayat
  • [FOM] Bi-interpretability vs mutual interpretability - and Woodin   T.Forster at dpmms.cam.ac.uk
• [FOM] Cardinality beyond Scott's:   Zuhair Abdul Ghafoor Al-Johar
  • [FOM] Cardinality beyond Scott's:   T.Forster at dpmms.cam.ac.uk
• [FOM] SET THEORY, CLASSICAL AND CONSTRUCTIVE   Jaap van Oosten
• [FOM] Cardinality beyond Scott's:   Zuhair Abdul Ghafoor Al-Johar
• [FOM] FMCAD'10 First Call For Papers   natasha.sharygina at usi.ch
• [FOM] The Workshop on Computability Theory 2010   Joseph S. Miller
• [FOM] Bi-interpretability vs mutual interpretability - and Woodin   Ali Enayat
• [FOM] Extended deadline: 6th IFIP International Conference on Theoretical Computer Science   James Harland
• [FOM] MSCS special issue on formally verified mathematics   Jeremy Avigad
• [FOM] Why would one prefer ZFC to ZC?   Jeremy Bem
  • [FOM] Why would one prefer ZFC to ZC?   Harvey Friedman
  • [FOM] Why would one prefer ZFC to ZC?   Monroe Eskew
  • [FOM] Why would one prefer ZFC to ZC?   T.Forster at dpmms.cam.ac.uk
    • [FOM] Why would one prefer ZFC to ZC?   rgheck
  • [FOM] Why would one prefer ZFC to ZC?   Roger Bishop Jones
  • [FOM] Why would one prefer ZFC to ZC?   Arnon Avron
    • [FOM] Why would one prefer ZFC to ZC?   Jeremy Bem
      • [FOM] Why would one prefer ZFC to ZC?   Monroe Eskew
      • [FOM] Why would one prefer ZFC to ZC?   Jeremy Bem
      • [FOM] Why would one prefer ZFC to ZC?   Monroe Eskew
• [FOM] Full program PhD's in Logic II, 18-19 Feb, Tilburg.   Michiel De Smet
• [FOM] CiE 2010: Last possible date for submission - clarification   CiE
• [FOM] Cardinality beyond Scott's:   Zuhair Abdul Ghafoor Al-Johar
• [FOM] The use of replacement in model theory   John Baldwin
  • [FOM] The use of replacement in model theory   Harvey Friedman
• [FOM] Why would one prefer ZFC to ZC?   Bill Taylor
  • [FOM] Why would one prefer ZFC to ZC?   T.Forster at dpmms.cam.ac.uk
    • [FOM] Why would one prefer ZFC to ZC?   Andrej Bauer
    • [FOM] Why would one prefer ZFC to ZC?   Jeremy Bem
• [FOM] The Reasoner 4(2) available for download   Jon Williamson
• [FOM] ZC vs. ZFC: a pedagogical perspective   Jeremy Bem
  • [FOM] ZC vs. ZFC: a pedagogical perspective   praatika at mappi.helsinki.fi
  • [FOM] ZC vs. ZFC: an algebraic example   A.R.D.Mathias
    • [FOM] ZC vs. ZFC   Thomas Forster
      • [FOM] ZC vs. ZFC   Jeremy Bem
• [FOM] LATA 2010: early registration deadline   carlos.martin at urv.cat
• [FOM] ZC vs. ZFC: a pedagogical perspective   Timothy Y. Chow
• [FOM] AI in Chess/Kasparov   Harvey Friedman

Last message date: Sun Jan 31 13:20:41 EDT 2010
Archived on: Mon Feb 1 00:03:32 EDT 2010

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