November 2019 Archives by thread

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

Starting: Sun Nov 3 15:10:35 EST 2019
Ending: Thu Nov 28 14:52:25 EST 2019
Messages: 27

• [FOM] Possible nonexistence of repeat points   martdowd at aol.com
• [FOM] The Algebra of Intensional Logics by J. Michael Dunn   jean-yves beziau
• [FOM] first/second order logic   Harvey Friedman
  • [FOM] first/second order logic   Richard Heck
    • [FOM] first/second order logic   sambin at math.unipd.it
      • [FOM] first/second order logic   Richard Heck
  • [FOM] first/second order logic   Paul Blain Levy
• [FOM] Technical Queries on SOL   Joe Shipman
• [FOM] S.Barry Cooper Prize 2020 Call for Nominations   gprimiero at libero.it
• [FOM] Predicative second-order logic   John Bell
• [FOM] Finite functions and necessary use of large cardinals   S. Gill Williamson
  • [FOM] Finite functions and necessary use of large cardinals   Joe Shipman
  • [FOM] Finite functions and necessary use of large cardinals   Timothy Y. Chow
    • [FOM] Finite functions and necessary use of large cardinals   S. Gill Williamson
      • [FOM] Finite functions and necessary use of large cardinals   martdowd at aol.com
• [FOM] Who first formulated an Axiom of Finiteness in set theory?   Tennant, Neil
• [FOM] Sad news — Erik Palmgren   Kreinovich, Vladik
• [FOM] sugared foundations   Harvey Friedman
  • [FOM] sugared foundations   martdowd at aol.com
• [FOM] ACL2 Theorem Prover Workshop - May 28-29, 2020 at UT Austin - Call for Papers   Grant Olney Passmore
• [FOM] Book announcement: Reflections on the Foundations of Mathematics: Univalent Foundations, Set Theory and General Thoughts. Synthese Library, Springer, Berlin   Deniz Sarikaya
• [FOM] ICALP-LICS 2020 Call for Workshops   Frédéric Blanqui
• [FOM] job: Lecturer in Mathematical Philosophy   Nicholas Smith
• [FOM] Call for Papers: FVRM'2020   A. Mani
• [FOM] Reflections on the Foundations of Mathematics: Univalent Foundations, Set Theory and General Thoughts   Lawrence Paulson
• [FOM] Call for Papers: FUN 2020   Mosteiro, Miguel A.
• [FOM] Fwd: Gabriel Stolzenberg (1937-2019)   Martin Davis

Last message date: Thu Nov 28 14:52:25 EST 2019
Archived on: Thu Nov 28 14:54:06 EST 2019

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