science.mathematics.fom (thread)

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