science.mathematics.fom (thread)

BOOLE AND THE EMPTY SET, John Corcoran
Last Call for Proposals, ESSLLI 2005, Edinburgh, Paul Dekker
BUFFALO LOGIC COLLOQUIUM 2004-2005 SECOND SUMMER ANNOUNCEMENT, John Corcoran
220:Unexpected Pi01 statements/more, friedman-hyEunQjjh3V1yXs8afm8B5Vzexx5G7lz
Re: Goodstein sequence is not provable in PA, Andreas Weiermann
n-categories, David Corfield
ESSLLI05 - Registration Closing, Carlos Areces
Automated bijective proofs, Timothy Y. Chow
- Message not available
  - Re: Automated bijective proofs, Timothy Y. Chow
- Message not available
  - Re: Automated bijective proofs, Jacques Carette
    - Message not available
    - Re: Automated bijective proofs, Timothy Y. Chow
    - Message not available
    - Re: Re: Automated bijective proofs, Jacques Carette
- Re: Automated bijective proofs, Andreas Weiermann
- Re: Automated bijective proofs, Mitchell Harris
provably recursive functions, Andreas Weiermann
Excluded middle & cardinality of the reals, Michael Carroll
- Message not available
  - Re: Excluded middle & cardinality of the reals, Matthew Frank
    - Message not available
    - Re: Excluded middle & cardinality of the reals, Keith Brian Johnson
    - Message not available
    - Re: Excluded middle & cardinality of the reals, Matthew Frank
- Re: Excluded middle & cardinality of the reals, jvoosten-ivFytHEg0Jfz+pZb47iToQ
- Re: Excluded middle & cardinality of the reals, Andrej Bauer
- Re: Excluded middle & cardinality of the reals, Peter Schuster
- Re: Excluded middle & cardinality of the reals, Mark van Atten
  - Message not available
    - Re: Re: Excluded middle & cardinality of the reals, Giuseppina Ronzitti
Re: Lucas, Penrose, and the Church-Kleene ordinal, Timothy Y. Chow
soliciting help with a precise definition, William . Piper-UWkI3MzZw7X2fBVCVOL8/A
RE: [HM] Cantor's diagonal proof, Alexander Zenkin
- Message not available
  - Re: RE: [HM] Cantor's diagonal proof, Keith Brian Johnson
RE: New Pi01 Statements, Dmytro Taranovsky
LaTeX for Logicians (again), Peter Smith
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
Workshop Announcement, David Farmer
219:Typos in Unexpected Pi01 statements, Harvey Friedman
confirm 598af9c37cacac12b62305cae7d0f47f34abad20, fom-request-+I05ep9qJbk3uPMLIKxrzw
confirm 565d5958fa5a6cc4d7879de38039cd44a4a6e662, fom-request-+I05ep9qJbk3uPMLIKxrzw