April 2018 Archives by thread

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

Starting: Sun Apr 1 11:28:40 EDT 2018
Ending: Mon Apr 30 08:18:28 EDT 2018
Messages: 53

• [FOM] Godel's Princeton lectures   Daniel Schwartz
• [FOM] 799: Beyond Perfectly Natural/5   Harvey Friedman
• [FOM] LSFA 2018, 2nd CfP   Francicleber M. Ferreira
• [FOM] FOM Godel's Princeton Notes   Martin Davis
• [FOM] call for papers: LNAT4, Brussels   Lorenz Demey
• [FOM] 800: Beyond Perfectly Natural/6   Harvey Friedman
• [FOM] 801: Big Foundational Issues/1   Harvey Friedman
• [FOM] 802: Systematic f.o.m./1   Harvey Friedman
  • [FOM] R: 802: Systematic f.o.m./1   Antonino Drago
• [FOM] ThEdu'18: Second Call for Extended Abstracts & Demonstrations   Achim D. Brucker
• [FOM] WiL 2018: Women in Logic Workshop Final Call for Papers   Amy Felty
• [FOM] Autumn school "Proof and Computation"   Chuangjie Xu
• [FOM] query about (if possible) pdf of one of g kreisel's papers   adriano paolo shaul gershom palma
• [FOM] 16 PhD Positions on Logical Methods in Computer Science LogiCS doctoral college Austria   Mihaela Rozman
• [FOM] 803: Perfectly Natural/7   Harvey Friedman
• [FOM] Research Positions in Logic & Verification at UCL   Pym, David
• [FOM] 804: Beyond Perfectly Natural/8   Harvey Friedman
• [FOM] DAS KONTINUUM - 100 years later   Laura Crosilla
• [FOM] Huge cardinals   pax0 at seznam.cz
  • [FOM] Huge cardinals   Rupert McCallum
  • [FOM] Huge cardinals   Robert Solovay
• [FOM] History of Logic in Eastern Europe Bibliography   mate szabo
• [FOM] 6th School on Universal Logic - Vichy, June 16-20, 2018   jean-yves beziau
• [FOM] Stefano Bonzio, winner of the 2018 SILFS Italian Logic Prize   jean-yves beziau
• [FOM] Logic Col­lo­quium 2018 (LC18): final call for contributions   Dario Della Monica
• [FOM] "The Significance of the New Logic": "O Sentido da Nova Lógica" (W.V.O. Quine, 1942) now available in English   Walter Carnielli
• [FOM] CiE 2018: Call for Informal Presentations   gprimiero at libero.it
• [FOM] 805: Beyond Perfectly Natural/9   Harvey Friedman
• [FOM] FA: 9th Conference on Non-Classical Logic, 24–27th September 2018, Torun, Poland (fwd)   Alasdair Urquhart
• [FOM] Second call for BLAST conference at the University of Denver   Nikolaos Galatos
• [FOM] 806: Beyond Perfectly Natural/10   Harvey Friedman
• [FOM] Zalán Gyenis, winner of the 2018 Alfred Tarski Logic Prize   jean-yves beziau
• [FOM] FilMat 2018 - Philosophy of mathematics: objects, structures, and logics - 3rd FilMat Conference - Mussomeli, Caltanissetta, Sicily- 25-27 May 2018   Gianluigi Oliveri
• [FOM] FW: Sofja Kovalevskaja Award for young research talents   Kreinovich, Vladik
• [FOM] Computability, Complexity and Randomness (CCR 2018) Santiago de Chile 17 - 21 December 2018   Verónica Becher
• [FOM] PhD Position in Logic & Verification at UCL   Pym, David
• [FOM] Fw: New volume on predictive analytis & invitation to an Apple Acdemic Press auhtors for Affective Cognitive mathematics ...   Dr. Cyrus F Nourani
• [FOM] Proof-Theoretic Semantics, Tuebingen, 27-30 March 2019   Peter Schroeder-Heister
• [FOM] Logic Colloquium 2018 deadline extension   Alberto Marcone
• [FOM] Call for registration: Tenth Scandinavian Logic Symposium, 11-13 June 2018, Gothenburg, Sweden   Bahareh Afshari
• [FOM] A question about AC in constructive mathematics   Arnon Avron
  • [FOM] A question about AC in constructive mathematics   Chris Scambler
    • [FOM] A question about AC in constructive mathematics   Berger U.
  • [FOM] A question about AC in constructive mathematics   Ben Sherman
  • [FOM] A question about AC in constructive mathematics   Richard Heck
    • [FOM] A question about AC in constructive mathematics   W.Taylor at math.canterbury.ac.nz
  • [FOM] A question about AC in constructive mathematics   Colin McLarty
  • [FOM] A question about AC in constructive mathematics   sasander at cage.ugent.be
    • [FOM] A question about AC in constructive mathematics   Maria Emilia Maietti
  • [FOM] A question about AC in constructive mathematics   Harvey Friedman
• [FOM] Fwd: Re: A question about AC in constructive mathematics   Robert Black
  • [FOM] Fwd: Re: A question about AC in constructive mathematics   Mummert, Carl
• [FOM] 807: Beyond Perfectly Natural/11   Harvey Friedman

Last message date: Mon Apr 30 08:18:28 EDT 2018
Archived on: Mon Apr 30 20:02:13 EDT 2018

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