September 2007 Archives by date

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

Starting: Mon Sep 3 12:18:21 EDT 2007
Ending: Sun Sep 30 02:23:05 EDT 2007
Messages: 97

• [FOM] CfP: 3WFTop proceedings   Peter Schuster
• [FOM] Question about satisfiability   Kreinovich, Vladik
• [FOM] Meeting on Aesthetics and Mathematics   Juliette Kennedy
• [FOM] Announcement: Lecture on phase transitions in logic and combinaorics   Andreas Weierman
• [FOM] History of set theory   josef at us.es
• [FOM] Question about satisfiability   Tjark Weber
• [FOM] Question about satisfiability   Tjark Weber
• [FOM] Polish spaces and descriptive set theory   Jan Pax
• [FOM] Polish spaces and descriptive set theory   joeshipman at aol.com
• [FOM] Question about satisfiability   Alasdair Urquhart
• [FOM] Question about satisfiability   Daniel Leivant
• [FOM] Advertising an approach to the philosophy of mathematics (with some logical technical work)   Feng Ye
• [FOM] Advertising an approach to the philosophy of mathematics (with some logical technical work)   Robbie Lindauer
• [FOM] Replacement in mathemaical practice and in predicative math   Arnon Avron
• [FOM] Advertising an approach to the philosophy of mathematics   Frank Waaldijk
• [FOM] Advertising an approach to the philosophy of mathematics (with some logical technical work)   David Auerbach
• [FOM] Advertising an approach to the philosophy of mathematics   hendrik at topoi.pooq.com
• [FOM] power set in math   Harvey Friedman
• [FOM] Replacement in mathemaical practice and in predicative math   John McCarthy
• [FOM] Advertising an approach to the philosophy of mathematics(with some logical technical work)   Feng Ye
• [FOM] CFP: Cambridge Graduate Conference   Peter Smith
• [FOM] FOM: BLC 1ST FALL 2007-8   John Corcoran
• [FOM] A corrcetion of a stupid mistake   Arnon Avron
• [FOM] power set in math   Arnon Avron
• [FOM] CiE 2008 - 1st Call for Papers   Arnold Beckmann
• [FOM] geometry and non-well-founded sets   Robert Black
• [FOM] geometry and non-well-founded sets   Dana Scott
• [FOM] geometry and non-well-founded sets   Thomas Forster
• [FOM] What produces certainty in mathematical proofs?   Martin Davis
• [FOM] geometry and non-well-founded sets   Allen Hazen
• [FOM] What produces certainty in mathematical proofs?   Harvey Friedman
• [FOM] What produces certainty in mathematical proofs?   Feng Ye
• [FOM] geometry and non-well-founded sets   Robert Lubarsky
• [FOM] Shelf life of inconsistent theories   Wayne Aitken
• [FOM] Advertising an approach to the philosophy ofmathematics(with some logical technical work)   Antonino Drago
• [FOM] Advertising an approach to the philosophy ofmathematics(with some logical technical work)   John McCarthy
• [FOM] Shelf life of inconsistent theories   Thomas Forster
• [FOM] Non-constructive but predictive proofs   Martin Davis
• [FOM] Category and Measure   joeshipman at aol.com
• [FOM] Category and Measure   John McCarthy
• [FOM] Shelf life of inconsistent theories   praatika at mappi.helsinki.fi
• [FOM] Category and Measure   James Hirschorn
• [FOM] Question on the Axiom of Foundation/Regularity   Todd Eisworth
• [FOM] Category and Measure   John McCarthy
• [FOM] Category and Measure   Bill Taylor
• [FOM] Category and Measure   joeshipman at aol.com
• [FOM] Category and Measure   joeshipman at aol.com
• [FOM] Question on the Axiom of Foundation/Regularity   Jan Pax
• [FOM] Shelf life of inconsistent theories   Wayne Aitken
• [FOM] Category and Measure   Lasse Rempe
• [FOM] Category and Measure   joeshipman at aol.com
• [FOM] Category and Measure   Lasse Rempe
• [FOM] Category and Measure   Timothy Y. Chow
• [FOM] Category and Measure   joeshipman at aol.com
• [FOM] Category and Measure   Timothy Y. Chow
• [FOM] Category and Measure   Timothy Y. Chow
• [FOM] Complexity of the elementary theory of subfields of the   Vaughan Pratt
• [FOM] Question on the Axiom of Foundation/Regularity   Thomas Forster
• [FOM] Category and Measure   joeshipman at aol.com
• [FOM] Q   Bill Taylor
• [FOM] Q   Richard Heck
• [FOM] A Query about Logical Content   Ken Gemes
• [FOM] defining the integers   zahidi at logique.jussieu.fr
• [FOM] new journal: Journal of Formalized Reasoning   Jeremy Avigad
• [FOM] What produces certainty in mathematical proofs?   Alex Blum
• [FOM] What produces certainty in mathematical proofs?   Max Weiss
• [FOM] Q   Bill Taylor
• [FOM] Category and Measure   Bill Taylor
• [FOM] A Query about Logical Content   Alex Blum
• [FOM] Category and Measure   joeshipman at aol.com
• [FOM] Q   Gyorgy Sereny
• [FOM] Divergent series   joeshipman at aol.com
• [FOM] Q   Andrew Boucher
• [FOM] Divergent series   K. P. Hart
• [FOM] Category and Measure   Francois G. Dorais
• [FOM] Divergent series   Francois G. Dorais
• [FOM] Further comment on commutativity in a weak arithmetic   Andrew Boucher
• [FOM] Measure and category   Tomek Bartoszynski
• [FOM] FOM: BLC 3RD FALL   John Corcoran
• [FOM] What produces certainty in mathematical proofs?   praatika at mappi.helsinki.fi
• [FOM] Hardy's "Divergent series"   Gabriel Stolzenberg
• [FOM] Showing that "forcing is the unique method"   Timothy Y. Chow
• [FOM] A Query about Logical Content   Ken Gemes
• [FOM] Why Do we Need a New Notion of Logical Content   Ken Gemes
• [FOM] Question on the Axiom of Foundation/Regularity   Todd Eisworth
• [FOM] LATA 2008: 2nd call for papers   carlos.martin at urv.cat
• [FOM] Question on the Axiom of Foundation/Regularity   Thomas Forster
• [FOM] Complexity of the elementary theory of subfields of the reals   Vaughan Pratt
• [FOM] Q   Vaughan Pratt
• [FOM] The Reasoner - issue 1(6) now available   Jon Williamson
• [FOM] Concerning definition of formulas   Saurav
• [FOM] Concerning definition of formulas   Andrej Bauer
• [FOM] 10th Asian Logic Conference, Kobe, Japan, 2008 (first announcement)   Peter Schuster
• [FOM] FOR DISTRIBUTION: APA session on "Josiah Royce and the Origins of Modern Logic"   Kelly Parker
• [FOM] Could you list/psot this event?   John E. Edward
• [FOM] Concerning definition of formulas   Richard Heck
• [FOM] Concerning definition of formulas   Allen Hazen

Last message date: Sun Sep 30 02:23:05 EDT 2007
Archived on: Sun Sep 30 11:03:13 EDT 2007

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