August 2007 Archives by subject

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

Starting: Wed Aug 1 05:17:19 EDT 2007
Ending: Fri Aug 31 17:26:04 EDT 2007
Messages: 111

• [FOM] 2nd UNILOG and Universal Logic Prize 2007   BEZIAU Jean-Yves
• [FOM] Axiom of Choice and separation   Saurav Bhaumik
• [FOM] Axiom of Choice and separation   K. P. Hart
• [FOM] Axiom of Choice and separation   Saurav Bhaumik
• [FOM] Axiom of Choice and separation   K. P. Hart
• [FOM] Axiom of Choice and separation   K. P. Hart
• [FOM] Boiling down proofs (ignoring "undergraduates")   joeshipman at aol.com
• [FOM] Call for participation: Second Indian Winter School on Logic   Sara L. Uckelman
• [FOM] closing thread on what undergraduates will know   Martin Davis
• [FOM] Completability of Cumulative Heirarchy   Roger Bishop Jones
• [FOM] Conference on Computability, Complexity and Randomness 2008   Liang Yu
• [FOM] cracking the cube   Joao Marcos
• [FOM] defining the integers   Dave Marker
• [FOM] Dirichlet's theorem; boiling down proofs   joeshipman at aol.com
• [FOM] Dirichlet's theorem; boiling down proofs   Timothy Y. Chow
• [FOM] Dirichlet's theorem; boiling down proofs   Wayne Aitken
• [FOM] Dirichlet's theorem; boiling down proofs   Timothy Y. Chow
• [FOM] Dirichlet's theorem; boiling down proofs   Timothy Y. Chow
• [FOM] Dirichlet's theorem; boiling down proofs   Jacques Carette
• [FOM] Dirichlet's theorem; boiling down proofs   Wayne Aitken
• [FOM] FMCAD 2007 Call for Participation   by way of Martin Davis <martin at eipye.com>
• [FOM] FOM Digest, Vol 56, Issue 10   joeshipman at aol.com
• [FOM] Fregean set theory and replacement   John McCarthy
• [FOM] Fregean set theory and replacement   William Tait
• [FOM] Fwd: Recursion Theory and Goedel's theorems   Peter Michael Gerdes
• [FOM] Fwd: Re: Replacement   Alex Simpson
• [FOM] Fwd: Re: Replacement   A. Mani
• [FOM] Hilbert and Beer Bottles   John Baldwin
• [FOM] Hilbert and Beer Bottles   William Tait
• [FOM] Hilbert and Beer Bottles   Robert Black
• [FOM] Hilbert and Beer Bottles   praatika at mappi.helsinki.fi
• [FOM] infinite logical derivations   Ron Rood
• [FOM] infinite logical derivations   praatika at mappi.helsinki.fi
• [FOM] infinite logical derivations   Kreinovich, Vladik
• [FOM] infinite logical derivations   praatika at mappi.helsinki.fi
• [FOM] infinite logical derivations   Noam Zeilberger
• [FOM] infinite logical derivations   Adam Kolany
• [FOM] infinite logical derivations   Stephen G Simpson
• [FOM] infinite logical derivations   Alex Simpson
• [FOM] Infinite proofs   Alex Simpson
• [FOM] Infinite proofs   praatika at mappi.helsinki.fi
• [FOM] Infinite proofs   Ron Rood
• [FOM] Medieval debate on the universal proposition   Buckner
• [FOM] Medieval debate on the universal proposition   John McCarthy
• [FOM] Question about Sigma-n classes in ZFC   owen at math.wisc.edu
• [FOM] Recursion Theory and Goedel's theorems   Arnon Avron
• [FOM] Recursion Theory and Goedel's theorems   David Auerbach
• [FOM] Recursion Theory and Goedel's theorems   Bill Taylor
• [FOM] Recursion Theory and Goedel's theorems   H. Enderton
• [FOM] Recursion Theory and Goedel's theorems   Charles Silver
• [FOM] Recursion Theory and Goedel's theorems   Peter Michael Gerdes
• [FOM] Recursion Theory and Goedel's theorems   praatika at mappi.helsinki.fi
• [FOM] Recursion Theory and Goedel's theorems   Charles Silver
• [FOM] Recursion Theory and Goedel's theorems   Arnon Avron
• [FOM] Recursion Theory and Goedel's theorems   praatika at mappi.helsinki.fi
• [FOM] Recursion Theory and Goedel's theorems   Richard Heck
• [FOM] Replacement   Thomas Forster
• [FOM] Replacement   Harvey Friedman
• [FOM] Replacement   Jan Pax
• [FOM] Replacement   Harvey Friedman
• [FOM] Replacement   Saurav Bhaumik
• [FOM] Replacement   Thomas Forster
• [FOM] Replacement   Jan Pax
• [FOM] Replacement   Andrej Bauer
• [FOM] Replacement   Timothy Y. Chow
• [FOM] Replacement   Robert Black
• [FOM] Replacement   Harvey Friedman
• [FOM] Replacement   Thomas Forster
• [FOM] Replacement   Rupert McCallum
• [FOM] Replacement   Bill Taylor
• [FOM] Replacement   Jan Pax
• [FOM] Replacement   Thomas Forster
• [FOM] Replacement   Thomas Forster
• [FOM] Replacement   Rupert McCallum
• [FOM] Replacement   Rupert McCallum
• [FOM] Replacement   Rupert McCallum
• [FOM] Replacement   Robert M. Solovay
• [FOM] Replacement   Timothy Y. Chow
• [FOM] Replacement   Robert M. Solovay
• [FOM] Replacement   Thomas Forster
• [FOM] Replacement   Thomas Forster
• [FOM] Replacement   Lawrence Stout
• [FOM] Replacement   Jan Pax
• [FOM] Replacement   Allen Hazen
• [FOM] Replacement   Aatu Koskensilta
• [FOM] Replacement   Alex Blum
• [FOM] Replacement   Bill Taylor
• [FOM] Replacement   A. Mani
• [FOM] Reply to Insall and Shipman on "100-year thesis" for computer proofs   Koen Vervloesem
• [FOM] Reply to Insall and Shipman on "100-year thesis" for computer proofs   Timothy Y. Chow
• [FOM] Reply to Insall on "100-year thesis"   joeshipman at aol.com
• [FOM] S4 + ZFC   Michael Carroll
• [FOM] S4 + ZFC   Rupert McCallum
• [FOM] S4 + ZFC   Kreinovich, Vladik
• [FOM] S4 + ZFC   Kreinovich, Vladik
• [FOM] S4 + ZFC   Allen Hazen
• [FOM] S4 + ZFC   Robert Lubarsky
• [FOM] S4 + ZFC   Michael Carroll
• [FOM] S4 + ZFC   Dana Scott
• [FOM] S4 + ZFC   Kevin Watkins
• [FOM] S4 + ZFC   Michael Carroll
• [FOM] S4 + ZFC   Andrew Bacon
• [FOM] set representation   Marnes
• [FOM] Sigma-1 Completeness   Richard Heck
• [FOM] Sigma-1 Completeness   Robert M. Solovay
• [FOM] Sigma-1 Completeness   Robert M. Solovay
• [FOM] Sigma-n classes in ZFC once again   owen at math.wisc.edu
• [FOM] suggestions for participants in an ongoing thread from the moderator   Martin Davis
• [FOM] The regular heptadecagon   Thomas Forster
• [FOM] The regular heptadecagon   Ian Grant
• [FOM] The regular heptadecagon   Jesse Alama

Last message date: Fri Aug 31 17:26:04 EDT 2007
Archived on: Fri Aug 31 21:19:08 EDT 2007

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