science.mathematics.fom (thread)

indepence and consistency results of set theory, F.A.Muller
Re: The independence of Extensionality, Ali Enayat
independence of extensionality, Thomas Forster
workshop on implemented classical logic programs, martin-Q1ZVUissX3MAvxtiuMwx3w
CCA 2005 - Third Call for Papers, Peter Hertling
Question on Infinite Sequences of Ordinals, Dmytro Taranovsky
Help please on Friedman post., Bill Taylor
moderator will be away, Martin Davis
Lecture Abstracts, Harvey Friedman
research positions 2005-8, Carlos Martin-Vide
PHINEWS / PHILOG Bulletin, April 2005, Vincent F. Hendricks
Re: Alleged quote from Hilbert (Martin Davis), John Corcoran
CiE 2005: Call for Participation, S B Cooper
Re: alleged Hilbert quote, Martin Davis
alleged quote from Hilbert, Martin Davis
- Re: alleged quote from Hilbert, Jeffrey Ketland
- Message not available
  - Re: alleged quote from Hilbert, Les Schaffer
- Message not available
  - Re: alleged quote from Hilbert, Roger Bishop Jones
    - Message not available
    - Re: alleged quote from Hilbert, Richard Heck
    - Message not available
    - Re: alleged quote from Hilbert, John McCarthy
- Message not available
  - Re: alleged quote from Hilbert, Richard Zach
- Re: alleged quote from Hilbert, Vladimir Sazonov
REMINDER: ICCL Summer School: Logic-based Knowledge Representation, Bertram Fronhoefer
when did set theory prevail, A.J. Franco de Oliveira
Enumerations, Studtmann, Paul