June 2002 Archives by thread

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

Starting: Sat Jun 1 08:55:03 EDT 2002
Ending: Sun Jun 30 17:23:22 EDT 2002
Messages: 112

FOM: 150:Finite obstruction/statistics friedman at math.ohio-state.edu
FOM: Wolfram? charles silver
- FOM: Wolfram? Robert M. Solovay
FOM: Refutation Theorem Proving and Natural Deduction? Richard Zach
FOM: Re: Transfinite Logic Dean Buckner
- FOM: Re: Transfinite Logic Richard G. Heck, Jr.
  - FOM: RE: Transfinite Logic Dean Buckner
    - FOM: RE: Transfinite Logic Martin Davis
    - FOM: RE: RE: Transfinite Logic Insall
    - FOM: Transfinite Logic Richard Heck
FOM: Recommended books Dean Buckner
FOM: Intuitionism (Tait) Dean Buckner
FOM: extensionality -- re Hazen remarks M. Randall Holmes
FOM: 151:Finite forms by bounding friedman at math.ohio-state.edu
FOM: summer school scholarships Stephen G Simpson
FOM: Wolfram? JoeShipman at aol.com
- FOM: Wolfram? Neil Tennant
  - FOM: Wolfram? Robert M. Solovay
- FOM: Wolfram? Robert M. Solovay
FOM: Wolfram book review John Kadvany
- FOM: Wolfram book review Neil Tennant
FOM: Wolfram and logic/foundations of mathematics Henry Cohn
- FOM: Wolfram and logic/foundations of mathematics John T. Baldwin
FOM: small machines José Félix Costa
- FOM: small machines Olivier Gerard
FOM: more about small machines José Félix Costa
FOM: Simple Types in BSL Steve Awodey
FOM: universal TM H. Enderton
FOM: Number theory and elementary arithmetic Jeremy Avigad
FOM: Precision and Turing-computability Vladimir N. Krupski
FOM: Re: Transfinite Logic wiman lucas raymond
FOM: 152:sin friedman at math.ohio-state.edu
FOM: Intuitionism (Tait) Vladimir N. Krupski
FOM: Transfinite Logic Dean Buckner
FOM: RE: Transfinite Logic Axiomize at aol.com
FOM: LPAR 2002 -- conference in Tbilisi,Georgia Stephen G Simpson
FOM: Intuitionism (Tait) Axiomize at aol.com
FOM: Transfinite Logic wiman lucas raymond
FOM: Free logic Fredrik Engstrom
FOM: Free logic H. Enderton
FOM: Transfinite Logic William Calhoun
FOM: Re; William Calhoun's most recent posting on the origin of ideas w.r.t. sizes of infinity Elizabeth T. Brown
FOM: history of orders of infinity John T. Baldwin
FOM: precursors of Cantor Martin Davis
- FOM: Precursors and Cantor's originality Richard E. Grandy
- FOM: Re: precursors of Cantor charles silver
  - FOM: Re: precursors of Cantor William Tait
  - FOM: Re: precursors of Cantor Neil Tennant
  - FOM: Re: precursors of Cantor Matthew Frank
  - FOM: Re:precursors of Cantor charles silver
    - FOM: Re:precursors of Cantor John Goodrick
    - FOM: Re:precursors of Cantor charles silver
FOM: Intuitionism (Tait) Vladimir N.Krupski
FOM: workshop on paraconsistency Stephen G Simpson
FOM: workshop on computability and complexity in analysis Stephen G Simpson
FOM: talk at ASL 2002 on reverse mathematics Stephen G Simpson
FOM: LICS (Logic in Computer Science) Newsletter 79 Stephen G Simpson
FOM: precursors of Cantor (&Transfinite Logic) Everdell at aol.com
- FOM: precursors of Cantor (&Transfinite Logic) Jay Halcomb
- FOM: precursors of Cantor (&Transfinite Logic) Dennis E. Hamilton
  - FOM: Cantor's Subsets (was RE: precursors of Cantor (&Transfinite Logic)) Dennis E. Hamilton
FOM: ACL2 Tutorial in Copenhagen Peter Manolios
FOM: 153:Large cardinals as general algebra friedman at math.ohio-state.edu
FOM: Intuitionism (Tait) Axiomize at aol.com
- FOM: Intuitionism (Tait) Vladimir N.Krupski
  - FOM: Intuitionism (Tait) Vladimir N.Krupski
- FOM: Intuitionism (Tait) Jay Halcomb
  - FOM: Intuitionism (Tait) charles silver
    - FOM: Intuitionism (Tait) Neil Tennant
    - FOM: Intuitionism (Tait) charles silver
FOM: RE: 153:Large cardinals as general algebra - sent again Insall
FOM: Intuitionism (Tait) Sean C Stidd
- FOM: Intuitionism (Tait) Torkel Franzen
- FOM: Intuitionism (Tait) Neil Tennant
FOM: Intuitionism (Tait) Miguel A. Lerma
FOM: The work I mentioned in connection to Harvey's Insall
FOM: More on algebras Insall
FOM: Re: different sizes of infinity. W.Taylor at math.canterbury.ac.nz
FOM: Priority Insall
FOM: Cantor's subsets Dean Buckner
- FOM: Cantor's subsets Dennis E. Hamilton
FOM: RE: Cantor's subsets Everdell at aol.com
FOM: Proper Names and the Diagonal Proof Dean Buckner
- FOM: Proper Names and the Diagonal Proof friedman at math.ohio-state.edu
- FOM: Proper Names and the Diagonal Proof John Goodrick
  - FOM: Proper Names and the Diagonal Proof Richard Heck
    - FOM: Proper Names and the Diagonal Proof William Tait
    - FOM: Proper Names and the Diagonal Proof Neil Tennant
    - FOM: Proper Names and the Diagonal Proof Neil Tennant
- FOM: RE: Proper Names and the Diagonal Proof Dennis E. Hamilton
  - FOM: RE: RE: Proper Names and the Diagonal Proof Insall
    - FOM: RE: RE: Proper Names and the Diagonal Proof Dennis E. Hamilton
- FOM: Proper Names and the Diagonal Proof A.P. Hazen
  - FOM: Proper Names and the Diagonal Proof Insall
- FOM: Proper Names and the Diagonal Proof William Tait
  - FOM: Proper Names and the Diagonal Proof charles silver
FOM: n-colorable graphs & first order logic Lucas Wiman
FOM: 154:Orderings on theories friedman at math.ohio-state.edu
FOM: about trascendental numbers Franklin Vera Pacheco
FOM: Conference: Self-reference Vincent Fella Hendricks
FOM: Wolfram on Foundations Thomas Drucker
FOM: Cantor's Diagonal Argument Arthur, Richard
- FOM: RE: Cantor's Diagonal Argument Insall
  - FOM: Simpson's book friedman at math.ohio-state.edu
- FOM: RE: Cantor's Diagonal Argument Insall
FOM: Cantor's argument friedman at math.ohio-state.edu
FOM: Cantor's Argument wiman lucas raymond
FOM: Cantor's Diagonal Argument Dean Buckner
- FOM: Cantor's Diagonal Argument friedman at math.ohio-state.edu
FOM: pointless numbered postings? friedman at math.ohio-state.edu
- FOM: Re: pointless numbered postings? charles silver
FOM: CAs as turing complete odds&ends vznuri at earthlink.net

Last message date: Sun Jun 30 17:23:22 EDT 2002
Archived on: Fri Mar 11 12:49:37 EDT 2005

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

This archive was generated by Pipermail 0.09 (Mailman edition).