science.mathematics.fom (thread)

ESSLLI'05 Student Session: Final Call for Papers and Posters, Judit Gervain
Pointer:Strict Reverse Mathematics, Harvey Friedman
Peter Smith's draft book on Godel, Peter Smith
generalizing results to higher quantifier complexity, Curtis Franks
Logic in Hungary - 2005, Istvan Nemeti
CFP - Advanced Studies in Mathematics and Logic, Giandomenico Sica
ACKERMANN AWARD - Second Call for Submissions, Andrzej Murawski
CSL'05 - Second Call for Papers, Andrzej Murawski
Soare's article in the BSL, Martin Davis
- Re: Soare's article in the BSL, Vladik Kreinovich
- Soare's article in the BSL, Vladik Kreinovich
- Re: Soare's article in the BSL, Timothy Y. Chow
- Re: Re: Soare's article in the BSL, Vladik Kreinovich
Beth Dissertation Prize: call for submissions, Alberto Policriti
ALC9, Asian Logic Conference 2005
Fwd: Re: analysis and set theory, D.R. MacIver
Atlanta Meeting, Harvey Friedman
- Message not available
  - Re: Atlanta Meeting, Stephen Cook
- Message not available
  - Atlanta Meeting -- misinformation, Stephen G Simpson
    - Message not available
    - Re: Atlanta Meeting -- misinformation, Harvey Friedman
- Re: Atlanta Meeting, Timothy Y. Chow
message of Genaro for FOM, genarojm-O7YOjstsWdAnIdkPFISJ0A
Re: Set Theory and Analysis, praatika-pAfYPePEUuXPzSBurWbDF/UpdFzICT1y
- Message not available
  - Re: Set Theory and Analysis, D.R. MacIver
BOOLE'S CONTRIBUTIONS TO ANALYSIS, John Corcoran
- Re: BOOLE'S CONTRIBUTIONS TO ANALYSIS, Vladimir Komendantsky
- Set Theory and Analysis, D.R. MacIver
  - Tarski's limerick, charles silver
- Re: BOOLE'S CONTRIBUTIONS TO ANALYSIS, J.J.Green
Structures and Deduction Workshop CfP - ICALP '05 Satellite, Paola Bruscoli
[agents] LCMAS @ IJCAI05, Wiebe van der Hoek
The moderator will be away, Martin Davis
- Message not available
  - Cantor Bendixson and the Axiom of Replacement, D.R. MacIver
    - Message not available
    - Re: Cantor Bendixson and the Axiom of Replacement, D.R. MacIver
recent biography of Alfred Tarski, Peter Smith