September 2009 Archives by date

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

Starting: Tue Sep 1 06:50:39 EDT 2009
Ending: Wed Sep 30 22:35:23 EDT 2009
Messages: 107

• [FOM] Only one proof   Robert Lubarsky
• [FOM] 361: Finite Promise Games   Harvey Friedman
• [FOM] "Mathematician in the street" on AC   Ashutosh
• [FOM] An intuitionistic query   Arnold Neumaier
• [FOM] Only one proof   Charles Silver
• [FOM] 362: Simplest Order Invariant Game   Harvey Friedman
• [FOM] Only one proof   Aatu Koskensilta
• [FOM] CiE2010   Fernando Ferreira
• [FOM] Only one proof   Vaughan Pratt
• [FOM] 363:Greedy Function Games/Largest Cardinals 1   Harvey Friedman
• [FOM] Workshop on Set Theory (part of ISLA 2010), Hyderabad (India), 25-29 Jan 2010   Benedikt Loewe
• [FOM] 364:Anticipation Function Games/Largest Cardinals/simplified   Harvey Friedman
• [FOM] Truth definitions   T.Forster at dpmms.cam.ac.uk
• [FOM] Imre Ruzsa Memorial Conference   Andras Mate
• [FOM] Only one proof   Henry Cohn
• [FOM] Only one proof   Robert Black
• [FOM] An intuitionistic query   Frank Waaldijk
• [FOM] Only one proof   joeshipman at aol.com
• [FOM] Truth definitions   rgheck
• [FOM] An intuitionistic query   rgheck
• [FOM] Truth definitions   Allen Hazen
• [FOM] An intuitionistic query   Robert Lubarsky
• [FOM] Only one proof   Timothy Y. Chow
• [FOM] Only one proof   MELVYN NATHANSON
• [FOM] Arnold Neumaier's question   Neil Tennant
• [FOM] Truth definitions   Aatu Koskensilta
• [FOM] An intuitionistic query   Arnold Neumaier
• [FOM] Only one proof (fwd)   John Baldwin
• [FOM] Only one proof   Vaughan Pratt
• [FOM] Reverse Mathematics Workshop   Damir Dzhafarov
• [FOM] Truth definitions   praatika at mappi.helsinki.fi
• [FOM] Only one proof   Rob Arthan
• [FOM] An intuitionistic query   rgheck
• [FOM] An intuitionistic query   Thomas Forster
• [FOM] Only one proof   Timothy Y. Chow
• [FOM] Only one proof   Vaughan Pratt
• [FOM] An intuitionistic query   Robert Lubarsky
• [FOM] Only one proof   MELVYN NATHANSON
• [FOM] Apology for treatment of Turing   John Kadvany
• [FOM] 2012 - THE ALAN TURING YEAR   S Barry Cooper
• [FOM] New Proof of Fundamental Theorem of Arithmetic   joeshipman at aol.com
• [FOM] New Proof of Fundamental Theorem of Arithmetic   joeshipman at aol.com
• [FOM] Quine and the Principle of Abstraction   Alex Blum
• [FOM] Job announcement for FOM list   Thomas Strahm
• [FOM] New Proof of Fundamental Theorem of Arithmetic   Franklin Vera Pacheco
• [FOM] Only one proof   Timothy Y. Chow
• [FOM] [CiE] COMPUTABILITY IN EUROPE 2010: Programs, Proofs, Processes - Ponta Delgada (Azores), Portugal, June 30 to July 5 2010   CiE
• [FOM] LICS Newsletter 123   Stephan Kreutzer
• [FOM] Rutgers MAMLS, October 23-25, 2009   Joel David Hamkins
• [FOM] An intuitionistic query   Thomas Lord
• [FOM] Proofs in Computability Theories   Steve Stevenson
• [FOM] New Proof of Fundamental Theorem of Arithmetic   Vaughan Pratt
• [FOM] Only one proof   Rob Arthan
• [FOM] New Proof of Fundamental Theorem of Arithmetic   Vaughan Pratt
• [FOM] Quine and the Principle of Abstraction   Chris Gray
• [FOM] World Congress and School of Universal Logic, Lisbon 2010   BEZIAU Jean-Yves
• [FOM] An ordinal calculator is available   Paul Budnik
• [FOM] Only one proof   Vaughan Pratt
• [FOM] New Proof of Fundamental Theorem of Arithmetic   joeshipman at aol.com
• [FOM] New Proof of Fundamental Theorem of Arithmetic   joeshipman at aol.com
• [FOM] Proofs in Computability Theories   Andrej Bauer
• [FOM] Quine and the Principle of Abstraction   Alex Blum
• [FOM] An intuitionistic query   Arnold Neumaier
• [FOM] Proofs in Computability Theories   Antonino Drago
• [FOM] New Proof of Fundamental Theorem of Arithmetic   Vaughan Pratt
• [FOM] Only one proof   Vaughan Pratt
• [FOM] Proofs in Computability Theories   Andrej Bauer
• [FOM] Quine and the Principle of Abstraction   rgheck
• [FOM] An intuitionistic query   rgheck
• [FOM] Thomas Lord's intuitionistic query   Andreas Blass
• [FOM] Proofs in Computability Theories   Carl Mummert
• [FOM] Proofs in Computability Theories   Antonino Drago
• [FOM] Quine and the Principle of Abstraction   Alex Blum
• [FOM] Proofs in Computability Theories   Aatu Koskensilta
• [FOM] Only one proof   Timothy Y. Chow
• [FOM] MWPMP 10. Program   Michael Detlefsen
• [FOM] Proofs in Computability Theories   Andrej Bauer
• [FOM] Quine and the Principle of Abstraction   rgheck
• [FOM] Only one proof   A. MANI
• [FOM] Only one proof   Vaughan Pratt
• [FOM] [CiE] CiE 2010 in Azores - First Call for Papers   CiE
• [FOM] Proofs in Computability Theories   Daniel Méhkeri
• [FOM] banach-tarski paradox   Monroe Eskew
• [FOM] Proofs in Computability Theories   Andrej Bauer
• [FOM] 365:Free Reductions and Large Cardinals 1   Harvey Friedman
• [FOM] banach-tarski paradox   joeshipman at aol.com
• [FOM] New Proof of Fundamental Theorem of Arithmetic   joeshipman at aol.com
• [FOM] banach-tarski paradox   Monroe Eskew
• [FOM] New Proof of Fundamental Theorem of Arithmetic   Vaughan Pratt
• [FOM] New Proof of Fundamental Theorem of Arithmetic   joeshipman at aol.com
• [FOM] New Proof of Fundamental Theorem of Arithmetic   George McNulty
• [FOM] New Proof of Fundamental Theorem of Arithmetic   joeshipman at aol.com
• [FOM] New Proof of Fundamental Theorem of Arithmetic   Thomas Lord
• [FOM] New Proof of Fundamental Theorem of Arithmetic   Vaughan Pratt
• [FOM] Standard Language of Euclid   A. MANI
• [FOM] Standard Language of Euclid   Peter LeFanu Lumsdaine
• [FOM] Standard Language of Euclid   Sara L. Uckelman
• [FOM] Standard Language of Euclid   joeshipman at aol.com
• [FOM] The Reasoner 3(10) available for download   Jon Williamson
• [FOM] 366:Free Reductions and Large Cardinals/polished   Harvey Friedman
• [FOM] Standard Language of Euclid   Andrej Bauer
• [FOM] Standard Language of Euclid   Grant Olney Passmore
• [FOM] Polynomial Games   Harvey Friedman
• [FOM] Polynomial Games   Harvey Friedman
• [FOM] Standard Language of Euclid   Timothy Y. Chow
• [FOM] Standard Language of Euclid   A. Mani
• [FOM] Call_for_papers_CiE2010   Fernando Ferreira

Last message date: Wed Sep 30 22:35:23 EDT 2009
Archived on: Thu Oct 1 13:39:57 EDT 2009

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