September 2014 Archives by date

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

Starting: Mon Sep 1 11:31:29 EDT 2014
Ending: Tue Sep 30 21:27:09 EDT 2014
Messages: 56

• [FOM] 536: Pi01 Progress   Harvey Friedman
• [FOM] CFP: Applications of Formal Philosophy (book)   Rafal Urbaniak
• [FOM] An argument for V = L   Colin McLarty
• [FOM] 1st World Congress on Logic and Religion, Joao Pessoa, April 1-5, 2015   jean-yves beziau
• [FOM] REMINDER - CFP: Homage to Leibniz as Scientist and Engineer, Springer, 2017   pisanoraffaele at iol.it
• [FOM] Teach Yourself Logic -- Updated version of the Study Guide   Peter Smith
• [FOM] FINAL CALL FOR PARTICIPATION Workshop on Proof Theory, Modal Logic and Reflection Principles   JOOST JOOSTEN
• [FOM] Pi01 Incompleteness/search for truth   Harvey Friedman
• [FOM] : circulate please note that for the 1st time there is a LOGICAL section of the conf, non south african are welcome, call for papers 4th South African Philosophy of Science Colloquium 15-16 January 2015   Adriano Palma
• [FOM] An argument for V = L   Timothy Y. Chow
• [FOM] 537: Pi01/Flat Pics/Testing   Harvey Friedman
• [FOM] An argument for V = L   Joseph Shipman
• [FOM] Math joke   Joseph Shipman
• [FOM] fom topics in Notices of AMS   John Baldwin
• [FOM] 538: Progress Pi01   Harvey Friedman
• [FOM] An argument for V = L   Timothy Y. Chow
• [FOM] fom topics in Notices of AMS   David Roberts
• [FOM] UNILOG'2015 5th World Congress and School on Universal Logic, Istanbul, Turkey   jean-yves beziau
• [FOM] 539: Absolute Perfect Naturalness   Harvey Friedman
• [FOM] 540: SRM/Comparability   Harvey Friedman
• [FOM] Reminder: FPMW6 - Sixth French Philosophy of Mathematics Workshop - 9-11 October 2014, Toulouse Mathematics Institute (France)   Sébastien Maronne
• [FOM] 541: Master Templates   Harvey Friedman
• [FOM] 542: Templates/LC shadow   Harvey Friedman
• [FOM] Rio de Janeiro: 4-year grants for PhD in Logic   jean-yves beziau
• [FOM] Conference announcement   Paul Larson
• [FOM] 543: New Explicitly Pi01   Harvey Friedman
• [FOM] Justifying SRP?   Harvey Friedman
• [FOM] 544: Initial Maximality/HUGE   Harvey Friedman
• [FOM] Justifying SRP?   Rupert McCallum
• [FOM] Justifying SRP?   WILLIAM TAIT
• [FOM] Justifying SRP?   Harvey Friedman
• [FOM] Strict Reverse Math/correction   Harvey Friedman
• [FOM] 545: Set Theoretic Consistency/SRM/SRP   Harvey Friedman
• [FOM] CFP: Non-Classical Abstract Logics (Istanbul, 25-30 June, 2015)   schang.fabien at voila.fr
• [FOM] Justifying SRP?   Rupert McCallum
• [FOM] Justifying SRP?   Monroe Eskew
• [FOM] CFP: Workshop on Logic and Information (5th UNILOG)   gprimiero at libero.it
• [FOM] Justifying SRP?   Harvey Friedman
• [FOM] Justifying SRP?   martdowd at aol.com
• [FOM] [CfP] 1564-2014. Homage to Galileo Galilei. [Special Issue: Philosophia Scientiae 21/1]   pisanoraffaele at iol.it
• [FOM] CFP: Philosophy of Non-Classical Logics (UNILOG'2015, Istanbul, 25-30 Jun)   Marcos Silva
• [FOM] book announcement   Roman Murawski
• [FOM] Fwd: Second Series of Lindström Lectures (First Announcement)   Ali Enayat
• [FOM] Fwd: Midwest PhilMath Workshop 15 (MWPMW 15). Program   Martin Davis
• [FOM] Book announcement   Dieter Spreen
• [FOM] QED+20 - JFR Special Issue: Call for Papers   Josef Urban
• [FOM] COMPUTABILITY IN EUROPE 2015: Evolving Computability, Bucharest, Romania, June 29-July 3   S B Cooper
• [FOM] job posting: Carnegie Mellon Department of Philosophy   Jeremy Avigad
• [FOM] 546: New Pi01/solving CH   Harvey Friedman
• [FOM] 546: New Pi01/solving CH   Mitchell Spector
• [FOM] Fwd: 546: New Pi01/solving CH   Harvey Friedman
• [FOM] Rules for distinguishing models of S5   Gillman Payette
• [FOM] Fwd: 546: New Pi01/solving CH   Mitchell Spector
• [FOM] Fwd: 546: New Pi01/solving CH   Mitchell Spector
• [FOM] 547: Conservative Growth - Triples   Harvey Friedman
• [FOM] 546: New Pi01/solving CH   Harvey Friedman

Last message date: Tue Sep 30 21:27:09 EDT 2014
Archived on: Wed Oct 1 18:26:48 EDT 2014

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