October 2016 Archives by author

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

Starting: Sat Oct 1 12:19:17 EDT 2016
Ending: Mon Oct 31 16:15:10 EDT 2016
Messages: 55

• [FOM] Boris (Boaz) Trakhtenbrot 1921-2016   Arnon Avron
• [FOM] 729: Consistency of Mathematics/1   Arnon Avron
• [FOM] CH and platonism   Arnon Avron
• [FOM] Fwd: CADE-26 Call for Workshops, Tutorials, System Competition, and Papers   Martin Davis
• [FOM] Entia et Nomina 2017 CFP   Juliusz Doboszewski
• [FOM] 718: Foundations of Geometry/6   Harvey Friedman
• [FOM] 719: Large Cardinals and Emulations//22   Harvey Friedman
• [FOM] 720: Foundations of Geometry/7   Harvey Friedman
• [FOM] 721: Large Cardinals and Emulations//23   Harvey Friedman
• [FOM] 722: Large Cardinals and Emulations//24   Harvey Friedman
• [FOM] 723: Philosophical Geometry/8   Harvey Friedman
• [FOM] 724: Philosophical Geometry/9   Harvey Friedman
• [FOM] 725: Philosophical Geometry/10   Harvey Friedman
• [FOM] 726: Philosophical Geometry/11   Harvey Friedman
• [FOM] 727: Large Cardinals and Emulations//25   Harvey Friedman
• [FOM] 728: Philosophical Geometry/12   Harvey Friedman
• [FOM] 729: Consistency of Mathematics/1   Harvey Friedman
• [FOM] CfP: MARS 2017 - Models for Formal Analysis of Real Systems   Rob van Glabbeek
• [FOM] Proof-theoretic proof of NP=PSPACE?   Lew Gordeew
• [FOM] Proof-theoretic proof of NP=PSPACE?   Lew Gordeew
• [FOM] Proof-theoretic proof of NP=PSPACE?   Lew Gordeew
• [FOM] Proof-theoretic proof of NP=PSPACE?   Lew Gordeew
• [FOM] Proof-theoretic proof of NP=PSPACE?   Lew Gordeew
• [FOM] 1st CFP: SILFS 2017 – Triennial International Conference of the Italian Society for Logic and Philosophy of Science   Pierluigi Graziani
• [FOM] A proof-theoretic proof of NP=PSPACE   Edward Hermann Haeusler
• [FOM] Proof-theoretic proof of NP=PSPACE?   Edward Hermann Haeusler
• [FOM] Proof-theoretic proof of NP=PSPACE?   Edward Hermann Haeusler
• [FOM] Announcement Brouwer symposium   Koetsier, T.
• [FOM] 729: Consistency of Mathematics/1   Paul B Levy
• [FOM] CH and platonism   Paul Blain Levy
• [FOM] Proof-theoretic proof of NP=PSPACE?   Joao Marcos
• [FOM] 729: Consistency of Mathematics/1   Mghanga Mwakima
• [FOM] hauser woodin   Adriano Palma
• [FOM] [CFP] RAMiCS 2017   Damien Pous
• [FOM] 24th WoLLIC 2017 - Call for Papers   Ruy de Queiroz
• [FOM] Hacking on PoM   Walt Read
• [FOM] H N Gupta (1925-2016)   JAMES T SMITH
• [FOM] Proof-theoretic proof of NP=PSPACE?   Joe Shipman
• [FOM] Proof-theoretic proof of NP=PSPACE?   Joe Shipman
• [FOM] Proof-theoretic proof of NP=PSPACE?   Joe Shipman
• [FOM] 729: Consistency of Mathematics/1   Dmytro Taranovsky
• [FOM] On the Nature of Reals   Dmytro Taranovsky
• [FOM] CfP: Consequence and Paradox between Truth and Proof, 2-3 March 2017, Tübingen   Luca Tranchini
• [FOM] Proof-theoretic proof of NP=PSPACE?   Alasdair Urquhart
• [FOM] Proof-theoretic proof of NP=PSPACE?   Alasdair Urquhart
• [FOM] Proof-theoretic proof of NP=PSPACE?   Alasdair Urquhart
• [FOM] Proof-theoretic proof of NP=PSPACE?   Richard Zach
• [FOM] Proof-theoretic proof of NP=PSPACE?   Richard Zach
• [FOM] Proof-theoretic proof of NP=PSPACE?   Richard Zach
• [FOM] Proof-theoretic proof of NP=PSPACE?   joeshipman at aol.com
• [FOM] Do indiscernibles exist?   martdowd at aol.com
• [FOM] 729: Consistency of Mathematics/1   martdowd at aol.com
• [FOM] CH and platonism   martdowd at aol.com
• [FOM] 2nd World Congress on Logic and Religion / University of Warsaw, June 18-22, 2017   jean-yves beziau
• [FOM] 729: Consistency of Mathematics/1   W.Taylor at math.canterbury.ac.nz

Last message date: Mon Oct 31 16:15:10 EDT 2016
Archived on: Mon Oct 31 16:27:00 EDT 2016

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