December 2017 Archives by subject
Starting: Sun Dec 3 06:28:57 EST 2017
Ending: Sun Dec 31 20:03:08 EST 2017
Messages: 42
- [FOM] 2nd CfP: HaPoP4 Fourth Symposium on the History and Philosophy of Programming
gprimiero at libero.it
- [FOM] 2nd CfR - Ouroboros: Formal Criteria of Self-Reference in Mathematics and Philosophy, Bonn, 16 -18 Feb 2018
Balthasar Grabmayr
- [FOM] 773: Goedel's Second: Proofs/1
Harvey Friedman
- [FOM] 774: Goedel's Second: Proofs/2
Harvey Friedman
- [FOM] 775: Goedel's Second: Proofs/3
Harvey Friedman
- [FOM] 776: Logically Natural Examples 1
Harvey Friedman
- [FOM] 776: Logically Natural Examples 1
Epstein, Adam
- [FOM] 776: Logically Natural Examples 1
Joe Shipman
- [FOM] 776: Logically Natural Examples 1
Harvey Friedman
- [FOM] 776: Logically Natural Examples 1
Robert Solovay
- [FOM] 777: Goedel's Second: Proofs/4
Harvey Friedman
- [FOM] 777: Goedel's Second: Proofs/4
Noah Schweber
- [FOM] 778: Goedel's Second: Proofs/5
Harvey Friedman
- [FOM] 779: End of Year Claims
Harvey Friedman
- [FOM] attempted proof that choiceless cardinals are inconsistent
Rupert McCallum
- [FOM] attempted proof that choiceless cardinals are inconsistent
Rupert McCallum
- [FOM] Barcelona: Master in Pure and Applied Logic open for pre registration
Joost Joosten
- [FOM] Call for bids to host ITP 2019
Jeremy Avigad
- [FOM] CfP: Foundations in Mathematics: Modern Views; 4-7 April 2018; Munich
Deniz Sarikaya
- [FOM] Cfp: Philosophy of Mathematics: Objects, Structures, and Logics - Third FilMat Conference - Mussomeli (Caltanissetta, Sicily), 25-27 May 2018
Gianluigi Oliveri
- [FOM] Choiceless cardinals
Rupert McCallum
- [FOM] Choiceless cardinals
Rupert McCallum
- [FOM] CiE 2018: 2nd CfP
gprimiero at libero.it
- [FOM] Final Call for Abstracts. Second SYSMICS Workshop (Vienna) **Deadline: 15 December 2017**
revantha
- [FOM] Fwd: Book on toposes
Martin Davis
- [FOM] Interactive Theorem Proving (ITP) 2018: Second CFP
Jeremy Avigad
- [FOM] Intrinsic justifications for large-cardinal axioms
Rupert McCallum
- [FOM] Logically Natural Examples 1
Ali Enayat
- [FOM] Logic Colloquium 2018
Alberto Marcone
- [FOM] Paraconsistent Newsletter - Fall 2017
jean-yves beziau
- [FOM] Post-Doc position in Helsinki
Negri, Sara
- [FOM] Postdoc in Logic and Formal Methods at Carnegie Mellon
Jeremy Avigad
- [FOM] Postdoc position in Logic, Gothenburg (Sweden), Deadline: 8 January 2018
Graham Leigh
- [FOM] Response to Choiceless Cardinal digest. WAS: Re: FOM Digest, Vol 180, Issue 19
Ross Mohan
- [FOM] The origin of second-order arithmetic
sasander at cage.ugent.be
- [FOM] The origin of second-order arithmetic
Ali Enayat
- [FOM] The origin of second-order arithmetic
Richard Zach
- [FOM] The origin of second-order arithmetic
sasander at cage.ugent.be
- [FOM] The origin of second-order arithmetic
Joe Shipman
- [FOM] The origin of second-order arithmetic
Richard Zach
- [FOM] The origin of second-order arithmetic
sasander at cage.ugent.be
- [FOM] WiL 2018: 2nd Women in Logic Workshop Call for Papers
Amy Felty
Last message date:
Sun Dec 31 20:03:08 EST 2017
Archived on: Sun Dec 31 20:32:29 EST 2017
This archive was generated by
Pipermail 0.09 (Mailman edition).