February 2005 Archives by author

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

Starting: Tue Feb 1 00:06:46 EDT 2005
Ending: Mon Feb 28 19:34:55 EDT 2005
Messages: 83

• [FOM] characterization of Real numbers? (by Saeed Salehi)   Jesse Alama
• [FOM] Characterization of the real numbers   John Baldwin
• [FOM] proof theory class   Peter Cholak
• [FOM] Re: Soare's article in the BSLIssue 3   Timothy Y. Chow
• [FOM] Re: Deflationism and the Godel phenomena   Timothy Y. Chow
• [FOM] Deflationism and the Godel phenomena   Timothy Y. Chow
• [FOM] Computers, Rigidity, and Moduli   Timothy Y. Chow
• [FOM] Deflationism and the Godel phenomena   Timothy Y. Chow
• [FOM] Julia sets and computability models   Stephen Cook
• [FOM] Logic moving from philosophy to mathematics   Daniel Crosby
• [FOM] moderator having minor surgery   Martin Davis
• [FOM] characterization of Real numbers? (by Saeed Salehi)   Martin Davis
• [FOM] the thread on "deflationary" accounts of the concept of truth   Martin Davis
• [FOM] Re: Friedman's characterization of R   Ali Enayat
• [FOM] A proof of Friedman's theorem   Ali Enayat
• [FOM] metrics   Adam Epstein
• [FOM] mathematical understanding   Steven Ericsson-Zenith
• [FOM] Calculemus 2005 Second Call for Papers   William Farmer
• [FOM] Deflationism and the Godel phenomena   Torkel Franzen
• [FOM] Deflationism and the Godel phenomena   Torkel Franzen
• [FOM] Deflationism and the Godel phenomena   Torkel Franzen
• [FOM] Complexity of notions/intermediate degrees   Harvey Friedman
• [FOM] Characterization of the real numbers   Harvey Friedman
• [FOM] Correction/Characterization of the real numbers   Harvey Friedman
• [FOM] natural intermediate r.e. degrees   Harvey Friedman
• [FOM] re: characterization of Real numbers? (by Saeed Salehi)   Harvey Friedman
• [FOM] Characterization of R/Simple proof   Harvey Friedman
• [FOM] Deflationism and the Godel phenomena   Harvey Friedman
• [FOM] recursion theory question   Harvey Friedman
• [FOM] 244:LUB systems   Harvey Friedman
• [FOM] ICCL Summer School: Logic-based Knowledge Representation   Bertram Fronhoefer
• [FOM] ESSLLI'05 StuS: Deadline extended until 22nd February 2005   Judit Gervain
• [FOM] consistency of NF?   Lew Gordeew
• [FOM] Logic moving from philosophy to mathematics   Chris Gray
• [FOM] CCA 2005 - Second Call for Papers   Peter Hertling
• [FOM] consistency of NF?   Randall Holmes
• [FOM] purported proof of Con (NF)   Randall Holmes
• [FOM] reply to Gordeev   Randall Holmes
• [FOM] job at Oxford   Dan Isaacson
• [FOM] Characterization of the real numbers   JP Mayberry, Mathematics
• [FOM] Complexity of notions/intermediate degrees   JoeShipman at aol.com
• [FOM] Characterization of the real numbers   JoeShipman at aol.com
• [FOM] Characterization of the real numbers   JoeShipman at aol.com
• [FOM] Characterization of the real numbers   JoeShipman at aol.com
• [FOM] ESSLLI2005 Workshop: FINAL CALL Foundations of Natural Language Grammar   Ruth Kempson
• [FOM] Deflationism and the Godel phenomena   Jeffrey Ketland
• [FOM] Deflationism and the Godel phenomena   Jeffrey Ketland
• [FOM] Deflationism and the Godel phenomena   Jeffrey Ketland
• [FOM] Deflationism and the Godel phenomena   Jeffrey Ketland
• [FOM] MKM 2005 (Mathematical Knowledge Management) first Call for Papers   Michael Kohlhase
• [FOM] MKM 2005 Call for Workshop Proposals (Mathematical Knowledge Management)   Michael Kohlhase
• [FOM] Deflationism and the Godel phenomena   Aatu Koskensilta
• [FOM] Deflationism and the Godel phenomena   Aatu Koskensilta
• [FOM] Characterization of the real numbers   Stephen Lavelle
• [FOM] International M.Sc. Program in COMPUTATIONAL LOGIC   Int. Center for Computational Logic
• [FOM] ANN: ALGEBRAIC AND TOPOLOGICAL METHODS IN NON-CLASSICAL LOGICS II   Xavier Noria
• [FOM] Video Archivals of Logic Conferences   Grant Olney Passmore
• [FOM] Deflationism and the Godel phenomena   Grant Olney Passmore
• [FOM] Last CFP: ESSLLI Workshop on Challenges & Alternatives to Strict Compositionality   Manfred Sailer
• [FOM] [PS] characterization of real numbers (?)   Saeed Salehi
• [FOM] natural intermediate r.e. degrees   Stephen G Simpson
• [FOM] natural intermediate r.e. degrees   Stephen G Simpson
• [FOM] natural r.e. degrees   Stephen G Simpson
• [FOM] Hadamard's principle   Bas Spitters
• [FOM] Hadamard's principle   Bas Spitters
• [FOM] mathematical understanding   Regien Stomphorst
• [FOM] D11 arithmetic   Studtmann, Paul
• [FOM] Characterization of the real numbers   William Tait
• [FOM] Extending the Language of Set Theory   Dmytro Taranovsky
• [FOM] Deflationism and the Godel phenomena   Neil Tennant
• [FOM] Deflationism and the Godel phenomena   Neil Tennant
• [FOM] Deflationism and the Godel phenomena   Neil Tennant
• [FOM] Deflationism and the Godel phenomena   Neil Tennant
• [FOM] Deflationism and the Godel phenomena   Joseph Vidal-Rosset
• [FOM] Deflationism and the Godel phenomena   Joseph Vidal-Rosset
• [FOM] Deflationism and the Godel phenomena   Joseph Vidal-Rosset
• [FOM] Union Closed Sets Conjecture - Related Claim   Robert Michael Zimmerman
• [FOM] Hadamard's principle   Jeffery Zucker
• [FOM] Proof in mathematics   paolo mancosu
• [FOM] proof in mathematics (correction)   paolo mancosu
• [FOM] Logic moving from philosophy to mathematics   praatika at mappi.helsinki.fi
• [FOM] PHINEWS / PHILOG Bulletin, February 2005   vincent at ruc.dk
• [FOM] PHINEWS 7, April 1005   vincent at ruc.dk

Last message date: Mon Feb 28 19:34:55 EDT 2005
Archived on: Fri Mar 11 12:50:57 EDT 2005

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