science.mathematics.fom (date)

August 31, 2006

Re: Frege on Addition, Neil Tennant
Frege on Addition, Richard Heck
Re: Truth theories and the conservativity argument, praatika-pAfYPePEUuXPzSBurWbDF/UpdFzICT1y
Turing machines and set theory, Bob Hadley

August 30, 2006

Re: Truth theories and the conservativity argument, henri galinon

August 29, 2006

CCA 2007, Kreinovich, Vladik
Re: Mumford on the foundations of Mathematics, Eray Ozkural
Re: Truth theories and the conservativity argument, praatika-pAfYPePEUuXPzSBurWbDF/UpdFzICT1y

August 28, 2006

Truth theories and the conservativity argument, henri galinon
Re: Mumford on the foundations of Mathematics, Timothy Y. Chow
Re: Mumford on the foundations of Mathematics, Frank Waaldijk
Call for SHORT PAPERS, LPAR 2006 (Phnom Penh, Cambodia), Miki Hermann
Re: Finitist concept of consistency?, Stephen Pollard
Mumford on the foundations of Mathematics, Baldwin, John T.
Call For Participation: FOIS 2006 - International Conference on Formal Ontology in Information Systems, Nov. 9-11, Baltimore, MD, Obrst, Leo J.

August 27, 2006

A Framework for the Study of Feasible and Utterable Numbers, Andrew Boucher
Re: truth axiomatizations (galinon), Leon Horsten

August 26, 2006

Re: Finitist concept of consistency?, William Tait
Finitist concept of consistency?, Stephen Pollard

August 25, 2006

Re: truth axiomatizations, Richard Heck
MWPMW 7, Michael Detlefsen

August 24, 2006

truth axiomatizations, henri galinon

August 22, 2006

[3WFTop] Third Workshop on Formal Topology. First Announcement., Peter Schuster

August 21, 2006

Self-reference in natual languages (re >>this sentence, cannot be proven true<<), Hartley Slater

August 20, 2006

Re: complete atomless boolean algebras, A.P. Hazen
Re: Meta-logic, V . Sazonov-5fL7ta8dD402EctHIo1CcQ

August 19, 2006

complete atomless Boolean algebras, Don Monk
Re: Provability in PA, Richard Heck
Re: complete atomless boolean algebras, James Hirschorn
Re: complete atomless boolean algebras, Robert M. Solovay

August 18, 2006

Re: Provability in PA, Charles Parsons
Re: Feasible and Utterable Numbers, Eray Ozkural
Re: Feasible and Utterable Numbers, Mirco Mannucci
ANNOUNCEMENT:Florida Model Theorem Meeting Feb 5-10, Dave Marker
Re: Feasible and Utterable Numbers, jean paul van bendegem
Provability in PA, Studtmann, Paul
complete atomless boolean algebras, Robert Black

August 16, 2006

Re: Self-reference in natual, languages (re >>this sentence, cannot be proven true<<)", Haim Gaifman
Re: Gamma_0, William Tait
Meta-logic, A.P. Hazen
Diagonal intersection, Thomas Forster

August 15, 2006

Re: Meta-Logic, V . Sazonov-5fL7ta8dD402EctHIo1CcQ
Re: Question for Vladimir Sazonov, V . Sazonov-5fL7ta8dD402EctHIo1CcQ
Re: Feasible and Utterable Numbers, V . Sazonov-5fL7ta8dD402EctHIo1CcQ

August 14, 2006

Re: Meta-Logic, praatika-pAfYPePEUuXPzSBurWbDF/UpdFzICT1y
On >>this sentence cannot be proven true<<, Hartley Slater

August 13, 2006

Re: Feasible and Utterable Numbers, scerir
Re: Meta-Logic, Roger Bishop Jones

August 12, 2006

On >>this sentence cannot be proven true<<, Hartley Slater
Book Announcement: "From Sets and Types to Topology and Analysis", Peter Schuster
Gamma_0, Bill Taylor
Meta-Logic, Studtmann, Paul
Question for Vladimir Sazonov, Bill Taylor
Re: Self-reference in natual, languages (re >>this sentence, cannot be proven true<<)", A.P. Hazen
Re: Feasible and Utterable Numbers, Karlis Podnieks

August 10, 2006

Re: Self-reference in natual, languages (re >>this sentence, cannot be proven true<<)", Haim Gaifman

August 09, 2006

Re: Feasible and Utterable Numbers, V . Sazonov-5fL7ta8dD402EctHIo1CcQ
Re: Paradox and cognitive mechanism, laureano luna
Re: On >>this sentence cannot be proven true<<, laureano luna
Re: Feasible and Utterable Numbers, Apostolos Syropoulos
A remark of von Neumann, ignacio

August 08, 2006

Re: Feasible and Utterable Numbers, Mirco Mannucci
Poincare conjecture update, Timothy Y. Chow
Re: Feasible and Utterable Numbers, V . Sazonov-5fL7ta8dD402EctHIo1CcQ
Re: Feasible and Utterable Numbers, V . Sazonov-5fL7ta8dD402EctHIo1CcQ
Re: Feasible and Utterable Numbers, V . Sazonov-5fL7ta8dD402EctHIo1CcQ

August 07, 2006

Re: Feasible and Utterable Numbers, Charles Silver
Re: Feasible and Utterable Numbers, Apostolos Syropoulos
Re: Feasible and Utterable Numbers, Kreinovich, Vladik
Re: Feasible and Utterable Numbers, Ritwik Bhattacharya
Re: Feasible and Utterable Numbers, V . Sazonov-5fL7ta8dD402EctHIo1CcQ

August 06, 2006

Re: Feasible and Utterable Numbers, V . Sazonov-5fL7ta8dD402EctHIo1CcQ
Re: Feasible and Utterable Numbers, Mirco Mannucci
On models of Intuitionistic Logic and SILs, A. Mani
Paradox and cognitive mechanism, laureano luna

August 05, 2006

Re: Feasible and Utterable Numbers, Charles Silver
On >>this sentence cannot be proven true<<, Hartley Slater

August 04, 2006

Re: Feasible and Utterable Numbers, V . Sazonov-5fL7ta8dD402EctHIo1CcQ
Re: Feasible and Utterable Numbers, V . Sazonov-5fL7ta8dD402EctHIo1CcQ

August 03, 2006

CFP: II International Colloquium on Metaphysics, including a workgroup on LOGIC AND ONTOLOGY, Joao Marcos
Re: Feasible and Utterable Numbers, Charles Silver
Re: Feasible and Utterable Numbers, Karlis Podnieks
PhD Student Position in Logic and Cognitive Science, Hannes Leitgeb

August 02, 2006

Mathematical Practices conference in Brussels, Martin Davis
Re: Feasible and Utterable Numbers, V . Sazonov-5fL7ta8dD402EctHIo1CcQ
Addendum: CFP: Perspectives on Mathematical Practices, Bart Van Kerkhove
Re: Feasible and Utterable Numbers, V . Sazonov-5fL7ta8dD402EctHIo1CcQ
Re: Kreisel on Non-Standard Functional Analysis, A J Franco de Oliveira

August 01, 2006

Classical Mathematical Logic, Princeton University Press, Text Assistant
FOM BUFFALO LOGIC COLLOQUIUM 4TH SUMMER NOTICE, John Corcoran
On >>this sentence cannot be proven true<<, Hartley Slater