May 2009 Archives by subject
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
This archive was generated by
Pipermail 0.09 (Mailman edition).