January 2010 Archives by thread
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] 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] 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] 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] Cardinality beyond Scott's:
Zuhair Abdul Ghafoor Al-Johar
- [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] 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] Why would one prefer ZFC to ZC?
Bill Taylor
- [FOM] The Reasoner 4(2) available for download
Jon Williamson
- [FOM] ZC vs. ZFC: a pedagogical perspective
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
This archive was generated by
Pipermail 0.09 (Mailman edition).