November 2001 Archives by date

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

Starting: Fri Nov 2 22:13:42 EDT 2001
Ending: Fri Nov 30 15:01:35 EDT 2001
Messages: 18

• FOM: recursive definitions   Peter Manolios
• FOM: essay contest on the history and philosophy of computability   Stephen G Simpson
• FOM: Re: recursive definitions   Hrant Marandjian
• FOM: Current Status of f.o.m. #1   Harvey Friedman
• FOM: computable ordered nonabelian group?   Matthew Frank
• FOM: computable ordered nonabelian group?   JoeShipman at aol.com
• FOM: computable ordered nonabelian group   Matthew Frank
• FOM: computable non-orderable abelian group?   Kanovei
• FOM: re:computable, non-abelian ordered group   Dave Marker
• FOM: correction to previous post   Dave Marker
• FOM: computable non-orderable abelian group?   Jeff Hirst
• FOM: Logic Colloquium 2002 (Muenster)   Stephen G Simpson
• FOM: computational linguistics conference   Stephen G Simpson
• FOM: Query on 1st-order theory of fields   JoeShipman at aol.com
• FOM: 4th International Workshop on Implicit Computational Complexity   Stuart A. Kurtz
• FOM: Model Theory Meeting in Bogota   villavec at matematicas.unal.edu.co
• FOM: conference in honor of Mycielski   Stephen G Simpson
• FOM: Model Theory Meeting in Bogota - Second Announcement   A. Villaveces

Last message date: Fri Nov 30 15:01:35 EDT 2001
Archived on: Fri Mar 11 12:49:25 EDT 2005

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