November 2004 Archives by thread

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

Starting: Mon Nov 1 07:31:05 EDT 2004
Ending: Tue Nov 30 21:17:29 EDT 2004
Messages: 53

• [FOM] CiE 2005 - Call for papers   S B Cooper
• [FOM] workshop on classification of countable structures   Peter Cholak
• [FOM] FOM: Reverse math and analysis   Jeff Hirst
• [FOM] 223:Better Pi01 Independence   Harvey Friedman
• [FOM] Proof-sketch: Why NP is not P   Lew Gordeew
• [FOM] ESSLLI'05 Student Session Call for Papers   Judit Gervain
• [FOM] Why NP is not P   Lew Gordeew
• [FOM] 224:Prettier Pi01 Independence   Harvey Friedman
• [FOM] 225:Better Pi01 Independence   Harvey Friedman
• [FOM] Calculemus 2005   Jacques Carette
• [FOM] LPAR'04: Deadline approaching   Prof. Franz Baader
• [FOM] EASSS'05: call for tutorials   Wiebe van der Hoek
• [FOM] 226:Nicer Pi01 Independence   Harvey Friedman
• [FOM] ICML 2005, Bonn, Germany - call for tutorial (deadline: Febr 11, 2004) and workshop (Deadline: Dec 17, 2004) proposals   lauth
• [FOM] CCA 2005: mark your calendars   Vladik Kreinovich
• [FOM] 227:Progress on Pi01 Independence   Harvey Friedman
• [FOM] 228:Further Progress on Pi01 Independence   Harvey Friedman
• [FOM] 229:More Progress in Pi01 Independence   Harvey Friedman
• [FOM] Call for Abstracts: 2005 ASL Spring Meeting, San Francisco, March 23-27   Richard Zach
• [FOM] 230:Piecewise Linear Pi01 Independence   Harvey Friedman
• [FOM] 231:More Piecewise Linear Pi01 Independence   Harvey Friedman
• [FOM] 232:More Piecewise Linear Pi01 Independence/Correction   Harvey Friedman
• [FOM] 233:Neatening Piecewise Linear Pi01 Independence   Harvey Friedman
• [FOM] 234:Affine Pi01 Independence   Harvey Friedman
• [FOM] Re:Affine Pi01 Independence   Harvey Friedman
• [FOM] Shapiro on natural and formal languages   Arnon Avron
  • [FOM] Shapiro on natural and formal languages   Roger B Jones
    • [FOM] Shapiro on natural and formal languages   William Tait
    • [FOM] Shapiro on natural and formal languages   hendrik at pooq.com
  • [FOM] Shapiro on natural and formal languages   Vladimir Sazonov
  • [FOM] Natural and Formal Languages and Reasoning   henriknordmark at mac.com
• [FOM] Work on Tarksi Closures?   Rex Butler
• [FOM] Shapiro on natural and formal languages   JoeShipman at aol.com
  • [FOM] "Geometrical ways of reasoning" and visual proofs   Peter Smith
  • [FOM] Shapiro on natural and formal languages   Vladimir Sazonov
• [FOM] Re: Shapiro on natural and formal languages   Timothy Y. Chow
• [FOM] Shapiro on natural and formal languages   A.P. Hazen
• [FOM] Shapiro on natural and formal languages   mjmurphy
• [FOM] Re: Shapiro on natural and formal languages   John Corcoran
• [FOM] 235:Neatening Affine Pi01 Independence   Harvey Friedman
• [FOM] "Diagonal arguments relativize"   Timothy Y. Chow
• [FOM] CCA 2005 - First Call for Papers   Peter Hertling
• [FOM] Re: Shapiro on natural and formal languages   Timothy Y. Chow
• [FOM] Re: Shapiro on natural and formal languages   JoeShipman at aol.com
  • [FOM] Re: Shapiro on natural and formal languages   Harvey Friedman
  • [FOM] Re: Shapiro on natural and formal languages   Timothy Y. Chow
  • [FOM] Re: Shapiro on natural and formal languages   Vladimir Sazonov
• [FOM] proof theory cousre   Peter Cholak
• [FOM] decidability of intuitionistic propositional logic   Neil Tennant
• [FOM] Re: Shapiro on natural and formal languages   JoeShipman at aol.com
• [FOM] Historical query (on the very idea of a formalized theory)   Peter Smith
• [FOM] Re: Shapiro on natural and formal languages   JoeShipman at aol.com
• [FOM] Fast-growing functions and P = NP   Timothy Y. Chow

Last message date: Tue Nov 30 21:17:29 EDT 2004
Archived on: Fri Mar 11 12:50:52 EDT 2005

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