July 2004 Archives by subject

• Messages sorted by: [ thread ] [ author ] [ date ]
• More info on this list...

Starting: Thu Jul 1 14:06:31 EDT 2004
Ending: Sat Jul 31 01:09:15 EDT 2004
Messages: 72

• [FOM] A Case for the Axiom of Determinacy   Dmytro Taranovsky
• [FOM] algebraic set theory site   Steve Awodey
• [FOM] Automatic theorem proving in trigonometry and synthetic geometry   Timothy Y. Chow
• [FOM] Automatic theorem proving in trigonometry and synthetic geometry   Andrej Bauer
• [FOM] Automatic theorem proving in trigonometry and synthetic geometry   Jeremy Clark
• [FOM] Automatic theorem proving in trigonometry and synthetic geometry   Mitchell Harris
• [FOM] Automatic theorem proving in trigonometry and synthetic geometry   Jeremy Clark
• [FOM] Automatic theorem proving in trigonometry and synthetic geometry   Mitchell Harris
• [FOM] Automatic theorem proving in trigonometry and synthetic geometry   Jeremy Clark
• [FOM] Re: Automatic theorem proving in trigonometry and synthetic geometry   Timothy Y. Chow
• [FOM] Re: Automatic theorem proving in trigonometry and synthetic geometry   Timothy Y. Chow
• [FOM] AXIOM SCHEMATA   John Corcoran
• [FOM] AXIOM SCHEMATA   Matthew Frank
• [FOM] AXIOM SCHEMATA   charles silver
• [FOM] AXIOM SCHEMATA   John McCarthy
• [FOM] AXIOM SCHEMATA   Neil Tennant
• [FOM] Re: AXIOM SCHEMATA   Dmytro Taranovsky
• [FOM] AXIOM SCHEMATA   Donald Stahl
• [FOM] AXIOM SCHEMATA   Neil Tennant
• [FOM] AXIOM SCHEMATA   Donald Stahl
• [FOM] AXIOM SCHEMATA   Neil Tennant
• [FOM] Re: AXIOM SCHEMATA   Jesse Alama
• [FOM] Axiom schemata   Andreas Blass
• [FOM] Re: AXIOM SCHEMATA   Timothy Y. Chow
• [FOM] Re: AXIOM SCHEMATA   Dmytro Taranovsky
• [FOM] AXIOM SCHEMATA   praatika at mappi.helsinki.fi
• [FOM] Between Russell's Twins and Tarski's Chimera   Segunai
• [FOM] BUFFALO LOGIC COLLOQUIUM 2004-5   by way of Martin Davis <martin at eipye.com>
• [FOM] BUFFALO LOGIC COLLOQUIUM : 5TH ANNOUNCEMENT   John Corcoran
• [FOM] CfP: EUMAS 2004 (2nd European Workshop on Multi-Agent Systems)   Wiebe van der Hoek
• [FOM] Conference on Logic, Computability and Randomness   Vladik Kreinovich
• [FOM] Dyson & Inexhaustibility, and Feferman   charles silver
• [FOM] Elementaricity of elementaricity   I. Natochdag
• [FOM] Elementaricity of elementaricity   Aatu Koskensilta
• [FOM] Excluded middle & cardinality of the reals   Matthew Frank
• [FOM] Extended Deadline - DRT 04   Vladik Kreinovich
• [FOM] Hanf's conjectures on finite axiomatizability   Santiago Bazerque
• [FOM] Hanf's conjectures on finite axiomatizability   Stephen G Simpson
• [FOM] Hanf's conjectures on finite axiomatizability   Santiago Bazerque
• [FOM] Hanf's conjectures on finite axiomatizability   I. Natochdag
• [FOM] Re: Henk's Characerization of Recusivity   Ali Enayat
• [FOM] Re: Henk's Characerization of Recusivity   Henk Csaba
• [FOM] Henk's Characterization of Recursivity   Ali Enayat
• [FOM] Henk's Characterization of Recursivity   Csaba Henk
• [FOM] Importance of Reverse Mathematics   Dmytro Taranovsky
• [FOM] Logic 2005 in India   R. Ramanujam
• [FOM] Mathematics and formalizability   Martin Davis
• [FOM] Mathematics and formalizability   Vladik Kreinovich
• [FOM] New Journal   Logical Methods in CS
• [FOM] Re: PA with a few symbols   Ali Enayat
• [FOM] PA with few symbols   Randall Holmes
• [FOM] Re: PA with few symbols   Timothy Y. Chow
• [FOM] Re: PA with few symbols   Vladimir Sazonov
• [FOM] Re: PA with few symbols   Timothy Y. Chow
• [FOM] Re: PA with few symbols   A.P. Hazen
• [FOM] PA with few symbols.   W.Taylor at math.canterbury.ac.nz
• [FOM] PA with few symbols.   Neil Tennant
• [FOM] PA with few symbols.   Vladimir Sazonov
• [FOM] PA with few symbols.   H. Enderton
• [FOM] Primitive Recursive Pigeons   A.P. Hazen
• [FOM] Primitive Recursive Pigeons   Stephen G Simpson
• [FOM] Question on the Scope of Mathematics   Dmytro Taranovsky
• [FOM] Question on the Scope of Mathematics   Aatu Koskensilta
• [FOM] Question on the Scope of Mathematics   Henrik Nordmark
• [FOM] Question on the Scope of Mathematics   Aatu Koskensilta
• [FOM] Re: Question on the Scope of Mathematics   Dmytro Taranovsky
• [FOM] Re: Question on the Scope of Mathematics   Vladik Kreinovich
• [FOM] Re: Question on the Scope of Mathematics   A.P. Hazen
• [FOM] Re: Question on the Scope of Mathematics - Enduring Value II   Robbie Lindauer
• [FOM] UNILOG'05 - Montreux   Alexandre Costa-Leite
• [FOM] Whitehead conjecture/problem   Colin McLarty
• [FOM] ZF vs NBG   A.P. Hazen

Last message date: Sat Jul 31 01:09:15 EDT 2004
Archived on: Fri Mar 11 12:50:46 EDT 2005

• Messages sorted by: [ thread ] [ author ] [ date ]
• More info on this list...