August 2020 Archives by thread

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

Starting: Sat Aug 1 21:50:21 EDT 2020
Ending: Sun Aug 30 15:18:05 EDT 2020
Messages: 60

• 860: Unary Regressive Growth/1   Harvey Friedman
• Repeating myself on RVM   Joe Shipman
  • Repeating myself on RVM   Haim Gaifman
    • Repeating myself on RVM   Joe Shipman
      • Repeating myself on RVM   Haim Gaifman
    • Repeating myself on RVM   martdowd at aol.com
  • Repeating myself on RVM   Monroe Eskew
  • Repeating myself on RVM   Gabriel Goldberg
• Elliott Mendelson (1931-2020) (from Dana Scott)   Martin Davis
• Logicism   Joe Shipman
  • Logicism   Deutsch, Harry
    • Logicism   Richard Kimberly Heck
      • Logicism   Deutsch, Harry
      • Logicism   Richard Kimberly Heck
      • Logicism   Joe Shipman
      • Logicism   Richard Kimberly Heck
      • Logicism   Deutsch, Harry
      • Logicism   Rossberg, Marcus
      • Logicism   Kapantais Doukas
  • Logicism   Kapantais Doukas
  • Logicism   Christoph Benzmueller
  • Logicism   dan pittman
• Countable sums in ZF   Timothy Y. Chow
  • Countable sums in ZF   Sam Sanders
  • Countable sums in ZF   Mikhail Katz
  • Countable sums in ZF   Paul Blain Levy
• A Candidate Geometrical Formalism for the Foundations of Mathematics   José Manuel Rodríguez Caballero
• Call for Participation - CONCUR 2020 - 31th International Conference on Concurrency Theory part of QONFEST 2020 - ONLINE (Vienna, Austria) - September 1-4, 2020   Mihaela Rozman
• Is there a problem with Leibnizian-Russellian identity of indiscernibles in ZF?   Frode Bjørdal
• Fwd: CADE-28 Call for Papers, Workshops, Tutorials, and Competitions   Martin Davis
• logicism and Frege   Fernando Ferreira
• Mahlo rank of a weakly compact cardinal   martdowd at aol.com
• Logicism, Neo Logicism, Caesar   Oliver Marshall
  • Logicism, Neo Logicism, Caesar   Kapantais Doukas
• Ken Kunen   Martin Davis
  • Ken Kunen   Harvey Friedman
  • Ken Kunen   Sara L. Uckelman
• Certified Programs and Proofs (CPP) 2021: Final Call for Papers   Andrei Popescu
• [FOM] Foundational Challenge   Lew Gordeew
  • [FOM] Foundational Challenge   Thomas Klimpel
    • [FOM] Foundational Challenge   Lew Gordeew
• Is forcing forced on us?   Timothy Y. Chow
  • Is forcing forced on us?   martdowd at aol.com
• Fwd: [PMA 37] Midwest PhilMath Workshop   Martin Davis
• Is forcing force on us   John Baldwin
  • Is forcing force on us   Timothy Y. Chow
    • Is forcing force on us   Giorgio Venturi
  • Is forcing force on us   Timothy Y. Chow
    • Is forcing force on us   Noah Schweber
• Is forcing forded upon us?   John Bell
• foundations, analysis, and probability   Mikhail Katz
• Antonelli’s Logicism   Joe Shipman
  • Re: Antonelli’s Logicism   Richard Kimberly Heck
    • Re: Antonelli’s Logicism   Joe Shipman
      • Re: Antonelli’s Logicism   Richard Kimberly Heck
      • Re: Antonelli’s Logicism   Joe Shipman
      • Re: Antonelli’s Logicism   bill taylor
      • Re: Antonelli’s Logicism   Noah Schweber
  • Re: Antonelli’s Logicism   Sam Sanders
• a question on indiscernibles   martdowd at aol.com

Last message date: Sun Aug 30 15:18:05 EDT 2020
Archived on: Sun Aug 30 16:47:48 EDT 2020

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