August 2006 Archives by author

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

Starting: Tue Aug 1 16:18:59 EDT 2006
Ending: Thu Aug 31 18:55:10 EDT 2006
Messages: 90

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

Last message date: Thu Aug 31 18:55:10 EDT 2006
Archived on: Thu Aug 31 21:18:57 EDT 2006

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