December 2017 Archives by subject

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

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

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