May 2001 Archives by author

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

Starting: Tue May 1 01:52:21 EDT 2001
Ending: Thu May 31 16:11:11 EDT 2001
Messages: 63

FOM: Re: Re: finite axiomatization and conservative... Peter Apostoli
FOM: David Deutsch's "The Fabric of Reality" Andrej Bauer
FOM: New member/ Stone-Weierstrass theorem Andrej Bauer
FOM: Henkin's Induction paper Julio Gonzalez Cabillon
FOM: Kreisel: Objects and objectivity Michael Detlefsen
FOM: reflexivity of PA Michael Detlefsen
FOM: finite axiomatization and conservative extension H. Enderton
FOM: Henkin's Induction paper H. Enderton
FOM: Forgetful functors (query) Stephen Fenner
FOM: Re: Kreisel's Realism Thomas Forster
FOM: Finitely axiomatizable theories of sets Thomas Forster
FOM: Finitely axiomatizable theories of sets Thomas Forster
FOM: Unscientific survey Thomas Forster
FOM: Kreisel's realism Miriam Franchella
FOM: comprehension principle and Frege's V axiom Miriam Franchella
FOM: 106:Degenerative Cloning Harvey Friedman
FOM: Restricted Provability Harvey Friedman
FOM: Restricted Provability Harvey Friedman
FOM: Degenerative Cloning Fix Harvey Friedman
FOM: Re: Degenerative Cloning/Deterministic Formulations Harvey Friedman
FOM: Degenerative Growth Harvey Friedman
FOM: Finitely axiomatizable fragments of set theory Harvey Friedman
FOM: 107:Automated Proof Checking Harvey Friedman
FOM: Russell01 meeting abstract Harvey Friedman
FOM: Russell01 meeting abstract Harvey Friedman
FOM: A QUESTION about Decidability of S2S William Ian Gasarch
FOM: New member/ Stone-Weierstrass theorem Klaas Pieter Hart
FOM: Re: finite axiomatization and conservative... A.P. Hazen
FOM: Re: Kreisel's Realism A.P. Hazen
FOM: Unscientific survey Jeff Hirst
FOM: Fw: the 3 circles case / Re: 106:Degenerative Cloning Wlodzimierz Holsztynski
FOM: Comments regarding the Friedman's "Degenerative Cloning" Wlodzimierz Holsztynski
FOM: Finitely axiomatizable fragments of set theory JoeShipman at aol.com
FOM: Finitely axiomatizable theories of sets JoeShipman at aol.com
FOM: Finite axiom systems for sets JoeShipman at aol.com
FOM: Unscientific survey JoeShipman at aol.com
FOM: Re: 107:Automated Proof Checking Roger Bishop Jones
FOM: Finite axiom systems for sets Kanovei
FOM: Re: comprehension principle and Frege's V axiom Jeffrey Ketland
FOM: Infinite interpretation of "Liar", "Barber", etc. Jeffrey Ketland
FOM: Henkin's Induction paper Vladik Kreinovich
FOM: Jensen Retirement Colloquium Benedikt Loewe
FOM: New book on foundations John Mayberry
FOM: Re: Kreisel's Realism 33142716300 PALMA at POLY.POLYTECHNIQUE.FR
FOM: Finitely axiomatizable fragments of set theory Charles Parsons
FOM: Finitely axiomatizable fragments of set theory Richard G. Heck, Jr.
FOM: comprehension principle and Frege's V axiom Richard G. Heck, Jr.
FOM: Semantical Paradoxes Ralf-Dieter Schindler
FOM: Logic Colloquium 2001 -- extended deadline Stephen G Simpson
FOM: school in formal languages and applications Stephen G Simpson
FOM: Logic Colloquium 2001 Stephen G Simpson
FOM: Kreisel's realism William Tait
FOM: Re: Kreisel's Realism William Tait
FOM: Kreisel's realism Alasdair Urquhart
FOM: Russell01 meeting abstract Alasdair Urquhart
FOM: 107:Automated Proof Checking Freek Wiedijk
FOM: New member/ Stone-Weierstrass theorem Karim Zahidi
FOM: IEEE Data Mining 2001: Call for Papers Ning Zhong
FOM: Infinite interpretation of "Liar", "Barber", etc. alexzen
FOM: Kreisel's realism scerir
FOM: Henkin's Induction paper charles silver
FOM: Henkin's Induction paper charles silver
FOM: Kreisel's realism p a l m a {appgs at [33](0)142716300}

Last message date: Thu May 31 16:11:11 EDT 2001
Archived on: Fri Mar 11 12:49:19 EDT 2005

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

This archive was generated by Pipermail 0.09 (Mailman edition).