September 2013 Archives by thread

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

Starting: Sun Sep 1 13:05:05 EDT 2013
Ending: Sun Sep 29 15:53:29 EDT 2013
Messages: 79

• [FOM] Relevance Logic and Tennant   Charlie
  • [FOM] Relevance Logic and Tennant   Edwin Mares
  • [FOM] Relevance Logic and Tennant   Arnon Avron
• [FOM] Misuse of standard terminology   Harvey Friedman
• [FOM] 'Proof', Berne, Switzerland, 9-13 September 2013   Peter Schuster
• [FOM] First Order Logic   Stephen G Simpson
  • [FOM] First Order Logic   Charlie
    • [FOM] First Order Logic   Panu Raatikainen
      • [FOM] First Order Logic   Richard Heck
  • [FOM] First Order Logic   Joe Shipman
    • [FOM] First Order Logic   Colin McLarty
    • [FOM] First Order Logic   Cris Perdue
  • [FOM] First Order Logic   Carl Mummert
  • [FOM] First Order Logic   Arnon Avron
    • [FOM] First Order Logic   Richard Heck
    • [FOM] First Order Logic   Charlie
    • [FOM] First Order Logic   Alexandre Rademaker
  • [FOM] First Order Logic   MartDowd at aol.com
  • [FOM] First Order Logic   Harvey Friedman
• [FOM] Teach Yourself Logic -- Updated version of the Study Guide   Peter Smith
• [FOM] What is second order ZFC?   MartDowd at aol.com
  • [FOM] What is second order ZFC?   Cole Leahy
    • [FOM] What is second order ZFC?   Harry Deutsch
    • [FOM] What is second order ZFC?   jkennedy at mappi.helsinki.fi
      • [FOM] What is second order ZFC?   Harvey Friedman
  • [FOM] What is second order ZFC?   Richard Heck
    • [FOM] What is second order ZFC?   Colin McLarty
    • [FOM] What is second order ZFC?   Richard Heck
  • [FOM] What is second order ZFC?   Harvey Friedman
• [FOM] A confession   T.Forster at dpmms.cam.ac.uk
  • [FOM] A confession   Colin McLarty
• [FOM] uniqueness of FOL   meskew at math.uci.edu
  • [FOM] uniqueness of FOL   Noah David Schweber
    • [FOM] uniqueness of FOL   Charlie
      • [FOM] uniqueness of FOL   Noah David Schweber
• [FOM] Paraconsistency Kolkata 2014 / Extended Deadline is Sept 15   jean-yves beziau
• [FOM] The wider implications of incompleteness   Paul Budnik
• [FOM] First, second order theories, second order characterizations   Harvey Friedman
  • [FOM] First, second order theories, second order characterizations   Joe Shipman
  • [FOM] First, second order theories, second order characterizations   Harry Deutsch
  • [FOM] First, second order theories, second order characterizations   Alasdair Urquhart
  • [FOM] First, second order theories, second order characterizations   Cris Perdue
• [FOM] The basics of Core Logic   Neil Tennant
• [FOM] APMP 2013 program   Andrew Arana
• [FOM] Second order ZFC   Harry Deutsch
  • [FOM] Second order ZFC   Robert Solovay
• [FOM] apology from the moderator   Martin Davis
• [FOM] Inconsistent Systems   Harvey Friedman
  • [FOM] Inconsistent Systems   Rob Arthan
  • [FOM] Inconsistent Systems   Arnon Avron
  • [FOM] Inconsistent Systems   Joao Marcos
  • [FOM] Inconsistent Systems   Alan Weir
  • [FOM] Inconsistent Systems   Harvey Friedman
• [FOM] What is Second-Order ZFC   Alan Weir
  • [FOM] "feasible" proofs   Arnon Avron
• [FOM] Final Call for Workshop Proposals   Georg Moser
• [FOM] Certificates are Fully Practical   Harvey Friedman
  • [FOM] Certificates are Fully Practical   Alan Weir
  • [FOM] Certificates are Fully Practical   Timothy Y. Chow
  • [FOM] Certificates are Fully Practical   Timothy Y. Chow
  • [FOM] Certificates are fully practical   Alan Weir
    • [FOM] Certificates are fully practical   Arnold Neumaier
    • [FOM] Certificates are fully practical   Richard Heck
  • [FOM] Certificates are fully practical   Timothy Y. Chow
  • [FOM] Certificates are fully practical   Nik Weaver
  • [FOM] Certificates are fully practical   Harvey Friedman
  • [FOM] Certificates are fully practical   Timothy Y. Chow
  • [FOM] Certificates are fully practical   Alan Weir
• [FOM] Call for submissions: LMCS special following CCA 2013   Vasco Brattka
• [FOM] Conference Announcement: Konstanz-Naples Model Theory Days   Merlin Carl
• [FOM] Inconsistensy, contrasistency, contradicion and complementarity   Frode Bjørdal
• [FOM] Ranking of Logic Journals   jean-yves beziau
• [FOM] Job Announcement   Steve Awodey
• [FOM] Fifth French Philosophy of Mathematics Workshop   Mark van Atten
• [FOM] The Australasian Journal of Logic   Edwin Mares
• [FOM] I-Sigma_1   MartDowd at aol.com
• [FOM] DLMPS conference support   Peter Schroeder-Heister
• [FOM] moderator has been ill   Martin Davis
• [FOM] Logic and Philosophy of Science Seminars, University of Palermo, Italy   iao271055 at libero.it

Last message date: Sun Sep 29 15:53:29 EDT 2013
Archived on: Mon Sep 30 23:28:36 EDT 2013

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