July 2000 Archives by date

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

Starting: Thu Jul 6 03:58:16 EDT 2000
Ending: Mon Jul 31 04:17:58 EDT 2000
Messages: 43

• FOM: No Weakest Axiom of Infinity   Allen Hazen
• FOM: conference at Ecole Normale Superieure in Paris   Stephen G Simpson
• FOM: Prioirty arguments necessary?   Harvey Friedman
• FOM: No Weakest Axiom of Infinity   Neil Tennant
• FOM: Re: GCH   Jan Mycielski
• FOM: on constructivity   Prof. dr. D. van Dalen
• FOM: Ontology of Mathematics   Jan Mycielski
• FOM: from Soare-Computability Theory and Differential Geometry   Martin Davis
• FOM: Ontology of Mathematics   Todd Wilson
• FOM: priority arguments and reverse mathematics   Stephen G Simpson
• FOM: on constructivity   William Tait
• FOM: A different (?) type of constructivism   Peter Schuster
• FOM: a "hard" problem?   Harvey Friedman
• FOM: Re: Effective Bounds in core mathematics   Dave Marker
• FOM: a "hard" problem?   JoeShipman at aol.com
• FOM: Re: a "hard" problem?   Harvey Friedman
• FOM: Constructivity, recursion theory, recursive counterexamples   Harvey Friedman
• FOM: priority arguments in differential geometry?   Stephen G Simpson
• FOM: more on effective bounds in number theory   Dave Marker
• FOM: axioms of infinity   Stephen G Simpson
• FOM: on constructivity   Fred Richman
• FOM: on constructivity   William Tait
• FOM: axioms of infinity   V. Yu. Shavrukov
• FOM: axioms of infinity   Stephen G Simpson
• FOM: Axiom of infinity   Joe Shipman
• FOM: Re: Axiom of infinity   Joe Shipman
• FOM: Re: Axiom of infinity   Joe Shipman
• FOM: axioms of infinity   John Baldwin
• FOM: axioms of infinity   Stephen G Simpson
• FOM: Ontology of Mathematics, revisited   Todd Wilson
• FOM: priority arguments and reverse recursion theory   Chong Chi Tat
• FOM: Axioms of Infinity (& Help Request)   Allen Hazen
• FOM: Axioms of Infinity (& Help Request)   John Baldwin
• FOM: Intuitionistic reals   Alex Simpson
• FOM: axioms of infinity: first-order versus higher-order   Stephen G Simpson
• FOM: Axioms of Infinity: first-order versus higher-order   Allen Hazen
• FOM: Intuitionistic reals   Fred Richman
• FOM: Brouwer, Constructivist/Intuitionist?   Robert Tragesser
• FOM: constructivity; priority arguments; recursive counterexamples   Stephen G Simpson
• FOM: on constructivity   Prof. dr. D. van Dalen
• FOM: IEEE Data Mining 2001: Call for Papers   Ning Zhong
• FOM: Provably non-constructive priority argument   John Case
• FOM: on constructivity   Prof. dr. D. van Dalen

Last message date: Mon Jul 31 04:17:58 EDT 2000
Archived on: Fri Mar 11 12:49:01 EDT 2005

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