science.mathematics.fom (thread)

Frege on Addition, Richard Heck
- Message not available
  - Re: Frege on Addition, Neil Tennant
Turing machines and set theory, Bob Hadley
CCA 2007, Kreinovich, Vladik
Truth theories and the conservativity argument, henri galinon
- Re: Truth theories and the conservativity argument, praatika-pAfYPePEUuXPzSBurWbDF/UpdFzICT1y
  - Message not available
    - Re: Truth theories and the conservativity argument, henri galinon
- Re: Truth theories and the conservativity argument, praatika-pAfYPePEUuXPzSBurWbDF/UpdFzICT1y
Call for SHORT PAPERS, LPAR 2006 (Phnom Penh, Cambodia), Miki Hermann
Mumford on the foundations of Mathematics, Baldwin, John T.
- Re: Mumford on the foundations of Mathematics, Frank Waaldijk
  - Re: Mumford on the foundations of Mathematics, Eray Ozkural
- Re: Mumford on the foundations of Mathematics, Timothy Y. Chow
Call For Participation: FOIS 2006 - International Conference on Formal Ontology in Information Systems, Nov. 9-11, Baltimore, MD, Obrst, Leo J.
Re: truth axiomatizations (galinon), Leon Horsten
Finitist concept of consistency?, Stephen Pollard
- Message not available
  - Re: Finitist concept of consistency?, William Tait
- Re: Finitist concept of consistency?, Stephen Pollard
MWPMW 7, Michael Detlefsen
truth axiomatizations, henri galinon
- Message not available
  - Re: truth axiomatizations, Richard Heck
[3WFTop] Third Workshop on Formal Topology. First Announcement., Peter Schuster
Self-reference in natual languages (re >>this sentence, cannot be proven true<<), Hartley Slater
ANNOUNCEMENT:Florida Model Theorem Meeting Feb 5-10, Dave Marker
Provability in PA, Studtmann, Paul
- Message not available
  - Re: Provability in PA, Charles Parsons
    - Re: Provability in PA, Richard Heck
complete atomless boolean algebras, Robert Black
- Re: complete atomless boolean algebras, Robert M. Solovay
- Re: complete atomless boolean algebras, James Hirschorn
- Re: complete atomless boolean algebras, A.P. Hazen
- complete atomless Boolean algebras, Don Monk
Book Announcement: "From Sets and Types to Topology and Analysis", Peter Schuster
Gamma_0, Bill Taylor
- Re: Gamma_0, William Tait
Meta-Logic, Studtmann, Paul
- Message not available
  - Re: Meta-Logic, Roger Bishop Jones
- Message not available
  - Re: Meta-Logic, V . Sazonov-5fL7ta8dD402EctHIo1CcQ
- Re: Meta-Logic, praatika-pAfYPePEUuXPzSBurWbDF/UpdFzICT1y
- Meta-logic, A.P. Hazen
  - Re: Meta-logic, V . Sazonov-5fL7ta8dD402EctHIo1CcQ
Question for Vladimir Sazonov, Bill Taylor
- Message not available
  - Re: Question for Vladimir Sazonov, V . Sazonov-5fL7ta8dD402EctHIo1CcQ
Re: Self-reference in natual, languages (re >>this sentence, cannot be proven true<<)", Haim Gaifman
- Re: Self-reference in natual, languages (re >>this sentence, cannot be proven true<<)", A.P. Hazen
- Re: Self-reference in natual, languages (re >>this sentence, cannot be proven true<<)", Haim Gaifman
A remark of von Neumann, ignacio
Poincare conjecture update, Timothy Y. Chow
On models of Intuitionistic Logic and SILs, A. Mani
Paradox and cognitive mechanism, laureano luna
- Re: Paradox and cognitive mechanism, laureano luna
CFP: II International Colloquium on Metaphysics, including a workgroup on LOGIC AND ONTOLOGY, Joao Marcos
PhD Student Position in Logic and Cognitive Science, Hannes Leitgeb
Mathematical Practices conference in Brussels, Martin Davis
Addendum: CFP: Perspectives on Mathematical Practices, Bart Van Kerkhove
Re: Feasible and Utterable Numbers, V . Sazonov-5fL7ta8dD402EctHIo1CcQ
- Re: Feasible and Utterable Numbers, Karlis Podnieks
  - Re: Feasible and Utterable Numbers, V . Sazonov-5fL7ta8dD402EctHIo1CcQ
- Message not available
  - Re: Feasible and Utterable Numbers, Charles Silver
- Re: Feasible and Utterable Numbers, V . Sazonov-5fL7ta8dD402EctHIo1CcQ
- Re: Feasible and Utterable Numbers, V . Sazonov-5fL7ta8dD402EctHIo1CcQ
  - Message not available
    - Re: Feasible and Utterable Numbers, Charles Silver
    - Message not available
    - Re: Feasible and Utterable Numbers, V . Sazonov-5fL7ta8dD402EctHIo1CcQ
    - Message not available
    - Re: Feasible and Utterable Numbers, Charles Silver
    - Message not available
    - Re: Feasible and Utterable Numbers, V . Sazonov-5fL7ta8dD402EctHIo1CcQ
- Re: Feasible and Utterable Numbers, Mirco Mannucci
  - Re: Feasible and Utterable Numbers, V . Sazonov-5fL7ta8dD402EctHIo1CcQ
    - Message not available
    - Re: Feasible and Utterable Numbers, Ritwik Bhattacharya
    - Message not available
    - Re: Feasible and Utterable Numbers, V . Sazonov-5fL7ta8dD402EctHIo1CcQ
    - Message not available
    - Re: Feasible and Utterable Numbers, Kreinovich, Vladik
    - Message not available
    - Re: Feasible and Utterable Numbers, V . Sazonov-5fL7ta8dD402EctHIo1CcQ
    - Message not available
    - Re: Feasible and Utterable Numbers, Apostolos Syropoulos
    - Message not available
    - Re: Feasible and Utterable Numbers, V . Sazonov-5fL7ta8dD402EctHIo1CcQ
    - Message not available
    - Re: Feasible and Utterable Numbers, Apostolos Syropoulos
    - Re: Feasible and Utterable Numbers, jean paul van bendegem
    - Re: Feasible and Utterable Numbers, Eray Ozkural
- Re: Feasible and Utterable Numbers, Mirco Mannucci
  - Re: Feasible and Utterable Numbers, Karlis Podnieks
    - Re: Feasible and Utterable Numbers, V . Sazonov-5fL7ta8dD402EctHIo1CcQ
  - Re: Feasible and Utterable Numbers, scerir
- Re: Feasible and Utterable Numbers, Mirco Mannucci
  - A Framework for the Study of Feasible and Utterable Numbers, Andrew Boucher
Re: Kreisel on Non-Standard Functional Analysis, A J Franco de Oliveira
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
- On >>this sentence cannot be proven true<<, Hartley Slater
- Re: On >>this sentence cannot be proven true<<, laureano luna
- On >>this sentence cannot be proven true<<, Hartley Slater
- On >>this sentence cannot be proven true<<, Hartley Slater
  - Diagonal intersection, Thomas Forster