May 2009 Archives by subject

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

Starting: Fri May 1 12:21:35 EDT 2009
Ending: Sun May 31 13:41:29 EDT 2009
Messages: 192

• [FOM] 2nd CFP: 6th workshop on "Methods for Modalities" (M4M-6)   Thomas Bolander
• [FOM] 336:Undecidability/Euclidean geometry/2   Timothy Y. Chow
• [FOM] 336:Undecidability/Euclidean geometry/2   Rob Arthan
• [FOM] 337:Undecidability/Euclidean geometry/3   Harvey Friedman
• [FOM] 338:Undecidability/Euclidean geometry/4   Harvey Friedman
• [FOM] 339:Undecidability/Euclidean geometry/5   Harvey Friedman
• [FOM] 340:Thematic Pi01 Incompleteness 1   Harvey Friedman
• [FOM] 341:Thematic Pi01 Incompleteness 2   Harvey Friedman
• [FOM] 342:Thematic Pi01 Incompleteness 3   Harvey Friedman
• [FOM] 343:Goedel's Second Revisited 1   Harvey Friedman
• [FOM] 343:Goedel's Second Revisited 1   praatika at mappi.helsinki.fi
• [FOM] 344:Goedel's Second Revisited 2   Harvey Friedman
• [FOM] [CiE] CiE 2009 - deadline for informal presentations   S Barry Cooper
• [FOM] [CiE] CiE 2009 in Heidelberg - Reminder of deadlines for Early Registration and Informal Presentations   S Barry Cooper
• [FOM] arithmetical soundness of ZFC   Nik Weaver
• [FOM] Arithmetical soundness of ZFC   laureano luna
• [FOM] arithmetical soundness of ZFC   Monroe Eskew
• [FOM] Arithmetical soundness of ZFC   Nik Weaver
• [FOM] Arithmetical soundness of ZFC   Nik Weaver
• [FOM] Arithmetical soundness of ZFC   Timothy Y. Chow
• [FOM] Arithmetical soundness of ZFC   Harvey Friedman
• [FOM] Arithmetical soundness of ZFC   praatika at mappi.helsinki.fi
• [FOM] Arithmetical soundness of ZFC   joeshipman at aol.com
• [FOM] Arithmetical soundness of ZFC   Thomas Forster
• [FOM] Arithmetical soundness of ZFC   Harvey Friedman
• [FOM] Arithmetical soundness of ZFC   Timothy Y. Chow
• [FOM] Arithmetical soundness of ZFC   Nik Weaver
• [FOM] Arithmetical soundness of ZFC   pax0 at seznam.cz
• [FOM] Arithmetical soundness of ZFC   Nik Weaver
• [FOM] Arithmetical soundness of ZFC   Monroe Eskew
• [FOM] Arithmetical soundness of ZFC   steel at math.berkeley.edu
• [FOM] Arithmetical soundness of ZFC   Timothy Y. Chow
• [FOM] Arithmetical soundness of ZFC   Monroe Eskew
• [FOM] Arithmetical soundness of ZFC   joeshipman at aol.com
• [FOM] Arithmetical soundness of ZFC   joeshipman at aol.com
• [FOM] Arithmetical soundness of ZFC   Timothy Y. Chow
• [FOM] Arithmetical soundness of ZFC   William Messing
• [FOM] Arithmetical soundness of ZFC   Timothy Y. Chow
• [FOM] Arithmetical soundness of ZFC   William Messing
• [FOM] Arithmetical soundness of ZFC (non-platonic)   Nik Weaver
• [FOM] Arithmetical soundness of ZFC (platonic)   Nik Weaver
• [FOM] Arithmetical soundness of ZFC (platonic)   Timothy Y. Chow
• [FOM] Arithmetical soundness of ZFC (platonic)   John Baldwin
• [FOM] Arithmetical soundness of ZFC (platonic)   Timothy Y. Chow
• [FOM] Arithmetical soundness of ZFC (platonic)   praatika at mappi.helsinki.fi
• [FOM] blind logicians and mathematicians   catarina dutilh
• [FOM] blind logicians and mathematicians   Franklin Vera Pacheco
• [FOM] blind logicians and mathematicians   Klaus Grue
• [FOM] blind logicians and mathematicians   Hilbert Levitz
• [FOM] blind logicians and mathematicians   John Baldwin
• [FOM] blind logicians and mathematicians   Louis H Kauffman
• [FOM] Blind Logicians and Mathematicians   aetilley at math.berkeley.edu
• [FOM] blind logicians and mathematicians   John Corcoran
• [FOM] Blind logicians and mathematicians   Gianluigi Oliveri
• [FOM] blind mathematicians and logicians: findings   catarina dutilh
• [FOM] Boolean Rings : Commutative Rings :: Propositional Logic : A 'free' Logic?   Mani A
• [FOM] Boolean Rings : Commutative Rings :: Propositional Logic : A 'free' Logic?   Rex Butler
• [FOM] Boolean Rings : Commutative Rings :: Propositional Logic : A 'free' Logic?   Vaughan Pratt
• [FOM] call for papers, constructive math meeting   Robert Lubarsky
• [FOM] Categories satisfying Schoeder-Bernstein theorem   joeshipman at aol.com
• [FOM] Categories satisfying Schoeder-Bernstein theorem   Jaap van Oosten
• [FOM] Categories satisfying Schoeder-Bernstein theorem   Steven Gubkin
• [FOM] Categories satisfying Schoeder-Bernstein theorem   joeshipman at aol.com
• [FOM] Centre for Reasoning research fellowships *UPDATE*   Jon Williamson
• [FOM] Cohen's Minimal Model and others   joeshipman at aol.com
• [FOM] Cohen's Minimal Model and others   Monroe Eskew
• [FOM] Computing roots of a polynomial   Vaughan Pratt
• [FOM] Computing roots of a polynomial   Andrej Bauer
• [FOM] Computing roots of a polynomial   Vaughan Pratt
• [FOM] Computing roots of a polynomial (was: isomorphism as identity)   Vaughan Pratt
• [FOM] Computing roots of a polynomial (was: isomorphism as identity)   Vaughan Pratt
• [FOM] Computing roots of a polynomial (was: isomorphism as identity)   Daniel Méhkeri
• [FOM] Computing roots of a polynomial (was: isomorphism as identity)   Andrej Bauer
• [FOM] Computing roots of a polynomial (was: isomorphism as identity)   Daniel Méhkeri
• [FOM] constructive analysis   Harvey Friedman
• [FOM] constructive analysis & isomorphism of R^2 with the Euclidean plane   Frank Waaldijk
• [FOM] Constructivism, Geometry, and Powerset   Arnon Avron
• [FOM] Constructivism, Geometry, and Powerset   Andrej Bauer
• [FOM] Constructivism, Geometry, and Powerset   Vasco Brattka
• [FOM] DCM 2009, Rhodes, Greece - EXTENDED DEADLINE: 7 MAY, 2009   S Barry Cooper
• [FOM] dx's and dy's versus epsilon-delta   Neil Tennant
• [FOM] Fwd: Categories satisfying Schoeder-Bernstein theorem   Thomas Forster
• [FOM] Imre Ruzsa Memorial Conference - 2nd CfP   Andras Mate
• [FOM] Infinitesimal calculus   Charles Silver
• [FOM] Infinitesimal calculus   Louis H Kauffman
• [FOM] Infinitesimal calculus   Monroe Eskew
• [FOM] Infinitesimal calculus   Harvey Friedman
• [FOM] Infinitesimal calculus   Vaughan Pratt
• [FOM] Infinitesimal calculus   David Ross
• [FOM] Infinitesimal calculus   Harvey Friedman
• [FOM] Infinitesimal calculus   David Ross
• [FOM] Infinitesimal calculus   Monroe Eskew
• [FOM] Infinitesimal calculus   Harvey Friedman
• [FOM] Infinitesimal calculus   hendrik at topoi.pooq.com
• [FOM] Infinitesimal calculus   Lawrence Stout
• [FOM] Infinitesimal calculus   David Ross
• [FOM] Infinitesimal calculus   Brian Hart
• [FOM] Infinitesimal calculus   joeshipman at aol.com
• [FOM] Infinitesimal calculus   David Ross
• [FOM] Infinitesimal calculus   Rob Arthan
• [FOM] Infinitesimal Calculus   Ali Enayat
• [FOM] Infinitesimal calculus   Harvey Friedman
• [FOM] Infinitesimal calculus   Alex Blum
• [FOM] Intermediate value theorem (and ASD)   Paul Taylor
• [FOM] Intermediate value theorem (and ASD)   Paul Taylor
• [FOM] Intermediate value theorem (and ASD)]]   Arnon Avron
• [FOM] Intermediate value theorem (and ASD)]]   Vaughan Pratt
• [FOM] Intermediate value theorem (and ASD)]]   Monroe Eskew
• [FOM] Intermediate value theorem (and ASD)]]   Arnon Avron
• [FOM] Intermediate value theorem (and ASD)]]   Monroe Eskew
• [FOM] Intermediate value theorem (and ASD)]]   Andrej Bauer
• [FOM] Intermediate value theorem and Euclid   Andre.Rodin at ens.fr
• [FOM] Intermediate value theorem and Euclid   Vaughan Pratt
• [FOM] Intermediate value theorem and Euclid   Andre.Rodin at ens.fr
• [FOM] Intermediate value theorem and Euclid   Vaughan Pratt
• [FOM] JOB: Ph.D. position at Brussels University   Bart Van Kerkhove
• [FOM] Konrad Zuse and the stored program computer   John Baldwin
• [FOM] Konrad Zuse and the stored program computer   Alasdair Urquhart
• [FOM] LCC Extension   Logic and Computational Complexity
• [FOM] MacLane   Bas Spitters
• [FOM] MacLane   praatika at mappi.helsinki.fi
• [FOM] MALOA network in Mathematical Logic: 18 PhD student positions (Leeds, Manchester, Oxford, Lyon, Paris, Muenster, Muenchen, Prague)   Peter Schuster
• [FOM] Odd Thought About Identity   Richard Heck
• [FOM] Odd Thought About Identity   Harvey Friedman
• [FOM] Odd Thought About Identity   Allen Hazen
• [FOM] Odd Thought About Identity   Paul Hollander
• [FOM] Odd Thought About Identity   Joel I. Friedman
• [FOM] Odd Thought About Identity   rgheck
• [FOM] Odd Thought About Identity   Neil Tennant
• [FOM] Odd Thought About Identity   rgheck
• [FOM] Odd Thought About Identity   Alex Blum
• [FOM] Odd Thought About Identity   Paul Hollander
• [FOM] Odd Thought About Identity   Paul Hollander
• [FOM] Odd Thought About Identity]   Alex Blum
• [FOM] On Epistemology of Mathematics   Dmytro Taranovsky
• [FOM] P-point/notation   pax0 at seznam.cz
• [FOM] P-point/notation   T.Forster at dpmms.cam.ac.uk
• [FOM] P-point/notation   Andreas Blass
• [FOM] paper announcements   Jeremy Avigad
• [FOM] paper announcements   Nik Weaver
• [FOM] paper announcements   Timothy Y. Chow
• [FOM] paper announcements   Nik Weaver
• [FOM] paper announcements   Timothy Y. Chow
• [FOM] paper: Partial Combinatory Algebras of Functions   Jaap van Oosten
• [FOM] Paris-Nancy PhilMath Workshop (P-NPMW), October 21-22, 2009, Nancy   Mark van Atten
• [FOM] Permutations and Rearrangements   Ivan Antonowitz
• [FOM] PhD position in Nottingham   vxc at Cs.Nott.AC.UK
• [FOM] progic: Combining probability and logic   Jon Williamson
• [FOM] Project announcement   Sebastian Reichelt
• [FOM] Project announcement   Andrej Bauer
• [FOM] Project announcement   Sebastian Reichelt
• [FOM] quantifiers as sentential operators   G. Aldo Antonelli
• [FOM] quantifiers as sentential operators   Vaughan Pratt
• [FOM] quantifiers as sentential operators   Jon Awbrey
• [FOM] R and the powerset axiom   Arnon Avron
• [FOM] R and the powerset axiom   Andrej Bauer
• [FOM] Reminder: Deadline for Special Issue of IMLA approaching (31st May 2009)   Valeria de Paiva
• [FOM] some questions about "336:Undecidability/Euclidean geometry/2 (Harvey Friedman)"   Richard Pollack
• [FOM] Tableaux 2009: Call for Participation   Viorica Sofronie-Stokkermans
• [FOM] The Reasoner 3(6) now available   Jon Williamson
• [FOM] Two 2-year research fellowships at the Centre for Reasoning, University of Kent   Jon Williamson
• [FOM] Unsoundness?/Random Sentences   Harvey Friedman
• [FOM] Unsoundness?/Random Sentences   Timothy Y. Chow
• [FOM] When is it appropriate to treat isomorphism as identity?   Arnon Avron
• [FOM] When is it appropriate to treat isomorphism as identity?   Andrej Bauer
• [FOM] When is it appropriate to treat isomorphism as identity?   Arnon Avron
• [FOM] When is it appropriate to treat isomorphism as identity?   Andrej Bauer
• [FOM] When is it appropriate to treat isomorphism as identity?   Monroe Eskew
• [FOM] When is it appropriate to treat isomorphism as identity?   Andrej Bauer
• [FOM] When is it appropriate to treat isomorphism as identity?   Monroe Eskew
• [FOM] When is it appropriate to treat isomorphism as identity?   Andrej Bauer
• [FOM] When is it appropriate to treat isomorphism as identity?   sambin at math.unipd.it
• [FOM] When is it appropriate to treat isomorphism as identity?   Jay Sulzberger
• [FOM] When is it appropriate to treat isomorphism as identity?   hendrik at topoi.pooq.com
• [FOM] When is it appropriate to treat isomorphism as identity?   Monroe Eskew
• [FOM] When is it appropriate to treat isomorphism as identity?   Andrej Bauer
• [FOM] When is it appropriate to treat isomorphism as identity?   Timothy Y. Chow
• [FOM] When is it appropriate to treat isomorphism as identity?   Andrej Bauer
• [FOM] When is it appropriate to treat isomorphism as identity?   karim zahidi
• [FOM] When is it appropriate to treat isomorphism as identity?   Andrej Bauer
• [FOM] When is it appropriate to treat isomorphism as identity?   Andrej Bauer
• [FOM] When is it appropriate to treat isomorphism as identity?   Vaughan Pratt
• [FOM] When is it appropriate to treat isomorphism as identity?   Vaughan Pratt
• [FOM] When is it appropriate to treat isomorphism as identity?   Vaughan Pratt
• [FOM] When is it appropriate to treat isomorphism as identity?   Monroe Eskew
• [FOM] When is it appropriate to treat isomorphism as identity?   Vaughan Pratt
• [FOM] When is it appropriate to treat isomorphism as identity?   karim zahidi
• [FOM] When is it appropriate to treat isomorphism as identity?   Andrej Bauer
• [FOM] When is it appropriate to treat isomorphism as identity?   Andrej Bauer
• [FOM] When is it appropriate to treat isomorphism as identity?   Vaughan Pratt
• [FOM] When is it appropriate to treat isomorphism as identity?   Andrej Bauer
• [FOM] Zuse   T.Forster at dpmms.cam.ac.uk

Last message date: Sun May 31 13:41:29 EDT 2009
Archived on: Mon Jun 1 21:15:15 EDT 2009

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