April 1999 Archives by date
Starting: Thu Apr 1 05:19:23 EDT 1999
Ending: Fri Apr 30 17:20:45 EDT 1999
Messages: 127
- FOM: more comments on ZFC, NF and NFU
Harvey Friedman
- FOM: clarification
Harvey Friedman
- FOM: power shift axiom scheme
Harvey Friedman
- FOM: power shift axiom scheme
Harvey Friedman
- FOM: power shift axiom scheme
Thomas Forster
- FOM: Alternatives to ZFC in actual use
Colin McLarty
- FOM: Alternatives to ZFC in actual use
Harvey Friedman
- FOM: Alternatives to ZFC in actual use
Colin McLarty
- FOM: Grothendieck and Friedman
Harvey Friedman
- FOM: Alternatives to ZFC in actual use
Kanovei
- FOM: Functors and Diophantus, reply to Kanovei
Colin Mclarty
- FOM: Refuting the Power Shift Axiom Scheme
JoeShipman at aol.com
- FOM: power shift axiom/correction
Harvey Friedman
- FOM: Another gap in Wiles's proof?
Joe Shipman
- FOM: power shift axiom
Randall Holmes
- FOM: consistency of NF from a measurable
Randall Holmes
- FOM: misunderstanding!
Randall Holmes
- FOM: Another gap in Wiles's proof?
Colin McLarty
- FOM: anti-foundationalism
Stephen Ferguson
- FOM: Turing, Gandy and the British Secret Service
Andrian-Richard-David Mathias
- FOM: Functorial Constructions and Wiles's proof
Joe Shipman
- FOM: report from expert
Harvey Friedman
- FOM: Re: Grothendieck and Friedman
Harvey Friedman
- FOM: logic and polylogic
Antonino.Drago at na.infn.it
- FOM: Grothendieck and Friedman
Colin McLarty
- FOM: report from expert
JoeShipman at aol.com
- FOM: Turing, Gandy and the British Secret Service
Thomas Forster
- FOM: 39:Large Cardinals/synthesis
Harvey Friedman
- FOM: report from expert
Colin McLarty
- FOM: Turing, Gandy and the British Secret Service
Martin Davis
- FOM: report from expert
Andrzej Trybulec
- FOM: Using Universes?
Harvey Friedman
- FOM: Expert error
Colin McLarty
- FOM: Call for help from number theorists
Joe Shipman
- FOM: re: FOM using universes?
Colin Mclarty
- FOM: report from expert
Martin Schlottmann
- FOM: Using Universes? The expert speaks again
Harvey Friedman
- FOM: FLT --- another expert speaks
Mathias
- FOM: Thinking with universes
Colin Mclarty
- FOM: Using Universes? The expert speaks again
Colin McLarty
- FOM: How not to use universes, queries
Colin McLarty
- FOM: Thinking and faking with universes
Harvey Friedman
- FOM: How not to use universes, queries
Kanovei
- FOM: Nice Idea! Thanks to Kanovei
Colin Mclarty
- FOM: Thinking and faking with universes
Colin Mclarty
- FOM: Nice Idea! Thanks to Kanovei
Kanovei
- FOM: Mizar proofs
Harvey Friedman
- FOM: Re: your mail
Andrzej Trybulec
- FOM: Reply to Trybulec on MIZAR project
Joe Shipman
- FOM: The Foundational Exposition Project/preamble
Harvey Friedman
- FOM: Nice Idea! Thanks to Kanovei
Till Mossakowski
- FOM: Thinking and faking with universes
Harvey Friedman
- FOM: Thinking and faking with universes
Colin McLarty
- FOM: Nice idea, fwd from Feferman
Colin McLarty
- FOM: Re:Thinking and faking with universes
Harvey Friedman
- FOM: Nice idea works
Colin McLarty
- FOM: Expert gets to the point
Colin McLarty
- FOM: Grothendieck universes; rampant f.o.m. amateurism
Stephen G Simpson
- FOM: Grothendieck universes; rampant f.o.m. amateurism
Martin Davis
- FOM: anti-foundationalism
Stephen G Simpson
- FOM: My wrap on universes
Colin McLarty
- FOM: Grothendieck universes
Stephen G Simpson
- FOM: Grothendieck universes
Colin McLarty
- FOM: grand conjectures
Harvey Friedman
- FOM: Grothendieck universes
Stephen G Simpson
- FOM: Grothendieck universes
Colin McLarty
- FOM: grand conjectures
Martin Davis
- FOM: Re: wrap on universes
Harvey Friedman
- FOM: Grothendieck universes
Stephen G Simpson
- FOM: Grothendieck universes
Colin Mclarty
- FOM: Grothendieck universes; Friedman/Grothendieck analogy
Stephen G Simpson
- FOM: Harvey Friedman's distinctions
Martin Davis
- FOM: intuitionist propositional logic
Robert Black
- FOM: Grothendieck universes
Kanovei
- FOM: intuitionist propositional logic
William Tait
- FOM: Grothendieck universes; Friedman/Grothendieck analogy
Martin Schlottmann
- FOM: anti-foundationalism
Volker Halbach
- FOM: intuitionist propositional logic
David J. Pym
- FOM: thanks
Robert Black
- FOM: Grothendieck verbatim
Colin McLarty
- FOM: Re: wrap on universes
Colin McLarty
- FOM: anti-foundationalism
Stephen G Simpson
- FOM: Ooops, irrational mistake
Colin McLarty
- FOM: Wiener's theorem; Grothendieck universes
Stephen G Simpson
- FOM: intuitionist propositional logic
Robert Tragesser
- FOM: Wiener's theorem; Grothendieck universes
Martin Davis
- FOM: Wiener's theorem; Grothendieck universes
Martin Davis
- FOM: Rota has died.
Robert Tragesser
- FOM: anti-foundationalism
Jerry Seligman
- FOM: intuitionist propositional logic
Thomas Forster
- FOM: Grothendieck universes
Colin McLarty
- FOM: anti-foundationalism
Volker Halbach
- FOM: Wiener's theorem
Stephen G Simpson
- FOM: Grothendieck universes; f.o.m. amateurism
Stephen G Simpson
- FOM: foundationalism or is it foundationalisms
Stewart Shapiro
- FOM: Mizar proofs
Andrzej Trybulec
- FOM: MIT News about Rota
Robert Tragesser
- FOM: Grothendieck on Bourbaki
Colin McLarty
- FOM: strike out?
Harvey Friedman
- FOM: faking Grothendieck universes
Stephen G Simpson
- FOM: Rota's Interview
Robert Tragesser
- friedman: FOM: strike out?
Colin Mclarty
- FOM: Kripke models
Schalekamp, Hendrik J.
- FOM: Alternatives to ZFC in actual use
Lawrence N. Stout
- FOM: faking Grothendieck universes; VNBG; Hartshorne; Bourbaki; Johnstone; Conway
Stephen G Simpson
- FOM: Some reflections on Rota
Walter Whiteley
- FOM: anti-foundationalism
Stephen G Simpson
- FOM: Some reflections on Rota
Stephen G Simpson
- FOM: Some reflections on Rota
Robert Tragesser
- FOM: translating Grothendieck; faking Grothendieck universes
Stephen G Simpson
- FOM: the ``mysterious dimension'' of Grothendieck universes
Stephen G Simpson
- FOM: second order logic and foundationalism
holmes at catseye.idbsu.edu
- FOM: Reply to Trybulec on MIZAR project
Andrzej Trybulec
- FOM: book by Leo Corry
Stephen G Simpson
- FOM: RE: Foundations of category theory
Lawrence N. Stout
- FOM: Foundations of category theory
Till Mossakowski
- FOM: finite sets
Stephen G Simpson
- FOM: small category theory
Stephen G Simpson
- FOM: small category theory
Stephen G Simpson
- FOM: small category theory
Carsten BUTZ
- FOM: Large and small
Joe Shipman
- FOM: Large and small
Martin Davis
- FOM: Large and small
Joe Shipman
- FOM: small category theory
Carsten BUTZ
- FOM: small category theory
Till Mossakowski
- FOM: small category theory
Stephen G Simpson
- FOM: category theory in NF (or NFU)
holmes at catseye.idbsu.edu
Last message date:
Fri Apr 30 17:20:45 EDT 1999
Archived on: Fri Mar 11 12:48:31 EDT 2005
This archive was generated by
Pipermail 0.09 (Mailman edition).