July 2018 Archives by thread

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

Starting: Mon Jul 2 18:17:58 EDT 2018
Ending: Tue Jul 31 04:18:38 EDT 2018
Messages: 35

• [FOM] Convincing Edward Nelson that PA is consistent   José Manuel Rodriguez Caballero
  • [FOM] Convincing Edward Nelson that PA is consistent   Emilio Jesús Gallego Arias
• [FOM] CFR Varieties of Mathematical Abstraction, Vienna, 1-3 August 2018   John Wigglesworth
• [FOM] Call for papers Cantor centenary: São Paulo-Campinas 3-15 December 2018   gventuri at unicamp.br
• [FOM] Feferman: Weyl Vindicated:Das Kontinuum 70 years later   Peter Aczel
  • [FOM] Feferman: Weyl Vindicated:Das Kontinuum 70 years later   John Kadvany
  • [FOM] Feferman: Weyl Vindicated:Das Kontinuum 70 years later   Bill Greenberg
  • [FOM] Feferman: Weyl Vindicated:Das Kontinuum 70 years later   Benedict Eastaugh
  • [FOM] Feferman: Weyl Vindicated:Das Kontinuum 70 years later   Peter Aczel
• [FOM] Call for paper: Only one *week* left to prepare your paper for the Workshop in OCL and Textual Modeling (OCL 2018)   Achim D. Brucker
• [FOM] Feferman's paper on Weyl   Gabriele Lolli
• [FOM] 25th WoLLIC 2018 (Bogotá, Colombia) - Call for Participation   Ruy de Queiroz
• [FOM] Call for Registration and Student Grants: DAS KONTINUUM - 100 years later   Laura Crosilla
• [FOM] proof-relevance in number theory   José Manuel Rodriguez Caballero
• [FOM] CID; CCC 2018; deadline extension   Spreen, Dieter, Prof. Dr.
• [FOM] 822: Tangible Incompleteness/1   Harvey Friedman
• [FOM] Deadline Extension: Workshop in OCL and Textual Modeling (OCL 2018)   Achim D. Brucker
• [FOM] Fwd: 19th annual Midwest PhilMath Workshop (MWPMW 19)   Martin Davis
• [FOM] 823: Tangible Incompleteness/2   Harvey Friedman
• [FOM] 824: Tangible Incompleteness/3   Harvey Friedman
• [FOM] 825: Tangible Incompleteness/4   Harvey Friedman
• [FOM] CfP Proof-Theoretic Semantics, 27-30 March 2019, Tübingen   Peter Schroeder-Heister
• [FOM] moderator will be traveling   Martin Davis
• [FOM] arithmetic without product   José Manuel Rodriguez Caballero
  • [FOM] arithmetic without product   Cédric Doucet
    • [FOM] arithmetic without product   Joe Shipman
  • [FOM] arithmetic without product   morgorod at gmx.net
    • [FOM] arithmetic without product   Shahab Tasharrofi
    • [FOM] arithmetic without product   Dan Brumleve
• [FOM] FOM Digest, Vol 187, Issue 13   José Manuel Rodriguez Caballero
• [FOM] CTFM 2018 (Tokyo, September 13-15): abstract/registration due August 27   Akitoshi Kawamura
• [FOM] 826: Tangible Incompleteness/5   Harvey Friedman
• [FOM] Reminder, deadline 6 of August: Cantor conference São Paulo-Campinas   gventuri at unicamp.br
• [FOM] FW: ICM'2022 mark your calendars!   Kreinovich, Vladik
• [FOM] Upcoming deadline: 4-years fully funded PhD scholarships in Austria - LogiCS Doctoral College on Logical Methods in Computer Science with a special call for women in CS   Mihaela Rozman

Last message date: Tue Jul 31 04:18:38 EDT 2018
Archived on: Sun Aug 5 11:17:08 EDT 2018

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