June 2004 Archives by author

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

Starting: Tue Jun 1 04:02:12 EDT 2004
Ending: Wed Jun 30 21:09:17 EDT 2004
Messages: 66

• [FOM] On the deductive inconsistency of a fundamental physical theory   Peter John Apostoli
• [FOM] ESSLLI05 - Registration Closing   Carlos Areces
• [FOM] Eudoxus Real Numbers   Rob Arthan
• [FOM] Re: Excluded middle & cardinality of the reals   Mark van Atten
• [FOM] Re: Excluded middle & cardinality of the reals   Andrej Bauer
• [FOM] Automated bijective proofs   Jacques Carette
• [FOM] Re: Automated bijective proofs   Jacques Carette
• [FOM] Excluded middle & cardinality of the reals   Michael Carroll
• [FOM] Lucas, Penrose, and the Church-Kleene ordinal   Timothy Y. Chow
• [FOM] Re: proof of the twin prime conjecture   Timothy Y. Chow
• [FOM] Re: 218:Unexpected Pi01 statements   Timothy Y. Chow
• [FOM] Re: Lucas, Penrose, and the Church-Kleene ordinal   Timothy Y. Chow
• [FOM] Automated bijective proofs   Timothy Y. Chow
• [FOM] Re: Automated bijective proofs   Timothy Y. Chow
• [FOM] Re: Automated bijective proofs   Timothy Y. Chow
• [FOM] BLC 2004   S B Cooper
• [FOM] BUFFALO LOGIC COLLOQUIUM 2004-2005 SECOND SUMMER ANNOUNCEMENT   John Corcoran
• [FOM] BOOLE AND THE EMPTY SET   John Corcoran
• [FOM] n-categories   David Corfield
• [FOM] Martin Davis Colloquium in LISBON   José Félix Costa
• [FOM] "Also Antonelli" should be ...   Martin Davis
• [FOM] re: proof of the twin prime conjecture   Martin Davis
• [FOM] Last Call for Proposals, ESSLLI 2005, Edinburgh   Paul Dekker
• [FOM] Re: Flexible Predicates   Ali Enayat
• [FOM] Re: A new characterization of recursivity   Ali Enayat
• [FOM] Re: A new characterization of recursivity   Ali Enayat
• [FOM] Flexible Predicates and End Extensions   Ali Enayat
• [FOM] Re: New Characterization of Recursivity   Ali Enayat
• [FOM] Workshop Announcement   David Farmer
• [FOM] Do you know of the equivalence of recursivity and the following... ? (fwd)   Thomas Forster
• [FOM] Excluded middle & cardinality of the reals   Matthew Frank
• [FOM] Excluded middle & cardinality of the reals   Matthew Frank
• [FOM] Lucas, Penrose, and the Church-Kleene ordinal   Torkel Franzen
• [FOM] 216:New Pi01 Statements   Harvey Friedman
• [FOM] 217:New New Pi01 Statements   Harvey Friedman
• [FOM] 218:Unexpected Pi01 statements   Harvey Friedman
• [FOM] 219:Typos in Unexpected Pi01 statements   Harvey Friedman
• [FOM] On the deductive inconsistency of a fundamental physical theory   Laura Elena Morales Gro.
• [FOM] Automated bijective proofs   Mitchell Harris
• [FOM] Re: New Characterization of Recursivity   Csaba Henk
• [FOM] Re: A new characterization of recursivity   Henk at degas.ceu.hu
• [FOM] EASSS Agents School: final cfp   Wiebe van der Hoek
• [FOM] RE: [HM] Cantor's diagonal proof   Keith Brian Johnson
• [FOM] Excluded middle & cardinality of the reals   Keith Brian Johnson
• [FOM] LaTeX for logicians   Roger Bishop Jones
• [FOM] Re: Definition of Large Cardinal Axiom   Roger Bishop Jones
• [FOM] Re: On the deductive inconsistency of a fundamental physical theory   Istvan Nemeti
• [FOM] New OUP Monograph: Reductive Logic and Proof-search.   David J. Pym
• [FOM] Re: Excluded middle & cardinality of the reals   Giuseppina Ronzitti
• [FOM] Re: Excluded middle & cardinality of the reals   Peter Schuster
• [FOM] On the deductive inconsistency of a fundamental physical theory   Nimish Shah
• [FOM] LaTeX for logicians   Peter Smith
• [FOM] LaTeX for Logicians (again)   Peter Smith
• [FOM] RE: New Pi01 Statements   Dmytro Taranovsky
• [FOM] Re: Definition of Large Cardinal Axiom   Neil Tennant
• [FOM] Question on Incompleteness Theorems   V.Yu.Shavrukov
• [FOM] Re: Flexible Predicates   V.Yu.Shavrukov
• [FOM] provably recursive functions   Andreas Weiermann
• [FOM] Re: Goodstein sequence is not provable in PA   Andreas Weiermann
• [FOM] Automated bijective proofs   Andreas Weiermann
• [FOM] soliciting help with a precise definition   William.Piper at colorado.edu
• [FOM] RE: [HM] Cantor's diagonal proof   Alexander Zenkin
• [FOM] 220:Unexpected Pi01 statements/more   friedman at math.ohio-state.edu
• [FOM] Excluded middle & cardinality of the reals   jvoosten at math.uu.nl
• [FOM] Dyson & Inexhaustibility, and Feferman   charles silver
• [FOM] Do you know of the equivalence of recursivity and the following... ?   tphhec01 at degas.ceu.hu

Last message date: Wed Jun 30 21:09:17 EDT 2004
Archived on: Fri Mar 11 12:50:44 EDT 2005

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