February 2014 Archives by date
Starting: Mon Feb 3 11:38:19 EST 2014
Ending: Fri Feb 28 16:27:40 EST 2014
Messages: 78
- [FOM] Sixth French Philosophy of Mathematics Workshop (FPMW 6), October 9-11, 2014, Toulouse (France)
Brice Halimi
- [FOM] CTFM 2014 -- updated information
Stephen G Simpson
- [FOM] Reference request: realizability interpretations for CZF
Anders Lundstedt
- [FOM] Sendai Logic School, co-located with CTFM 2014
Stephen G Simpson
- [FOM] CFP: Symposium on the Foundations of Mathematics, Kurt Gödel Research Center, University of Vienna.
Neil Barton
- [FOM] Reference request: realizability interpretations for CZF
Robert Lubarsky
- [FOM] Fwd: categories: Midlands Graduate School 2014, Nottingham, UK
Paul B Levy
- [FOM] Reference request: realizability interpretations for CZF
Oosten, J. van
- [FOM] Last CFP: Abstractionism / Neo-Logicism (UConn Logic Group)
Rossberg, Marcus
- [FOM] question about Mendelson's Intro to Math Logic
Robert Lubarsky
- [FOM] question about Mendelson's Intro to Math Logic
Arnon Avron
- [FOM] question about Mendelson's Intro to Math Logic
Robert Solovay
- [FOM] question about Mendelson's Intro to Math Logic
Paulo Oliva
- [FOM] question about Mendelson's Intro to Math Logic
Robert Lubarsky
- [FOM] CCR 2014 Announcement
Veronica Becher
- [FOM] South American Journal of Logic
jean-yves beziau
- [FOM] question about Mendelson's Intro to Math Logic
Jeff Hirst
- [FOM] Mendelson exercise (from Luigi Oliveri)
Martin Davis
- [FOM] Mendelson exercise (from Luigi Oliveri)
Jeff Hirst
- [FOM] Mendelson exercise (from Luigi Oliveri)
Arnon Avron
- [FOM] Mendelson exercise (from Luigi Oliveri)
Robert Lubarsky
- [FOM] CFP: THE STUDENT SESSION OF THE THIRD EAST-ASIAN SCHOOL ON LOGIC, LANGUAGE AND COMPUTATION (EASLLC 2014)
jkennedy at mappi.helsinki.fi
- [FOM] Bases for vector spaces
T.Forster at dpmms.cam.ac.uk
- [FOM] Alternative foundations?
Victor Marek
- [FOM] Alternative foundations?
David Roberts
- [FOM] Alternative foundations?
Michael Carroll
- [FOM] Alternative foundations?
Jay Sulzberger
- [FOM] Alternative foundations?
Staffan Angere
- [FOM] Alternative foundations?
Kreinovich, Vladik
- [FOM] From John Steel (Mitchell meeting)
Martin Davis
- [FOM] Alternative Foundations?
Harvey Friedman
- [FOM] An example in homotopy type theory
Kevin Watkins
- [FOM] FW: [Alternative foundations: confirmation from Edward Frenkel
Kreinovich, Vladik
- [FOM] Alternative foundations?
jkennedy at mappi.helsinki.fi
- [FOM] Alternative foundations?
henk
- [FOM] Alternative foundations?
Hendrik Boom
- [FOM] Carnegie Mellon Summer School in Logic and Formal Epistemology
Jeremy Avigad
- [FOM] PhD Research Studentships
gprimiero at libero.it
- [FOM] Alternative foundations?
Dustin Wehr
- [FOM] Alternative foundations?
Carl Hewitt
- [FOM] Alternative foundations?
Kreinovich, Vladik
- [FOM] Alternative foundations?
T.Forster at dpmms.cam.ac.uk
- [FOM] FW: Alternative foundations?
Carl Hewitt
- [FOM] Alternative foundations?
David Roberts
- [FOM] Alternative foundations?
meskew at math.uci.edu
- [FOM] Alternative foundations?
Harvey Friedman
- [FOM] Alternative foundations?
Mitchell Spector
- [FOM] Alternative foundations?
Josef Urban
- [FOM] Alternative foundations?
Panu Raatikainen
- [FOM] CFP: 11th International Workshop on Boolean Problems (IWSBP'14)
Miroslav Velev
- [FOM] Computational set thery
Arnon Avron
- [FOM] Alternative foundations?
Christopher Menzel
- [FOM] Alternative foundations?
jkennedy at mappi.helsinki.fi
- [FOM] Alternative Foundations?/question
Harvey Friedman
- [FOM] Alternative foundations?
Timothy Y. Chow
- [FOM] Alternative foundations?
henk
- [FOM] Computational set theory
henk
- [FOM] CFP: 11th International Workshop on Boolean Problems (IWSBP'14)
Miroslav Velev
- [FOM] Alternative foundations?
Freek Wiedijk
- [FOM] An example in homotopy type theory
Freek Wiedijk
- [FOM] General Purpose/Special Purpose
Harvey Friedman
- [FOM] Computational set thery
Klaus Ebbe Grue
- [FOM] Objective mathematics in a finite unbounded universe
Paul Budnik
- [FOM] Alternative foundations?
Rob Arthan
- [FOM] Alternative Foundations/philosophical
Harvey Friedman
- [FOM] An attempt of a constructive proof for Takeuti Conjecture
Sandro Skansi
- [FOM] Objective mathematics in a finite unbounded universe
Stephen P. King
- [FOM] Computational set theory
Freek Wiedijk
- [FOM] General Purpose/Special Purpose
MartDowd at aol.com
- [FOM] Alternative Foundations/philosophical
Nick Nielsen
- [FOM] Alternative Foundations/philosophical
Timothy Y. Chow
- [FOM] Alternative Foundations/philosophical
joeshipman at aol.com
- [FOM] Alternative Foundations/philosophical
Jay Sulzberger
- [FOM] An attempt of a constructive proof for Takeuti Conjecture
WILLIAM TAIT
- [FOM] Call for submissions: MSCS special Computable Analysis; EXTENSION OF DEADLINE
Dieter Spreen
- [FOM] Foundations Crucial
Harvey Friedman
- [FOM] Alternative Foundations/philosophical
Bas Spitters
- [FOM] Alternative Foundations/philosophical
Timothy Y. Chow
Last message date:
Fri Feb 28 16:27:40 EST 2014
Archived on: Sun Mar 2 17:34:39 EST 2014
This archive was generated by
Pipermail 0.09 (Mailman edition).