science.mathematics.fom (date)

science.mathematics.fom (date)

June 30, 2004

BOOLE AND THE EMPTY SET, John Corcoran
Re: Automated bijective proofs, Mitchell Harris
Re: Re: Excluded middle & cardinality of the reals, Giuseppina Ronzitti
Re: Excluded middle & cardinality of the reals, Mark van Atten
Last Call for Proposals, ESSLLI 2005, Edinburgh, Paul Dekker
Re: Excluded middle & cardinality of the reals, Peter Schuster
Re: Automated bijective proofs, Andreas Weiermann
Re: Re: Automated bijective proofs, Jacques Carette
Re: Automated bijective proofs, Timothy Y. Chow
Re: Automated bijective proofs, Jacques Carette
BUFFALO LOGIC COLLOQUIUM 2004-2005 SECOND SUMMER ANNOUNCEMENT, John Corcoran

June 29, 2004

Re: Automated bijective proofs, Timothy Y. Chow
220:Unexpected Pi01 statements/more, friedman-hyEunQjjh3V1yXs8afm8B5Vzexx5G7lz
Re: Goodstein sequence is not provable in PA, Andreas Weiermann
n-categories, David Corfield

June 28, 2004

Re: Excluded middle & cardinality of the reals, Andrej Bauer
ESSLLI05 - Registration Closing, Carlos Areces
Automated bijective proofs, Timothy Y. Chow

June 26, 2004

Re: Excluded middle & cardinality of the reals, Matthew Frank

June 25, 2004

Re: Excluded middle & cardinality of the reals, Keith Brian Johnson
Re: Excluded middle & cardinality of the reals, jvoosten-ivFytHEg0Jfz+pZb47iToQ

June 24, 2004

Re: Excluded middle & cardinality of the reals, Matthew Frank
Re: RE: [HM] Cantor's diagonal proof, Keith Brian Johnson

June 23, 2004

provably recursive functions, Andreas Weiermann
Excluded middle & cardinality of the reals, Michael Carroll
Re: Lucas, Penrose, and the Church-Kleene ordinal, Timothy Y. Chow
soliciting help with a precise definition, William . Piper-UWkI3MzZw7X2fBVCVOL8/A

June 21, 2004

RE: [HM] Cantor's diagonal proof, Alexander Zenkin

June 18, 2004

RE: New Pi01 Statements, Dmytro Taranovsky
LaTeX for Logicians (again), Peter Smith

June 17, 2004

EASSS Agents School: final cfp, Wiebe van der Hoek
Re: New Characterization of Recursivity, Csaba Henk
Martin Davis Colloquium in LISBON, José Félix Costa

June 16, 2004

Workshop Announcement, David Farmer

June 15, 2004

219:Typos in Unexpected Pi01 statements, Harvey Friedman

June 14, 2004

confirm 598af9c37cacac12b62305cae7d0f47f34abad20, fom-request-+I05ep9qJbk3uPMLIKxrzw
confirm 565d5958fa5a6cc4d7879de38039cd44a4a6e662, fom-request-+I05ep9qJbk3uPMLIKxrzw

News | FAQ | advertise