February 2008 Archives by thread

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

Starting: Fri Feb 1 00:39:53 EDT 2008
Ending: Thu Feb 28 16:24:00 EDT 2008
Messages: 84

• [FOM] Is CH vague?   Vaughan Pratt
• [FOM] Is CH vague?   Vaughan Pratt
• [FOM] 317: Polynomials and PA   pax0 at seznam.cz
• [FOM] Is CH vague?   laureano luna
• [FOM] re sazanov's intuitive formalizations   Gabriel Stolzenberg
• [FOM] CH and mathematics32   Thomas Forster
  • [FOM] CH and mathematics32   John Baldwin
• [FOM] CH and mathematics   Colin McLarty
  • [FOM] CH and mathematics   Thomas Forster
  • [FOM] CH and mathematics   James Hirschorn
  • [FOM] V = WF costs nothing   Thomas Forster
  • [FOM] Bivalence and Law of Excluded Middle   Joseph Vidal-Rosset
    • [FOM] Bivalence and Law of Excluded Middle   Larry Stout
    • [FOM] Bivalence and Law of Excluded Middle   Charles Silver
    • [FOM] Bivalence and Law of Excluded Middle   hdeutsch at ilstu.edu
    • [FOM] Bivalence and Law of Excluded Middle   William Tait
• [FOM] Is CH vague?   laureano luna
  • [FOM] Is CH vague?   Vaughan Pratt
• [FOM] 318:Polynomials and PA #2   Harvey Friedman
• [FOM] Fwd: Randomness   Lksh Munen
• [FOM] Freiling's darts, Martin's Axiom, and CH   Tom Dunion
• [FOM] Is CH vague?   Alex Blum
• [FOM] CH and mathematics   Nik Weaver
  • [FOM] CH and mathematics   John Baldwin
    • [FOM] CH and mathematics   Kreinovich, Vladik
    • [FOM] What is OCA?   James Hirschorn
• [FOM] CFP: 5th Workshop on Model Checking and AI   Doron Peled
• [FOM] CH and mathematics   Colin McLarty
  • [FOM] CH and mathematics   Thomas Forster
• [FOM] V = WF costs nothing   Timothy Y. Chow
  • [FOM] V = WF costs nothing   James Hirschorn
    • [FOM] V = WF costs nothing   Alasdair Urquhart
• [FOM] TMFCS-08 draft paper submission deadline is extended   Peter Williams
• [FOM] V = WF costs nothing   Colin McLarty
  • [FOM] V = WF costs nothing   Thomas Forster
• [FOM] CH and mathematics   Colin McLarty
• [FOM] constructive continuity 2   Frank Waaldijk
  • [FOM] constructive continuity 2   hendrik at topoi.pooq.com
    • [FOM] constructive continuity 2   spitters
• [FOM] continuing problems with constructive continuity?   Frank Waaldijk
  • [FOM] continuing problems with constructive continuity?   giovanni sambin
  • [FOM] continuing problems with constructive continuity?   b.spitters at cs.ru.nl
  • [FOM] continuing problems with constructive continuity?   Frank Waaldijk
  • [FOM] continuing problems with constructive continuity?   Frank Waaldijk
• [FOM] Technical question on universal-set theories   Colin McLarty
• [FOM] V = WF costs nothing, or *truth* or *use*?   Timothy Y. Chow
• [FOM] "The Generosity of Formal Languages"   John Kadvany
• [FOM] TMFCS-08 draft paper submission deadline is just few days from now   John Edward
• [FOM] PohlersFest 2008   Arnold Beckmann
• [FOM] 319: Pi01 Incompleteness/Digraphs/#3   Harvey Friedman
• [FOM] LC08 CALL FOR PAPERS AND PARTICIPATION   Logic Colloquium 2008
• [FOM] 320: Pi01 Incompleteness/#4   Harvey Friedman
• [FOM] CFP: Philosophy of Probability   A.S.Virdi at lse.ac.uk
• [FOM] Book to appear ("Modalities and Multimodalities")   Walter Carnielli
• [FOM] constructive continuity 2   Erik Palmgren
• [FOM] Summer School   Douglas Cenzer
• [FOM] WoLLIC 2008 - DEADLINE APPROACHING: Feb 24th   by way of Martin Davis <martin at eipye.com>
• [FOM] logic meeting in Cambridge, UK, April 23 (information provided by Tom Foster)   Martin Davis
  • [FOM] logic meeting in Cambridge, UK, April 23 (information provided by Tom Foster)   Thomas Forster
• [FOM] ULTRAMATH 2008: Registrations open   dinasso at dm.unipi.it
• [FOM] CFP: Special issue of JoLLI on hybrid logic   Thomas Bolander
• [FOM] Second Speaker: LSE Conference 2008   A.S.Virdi at lse.ac.uk
• [FOM] Characterising wellorders   Thomas Forster
• [FOM] 321: Pi01 Incompleteness/forward imaging   Harvey Friedman
• [FOM] LSFA 2008 - First call for papers   Joao Marcos
• [FOM] Questions in descriptive complexity   Walid Gomaa
  • [FOM] Axiom of Choice/(ultra)filters   pax0 at seznam.cz
    • [FOM] Axiom of Choice/(ultra)filters   Johan Belinfante
• [FOM] MA in Reasoning   Jon Williamson
• [FOM] Book announcement   S B Cooper
• [FOM] Gödel–McKinsey–Tarski translation   David Fontaine
  • [FOM] Gödel–McKinsey–Tarski translation   Sergei Artemov
• [FOM] Axiom of Choice/(ultra)filters   Andreas Blass
• [FOM] Eliminability of AC   joeshipman at aol.com
  • [FOM] Eliminability of AC   Larry Stout
    • [FOM] Eliminability of AC   joeshipman at aol.com
    • [FOM] Eliminability of AC   Bas Spitters
  • [FOM] Eliminability of AC   Vaughan Pratt
• [FOM] message from the moderator   Martin Davis
• [FOM] The Reasoner 2(3) now available   Jon Williamson
• [FOM] Cl&C 2008 - Second Call for Papers   Ulrich Berger
• [FOM] Axiom of Choice/(ultra)filters   pax0 at seznam.cz
  • [FOM] Axiom of Choice/(ultra)filters   Ilya Tsindlekht
• [FOM] Prime values of polynomials   joeshipman at aol.com

Last message date: Thu Feb 28 16:24:00 EDT 2008
Archived on: Tue Mar 4 12:00:00 EDT 2008

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