science.mathematics.fom (thread)

Proof via equiconsistency of ZFC with ZFC + ~ACR?, Rex Butler
Question on Ordinal Notation, Dmytro Taranovsky
- Re: Question on Ordinal Notation, Stephen Fenner
MKM 2005 Program and Final Call for Participation (Early Registration Deadline ends Monday), Michael Kohlhase
moderator in Europe, Martin Davis
save your offprints?, Peter Cholak
Online resource in logic, Alex Sakharov
Calculemus 2005 Call for Participation, William Farmer
numbered posting list 1-249, Harvey Friedman
update on Reverse Mathematics, Stephen G Simpson
LPAR last CFP, geoff-RUaG/XBVoqD2fBVCVOL8/A
[ESSLLI2006] Last Call for Courses and Workshop Proposals, Carlos Areces
Translating Frege's Grundgesetze: Metafont, Richard Heck
249:Rich Antichains and Large Cardinals, Harvey Friedman
CSL'05 Call for Participation, Andrzej Murawski
history of the 'sum and product' riddle, Hans van Ditmarsch
- Message not available
  - Re: history of the 'sum and product' riddle, John McCarthy
PHINEWS Bulletin, June 2005 (redirected from Vincent F. Hendricks), Martin Davis
Cantor's Concept of "Mannigfaltigkeitslehre", hao zhaokuan
- Re: Cantor's Concept of "Mannigfaltigkeitslehre", Alexei E Angelides
FINAL CALL FOR ESSLLI05 registration, Fairouz Kamareddine
Re. Is ConQ provable in Q?, mdetlef1-b3SXGvC/Fnw
- Message not available
  - Re: Re. Is ConQ provable in Q?, Andrew Boucher
Begriffsschrift Editor, Philip Ebert
FOM: BUFFALO LOGIC COLLOQUIUM 2005-6 THIRTY-SIXTH YEAR: SUMMER ANNOUNCEMENT, John Corcoran
[ESSLLI 2006] Second Call for Course and Workshop Proposals, Carlos Areces
Re: Is Con_Q provable in Q?, Andrew Boucher