September 2013 Archives by subject

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

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

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