science.mathematics.fom (date)

science.mathematics.fom (date)

June 28, 2005

Proof via equiconsistency of ZFC with ZFC + ~ACR?, Rex Butler

June 27, 2005

Re: Question on Ordinal Notation, Stephen Fenner

June 26, 2005

Question on Ordinal Notation, Dmytro Taranovsky
MKM 2005 Program and Final Call for Participation (Early Registration Deadline ends Monday), Michael Kohlhase

June 17, 2005

moderator in Europe, Martin Davis

June 16, 2005

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

June 13, 2005

LPAR last CFP, geoff-RUaG/XBVoqD2fBVCVOL8/A
[ESSLLI2006] Last Call for Courses and Workshop Proposals, Carlos Areces

June 10, 2005

Translating Frege's Grundgesetze: Metafont, Richard Heck
Re: history of the 'sum and product' riddle, John McCarthy

June 09, 2005

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

June 08, 2005

Re: Cantor's Concept of "Mannigfaltigkeitslehre", Alexei E Angelides
PHINEWS Bulletin, June 2005 (redirected from Vincent F. Hendricks), Martin Davis

June 07, 2005

Cantor's Concept of "Mannigfaltigkeitslehre", hao zhaokuan
FINAL CALL FOR ESSLLI05 registration, Fairouz Kamareddine

June 05, 2005

Re: Re. Is ConQ provable in Q?, Andrew Boucher

June 04, 2005

Re. Is ConQ provable in Q?, mdetlef1-b3SXGvC/Fnw

June 03, 2005

Begriffsschrift Editor, Philip Ebert
FOM: BUFFALO LOGIC COLLOQUIUM 2005-6 THIRTY-SIXTH YEAR: SUMMER ANNOUNCEMENT, John Corcoran

June 02, 2005

[ESSLLI 2006] Second Call for Course and Workshop Proposals, Carlos Areces
Re: Is Con_Q provable in Q?, Andrew Boucher

News | FAQ | advertise