May 2002 Archives by thread

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

Starting: Wed May 1 04:42:11 EDT 2002
Ending: Fri May 31 14:43:34 EDT 2002
Messages: 103

FOM: actual infinite Thomas Forster
- FOM: actual infinite Neil Tennant
  - FOM: actual infinite Joseph Vidal-Rosset
- FOM: actual infinite Vladimir Sazonov
FOM: The black and white cats (Frege #2) Dean Buckner
- FOM: Re: The black and white cats (Frege #2) charles silver
FOM: North Pole Argument (Frege #1) JRG Williams
- FOM: North Pole Argument (Frege #1) Dean Buckner
FOM: Achim Ditzen (1963-2002) Benedikt Loewe
FOM: Re: actual infinite Franklin Vera Pacheco
FOM: Workshop on Proof Theory and Computation Alessio Guglielmi
FOM: Sazonov on actual infinity David Isles
- FOM: Sazonov on actual infinity Vladimir Sazonov
  - FOM: Sazonov on actual infinity Steve Stevenson
- FOM: Zermelo's successor function Peter Apostoli
  - FOM: Zermelo's successor function references Jeff Hirst
  - FOM: Zermelo's successor function Martin Davis
  - FOM: Zermelo's successor function Robert Black
  - FOM: Re: Zermelo's successor function references Peter Apostoli
FOM: The Tait paper Dean recommends A.P. Hazen
FOM: Re: Zermelo's successor function A.P. Hazen
FOM: Delta one comprehension and constructivism Peter Smith
FOM: 3rd FLIRTS workshop, 24th to 27th September 2002 Till Mossakowski
FOM: Does PA prove FLT? Matthew Frank
FOM: Midwest Model Theory at Notre Dame Stephen G Simpson
FOM: Philosophy and computer science Gerry Wolff
FOM: FLoC 2002 Call for Participation Ulrich Kohlenbach
FOM: 148:Finite forms by relativization friedman at math.ohio-state.edu
FOM: Wolfram's new book Steve Stevenson
FOM: 149:Bad Typo friedman at math.ohio-state.edu
FOM: Peano Dean Buckner
FOM: Peano Alasdair Urquhart
FOM: Frege and singular propositions Dean Buckner
FOM: Intuitionism wiman lucas raymond
- FOM: Intuitionism Jesper Carlstrom
  - FOM: Intuitionism Robert Black
- FOM: Intuitionism Neil Tennant
FOM: intuitionism wwtx at uchicago.edu
FOM: Re: Frege and singular propositions charles silver
FOM: Axiom of Extensionality Dean Buckner
- FOM: RE: Axiom of Extensionality Cristian Cocos
- FOM: Axiom of Extensionality Franklin Vera Pacheco
- FOM: Axiom of Extensionality Charles Parsons
  - FOM: Axiom of Extensionality Dean Buckner
FOM: Intuitionism richman at acc.fau.edu
FOM: Axiom of Extensionality Kanovei
FOM: Axiom of Extensionality Thomas Forster
FOM: Intuitionism richman
- FOM: Intuitionism Jesper Carlstrom
  - FOM: Intuitionism richman at acc.fau.edu
    - FOM: Intuitionism Jesper Carlstrom
    - FOM: Intuitionism William Tait
FOM: Refutation Theorem Proving and Natural Deduction? Steve Stevenson
- FOM: Refutation Theorem Proving and Natural Deduction? Arnon Avron
FOM: intuitionism Raatikainen Panu A K
FOM: when we are finite. Franklin Vera Pacheco
FOM: re: Axiom of Extensionality Insall
- FOM: re: Axiom of Extensionality Matthew Frank
FOM: Re: axiom of infinity A.P. Hazen
FOM: Refutation Theorem Proving and Natural Deduction? A.P. Hazen
FOM: Precision and Turing-computability Paul LE MEUR
- FOM: Precision and Turing-computability Franklin Vera Pacheco
- FOM: Precision and Turing-computability nitzpon
FOM: 2002 Federated Logic Conference -- grants and discounts Stephen G Simpson
FOM: Intuitionism Jesper Carlstrom
FOM: Refutation Theorem Proving and Natural Deduction? Raatikainen Panu A K
FOM: Precision and Turing-computability José Félix Costa
- FOM: Precision and Turing-computability Martin Davis
  - FOM: Precision and Turing-computability José Félix Costa
FOM: A Puzzle Dean Buckner
- FOM: RE: A Puzzle Insall
  - FOM: A Puzzle Dean Buckner
- FOM: RE: A Puzzle Cristian Cocos
FOM: Precision and Turing-computability Vasco Brattka
FOM: Precision and Turing-computability José Félix Costa
- FOM: Precision and Turing-computability D Richardson
  - FOM: Precision and Turing-computability Insall
    - FOM: Precision and Turing-computability D Richardson
    - FOM: Precision and Turing-computability Insall
FOM: Transfinite Logic Dean Buckner
FOM: Date: Mon, 27 May 2002 11:03:47 -0500 Insall
FOM: Precision and Turing-computability Karlis Podnieks
FOM: Precision and Turing-computability Martin Davis
FOM: Transfinite Logic wiman lucas raymond
FOM: Recursion theory question G Davie
FOM: Transfinite Logic Dean Buckner
FOM: Quantum Logic Todd Wilson
- FOM: Quantum Logic Stephen Fenner
FOM: Quantum Logic H. Enderton
- FOM: Quantum Logic Insall
FOM: Re: FoM: Quantum Logic A.P. Hazen
- FOM: Re: Re: FoM: Quantum Logic Jay Halcomb
  - FOM: Re: Re: Re: FoM: Quantum Logic Peter Apostoli
FOM: Quantum Logic José Félix Costa
FOM: quantum logic Richard E. Grandy
FOM: conservative extension Neil Tennant
- FOM: RE: conservative extension Insall
FOM: Quantum Logic bibliographical pointer A.P. Hazen
FOM: Precision and Turing-computability wiman lucas raymond
- FOM: Precision and Turing-computability friedman at math.ohio-state.edu
FOM: beautiful from the point of view of a classical analyst friedman at math.ohio-state.edu
FOM: FOM hiatus Stephen G Simpson
FOM: From the point of view of a classical analyst.. Elena Nogina

Last message date: Fri May 31 14:43:34 EDT 2002
Archived on: Fri Mar 11 12:49:34 EDT 2005

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

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