August 2020 Archives by date

• Messages sorted by: [ thread ] [ subject ] [ author ]
• 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   martdowd at aol.com
• Repeating myself on RVM   Monroe Eskew
• Repeating myself on RVM   Haim Gaifman
• Repeating myself on RVM   Gabriel Goldberg
• Elliott Mendelson (1931-2020) (from Dana Scott)   Martin Davis
• Logicism   Joe Shipman
• Logicism   Deutsch, Harry
• Countable sums in ZF   Timothy Y. Chow
• A Candidate Geometrical Formalism for the Foundations of Mathematics   José Manuel Rodríguez Caballero
• Logicism   Kapantais Doukas
• 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
• Logicism   Christoph Benzmueller
• Countable sums in ZF   Sam Sanders
• Countable sums in ZF   Mikhail Katz
• Countable sums in ZF   Paul Blain Levy
• Logicism   Richard Kimberly Heck
• Logicism   dan pittman
• Logicism   Deutsch, Harry
• Logicism   Richard Kimberly Heck
• Logicism   Joe Shipman
• Logicism   Deutsch, Harry
• Logicism   Richard Kimberly Heck
• Logicism   Kapantais Doukas
• Fwd: CADE-28 Call for Papers, Workshops, Tutorials, and Competitions   Martin Davis
• logicism and Frege   Fernando Ferreira
• Logicism   Rossberg, Marcus
• 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
• Certified Programs and Proofs (CPP) 2021: Final Call for Papers   Andrei Popescu
• Ken Kunen   Sara L. Uckelman
• [FOM] Foundational Challenge   Lew Gordeew
• [FOM] Foundational Challenge   Thomas Klimpel
• [FOM] Foundational Challenge   Lew Gordeew
• Is forcing forced on us?   Timothy Y. Chow
• 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 forded upon us?   John Bell
• Is forcing forced on us?   martdowd at aol.com
• Is forcing force on us   Timothy Y. Chow
• Is forcing force on us   Noah Schweber
• 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   Noah Schweber
• Re: Antonelli’s Logicism   Joe Shipman
• Re: Antonelli’s Logicism   bill taylor
• 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: [ thread ] [ subject ] [ author ]
• More info on this list...