February 2013 Archives by thread
Starting: Fri Feb 1 13:08:48 EST 2013
Ending: Thu Feb 28 19:29:31 EST 2013
Messages: 105
- [FOM] extramathematical notions and the CH (corrected version)
joeshipman at aol.com
- [FOM] extramathematical notions and the CH
Sam Sanders
- [FOM] 2nd Call for papers: Machines, Computations and Universality 2013
Turlough Neary
- [FOM] how would a physicist know that we are not living in a Skolem hull?
Paul Elliott
- [FOM] [LICS] LICS Newsletter 143
Andrzej Murawski
- [FOM] 2nd Call for Papers ESSLLI 2013 STUDENT SESSION
gprimiero at libero.it
- [FOM] Extramathematical notions and CH
Joe Shipman
- [FOM] lambda calculus/Barendregt
pax0 at seznam.cz
- [FOM] A proof that ZFC has no any omega-models
Jaykov Foukzon
- [FOM] Reverse Concept Calculus
Zuhair Abdul Ghafoor Al-Johar
- [FOM] CfP: HaPoC 2013, 28-31 October, ENS, Paris
gprimiero at libero.it
- [FOM] CADE-24 Workshops
Geoff Sutcliffe by way of Martin Davis <martin at eipye.com>
- [FOM] for LICS newsletter
Leonid Libkin
- [FOM] Mendelson's missing appendix on the consistency of PA
Peter Smith
- [FOM] XIV Graduate Student Conference in Logic (GSCL)
Andrew Arana
- [FOM] : Questions on Cantor
Christopher Menzel
- [FOM] CiE Newsletter No.66, February 13, 2013
Olivier Bournez
- [FOM] 2nd CFP: SYMPOSIUM on PROOFS, PROGRAMS, PROCEDURES: FORMAL AND EPISTEMIC ISSUES @ CLPS13
gprimiero at libero.it
- [FOM] Reminder: Talk @CLPS-UGent: Hannes Leitgeb ( Munich Center for Mathematical Philosophy)
gprimiero at libero.it
- [FOM] A proof that ZFC has no any omega-models (Joe Shipman)
Jaykov Foukzon
- [FOM] CFP: Ninth Panhellenic Logic Symposium
Nikolaos S. Papaspyrou
- [FOM] Pre-implication algebras
A. Mani
- [FOM] 2nd CfP: Conference on Logic and Philosophy of Science - CLPS13
gprimiero at libero.it
- [FOM] Problems and prospects in the philosophy of mathematics: Illinois, October 2013
Andrew Arana
- [FOM] Question about theoretical physics
Joe Shipman
- [FOM] Postgraduate Studies in Logic, History and Philosophy of Science, UGent
PGS_LHPS
- [FOM] A reformulation of Morse-Kelley's class theory.
Zuhair Abdul Ghafoor Al-Johar
- [FOM] FOM Digest, Vol 122, Issue 12 Re: A proo f that ZFC has no any omega-models (Aatu Koskensilta )
Jaykov Foukzon
- [FOM] LATA 2013: call for participation
URV - RESEARCH GROUP ON MATHEMATICAL LINGUISTICS
- [FOM] Should mathematicians be explicit about what they are assuming?
Martin Davis
- [FOM] 2nd CfP: Gödel conference (Aix-en-Provence, July 11-13, 2013)
Mark van Atten
- [FOM] CfP: Fifth French PhilMath Workshop (FPMW 5), Oct 17-19, Clermont-Ferrand
Mark van Atten
Last message date:
Thu Feb 28 19:29:31 EST 2013
Archived on: Fri Mar 1 00:38:32 EST 2013
This archive was generated by
Pipermail 0.09 (Mailman edition).