March 2019 Archives by thread

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

Starting: Fri Mar 1 13:11:46 EST 2019
Ending: Sun Mar 31 21:37:10 EDT 2019
Messages: 74

• [FOM] Mereological Logicism: A theory of atomic predicates and their extensions.   Zuhair Abdul Ghafoor Al-Johar
• [FOM] Mirna Dzamonja on an alleged "crisis" in foundations   Timothy Y. Chow
  • [FOM] Mirna Dzamonja on an alleged "crisis" in foundations   José Manuel Rodríguez Caballero
    • [FOM] Mirna Dzamonja on an alleged "crisis" in foundations   Lawrence Paulson
      • [FOM] Mirna Dzamonja on an alleged "crisis" in foundations   Timothy Y. Chow
• [FOM] CFA: Set Theory: Bridging Mathematics and Philosophy, July 29-31 2019, University of Konstanz, Germany   Neil Barton
• [FOM] Potential infinite model of STT   matthias
• [FOM] Fwd: [PMA 25] CfP: FPNC2019 "Set Theory: Bridging Mathematics and Philosophy", 29-31 July, 2019, at University of Konstanz   Martin Davis
• [FOM] 2 PhD positions and 1 Postdoc position in Proof Systems for Modal Fixpoint Logics (Amsterdam)   Bahareh Afshari
• [FOM] Crisis Management and Mitigation in Foundations of Mathematics   José Manuel Rodríguez Caballero
• [FOM] Fwd: Sad news about Anne Troelstra   Oosten, J. van (Jaap)
• [FOM] Two PhD positions at the University of Luxembourg   Réka Markovich
• [FOM] UNIF 2019 - Second Call for Papers   Serdar ERBATUR
• [FOM] HaPoC5: Second Call for Abstracts   gprimiero at libero.it
• [FOM] LSFA 2019 - Final Call for Papers   Joao Marcos
• [FOM] [Vardi-list] NFM 2019: Call for Participation (Hotel Block Closing Shortly)   Moshe Vardi
• [FOM] possible non-existence of repeat points   martdowd at aol.com
• [FOM] Call for Nominations: VCLA INTERNATIONAL STUDENT AWARDS 2019 w/ Extended submission deadline: 25.3.2019   Mihaela Rozman
• [FOM] "Proofs of Life"/axiomatics for all   Rene Vestergaard
• [FOM] Paraconsistent Newsletter - Winter 2019 Icy Edition   jean-yves beziau
• [FOM] CiE 2019: Computing with Foresight and Industry - Call for Informal Presentations   gprimiero at libero.it
• [FOM] 2nd CFP: 3rd International Workshop on User-Oriented Logic Paradigms   Christos Rodosthenous
• [FOM] Why not this theory be the foundational theory of mathematics?   Zuhair Abdul Ghafoor Al-Johar
  • [FOM] Why not this theory be the foundational theory of mathematics?   Zuhair Abdul Ghafoor Al-Johar
    • [FOM] Why not this theory be the foundational theory of mathematics?   Thomas Klimpel
      • [FOM] Why not this theory be the foundational theory of mathematics?   Colin McLarty
      • [FOM] Why not this theory be the foundational theory of mathematics?   Patrik Eklund
      • [FOM] Why not this theory be the foundational theory of mathematics?   martdowd at aol.com
      • [FOM] Why not this theory be the foundational theory of mathematics?   Thomas Klimpel
      • [FOM] Why not this theory be the foundational theory of mathematics?   Colin McLarty
      • [FOM] Why not this theory be the foundational theory of mathematics?   Patrik Eklund
  • [FOM] Why not this theory be the foundational theory of mathematics?   Zuhair Abdul Ghafoor Al-Johar
  • [FOM] Why not this theory be the foundational theory of mathematics?   José Manuel Rodriguez Caballero
    • [FOM] Why not this theory be the foundational theory of mathematics?   Patrik Eklund
  • [FOM] Why not this theory be the foundational theory of mathematics?   martdowd at aol.com
• [FOM] Forward: Provability of Consistency   Martin Davis
  • [FOM] Forward: Provability of Consistency   Timothy Y. Chow
  • [FOM] Forward: Provability of Consistency   Timothy Y. Chow
    • [FOM] Forward: Provability of Consistency   Artemov, Sergei
      • [FOM] Forward: Provability of Consistency   Richard Heck
      • [FOM] Forward: Provability of Consistency   Artemov, Sergei
      • [FOM] Forward: Provability of Consistency   Richard Kimberly Heck
      • [FOM] Forward: Provability of Consistency   Artemov, Sergei
      • [FOM] Fwd: Forward: Provability of Consistency   Martin Davis
• [FOM] Call for registration: 11th International School on Rewriting (ISR'19), 1-6 July 2019, MINES ParisTech, France   Frédéric Blanqui
• [FOM] Please post this version (a typo was corrected)   Artemov, Sergei
• [FOM] Exploratory Papers - AUTOMATA 2019   Alonso Castillo Ramirez
• [FOM] Provability of Consistency   Anton Freund
  • [FOM] Provability of Consistency   Artemov, Sergei
    • [FOM] Provability of Consistency   Sam Sanders
  • [FOM] Provability of Consistency   Anton Freund
    • [FOM] Provability of Consistency   Artemov, Sergei
      • [FOM] Provability of Consistency   Till Mossakowski
    • [FOM] Provability of Consistency   Artemov, Sergei
  • [FOM] Provability of Consistency   Timothy Y. Chow
    • [FOM] Provability of Consistency   Artemov, Sergei
      • [FOM] Provability of Consistency   Timothy Y. Chow
  • [FOM] Provability of Consistency   Anton Freund
    • [FOM] Provability of Consistency   Artemov, Sergei
  • [FOM] Provability of Consistency   Anton Freund
    • [FOM] Provability of Consistency   Artemov, Sergei
  • [FOM] Provability of Consistency   Andrei Popescu
• [FOM] Forward: Provability of Consistency (Artemov, Sergei)   Timothy Y. Chow
• [FOM] WCT 2019 -- Leeds, UK -- July 22 & 23, 2019   Paul Shafer
• [FOM] (no subject)   Artemov, Sergei
  • [FOM] (no subject)   Artemov, Sergei
• [FOM] CfA: History of Physics | 3rd IDTC International Summer School for Sciences Lille, France   pisanoraffaele at iol.it
• [FOM] CfP: IDTC Special Issue | James Joule’s Bicentenary | Foundations of Science, Springer Journal   pisanoraffaele at iol.it
• [FOM] Video of Rozsa Peter   Mate Szabo
• [FOM] Caleidoscope: Research School in Computational Complexity, Paris (France), 17-21 Jun 2019   Anupam Das
• [FOM] Open Position: Lecturer in Cybersecurity - University of Exeter   Achim D. Brucker
• [FOM] PhD position EFFICIENT AND NATURAL PROOFS AND ALGORITHMS at the University of Bath   Alessio Guglielmi
• [FOM] TbiLLC2019: Final call for papers (extended deadline)   Alex Simpson
• [FOM] French Philosophy of Mathematics Workshop (FPMW11), Paris, Nov. 14-16, 2019, CfP   Brice Halimi

Last message date: Sun Mar 31 21:37:10 EDT 2019
Archived on: Sun Mar 31 23:35:32 EDT 2019

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