October 2011 Archives by author
Starting: Sat Oct 1 00:32:47 EDT 2011
Ending: Fri Oct 28 08:34:08 EDT 2011
Messages: 115
- [FOM] LPAR-18 Call for Papers and Workshops
Geoff Sutcliffe by way of Martin Davis <martin at eipye.com>
- [FOM] LPAR-18 extended deadline
Geoff Sutcliffe by way of Martin Davis <martin at eipye.com>
- [FOM] Disguised Set Theory "DST"
Zuhair Abdul Ghafoor Al-Johar
- [FOM] Disguised Set Theory "DST"
Zuhair Abdul Ghafoor Al-Johar
- [FOM] Disguised Set Theory "DST"
Zuhair Abdul Ghafoor Al-Johar
- [FOM] Disguised Set Theory "DST"
Zuhair Abdul Ghafoor Al-Johar
- [FOM] Disguised Set Theory "DST"
Zuhair Abdul Ghafoor Al-Johar
- [FOM] Hierarchy Set Theory: A Landscape of ZF.
Zuhair Abdul Ghafoor Al-Johar
- [FOM] inconsistency of P
Staffan Angere
- [FOM] inconsistency of P
Arnon Avron
- [FOM] inconsistency of P
Arnon Avron
- [FOM] Inconsistency of Inaccessibility
Andrej Bauer
- [FOM] Newton Institute Workshop "Logical Approaches to Barriers in Complexity II"
Arnold Beckmann
- [FOM] Disguised Set Theory "DST"
Frode Bjørdal
- [FOM] Disguised Set Theory "DST"
Frode Bjørdal
- [FOM] Disguised Set Theory "DST"
Frode Bjørdal
- [FOM] disguised set theory "DST"
Frode Bjørdal
- [FOM] Disguised Set Theory "DST"
Frode Bjørdal
- [FOM] inconsistency of P
Hendrik Boom
- [FOM] CiE Newsletter No.51, October 19, 2011
Olivier Bournez
- [FOM] The Platonistic philosophy of mathematics
Paul Budnik
- [FOM] CAV 2012: Call For Papers
CAV 2012 CFP
- [FOM] CAV 2012: Call For Workshops
CAV 2012 CFP
- [FOM] inconsistency of P
Timothy Y. Chow
- [FOM] inconsistency of P
Timothy Y. Chow
- [FOM] inconsistency of P
Timothy Y. Chow
- [FOM] inconsistency of P
Timothy Y. Chow
- [FOM] inconsistency of P
Timothy Y. Chow
- [FOM] inconsistency of P
Timothy Y. Chow
- [FOM] Fwd: invitation to comment (charlie)
Timothy Y. Chow
- [FOM] Turing Centenary Meeting, Chinese Academy of Sciences, Beijing, China
S Barry Cooper
- [FOM] [ATY/TCAC] Early October update additions
S Barry Cooper
- [FOM] workshop on set theory and philosophy -- Sevilla, 7-8 noviembre
José Ferreirós Domínguez
- [FOM] picture of V
José Ferreirós Domínguez
- [FOM] Platonistic philosophy of Mathematics (response to Budnik's post)
Tom Dunion
- [FOM] Full professor of logic at the University of Gothenburg
Fredrik Engström
- [FOM] Corrections to *Classical Mathematical Logic*
ARF (Richard L. Epstein)
- [FOM] Corrections for *Propositional Logics*?
ARF (Richard L. Epstein)
- [FOM] inconsistency of P
Monroe Eskew
- [FOM] Inconsistency of P
Monroe Eskew
- [FOM] Inconsistency of P
Monroe Eskew
- [FOM] Inconsistency of P
Monroe Eskew
- [FOM] Inconsistency of P
Monroe Eskew
- [FOM] Inconsistency of P
Monroe Eskew
- [FOM] inconsistency of P
Monroe Eskew
- [FOM] Inconsistency of P
Monroe Eskew
- [FOM] Inconsistency of P
Monroe Eskew
- [FOM] Inconsistency of Inaccessibility
Monroe Eskew
- [FOM] Inconsistency of Inaccessibility
Monroe Eskew
- [FOM] inconsistency of P
Harvey Friedman
- [FOM] inconsistency of P
Harvey Friedman
- [FOM] inconsistency of P
Harvey Friedman
- [FOM] link to new paper
Harvey Friedman
- [FOM] updated link
Harvey Friedman
- [FOM] Embedding intuitionistic logic in classical
GMAIL
- [FOM] RTA 2012: First Call For Papers
Georg
- [FOM] Aristotle's notion of intuition
Ian Grant
- [FOM] CFP: LLP special issue on point-free systems of geometry and topology
Rafał Gruszczyński
- [FOM] MAMLS in Florida January 13-15, 2012 Logic at the Beach!
Joel David Hamkins
- [FOM] Announcing the New England Recursion theory and Definability Seminar
Joel David Hamkins
- [FOM] Consistency of P
Richard Heck
- [FOM] inconsistency of P and extreme formalism
Richard Heck
- [FOM] inconsistency of P and extreme formalism
Richard Heck
- [FOM] disguised set theory "DST"
Randall Holmes
- [FOM] Inconsistency of Inaccessibility
Alexander Kiselev
- [FOM] inconsistency of P
Aatu Koskensilta
- [FOM] Square of Opposition - Beirut 2012
Universal Logic
- [FOM] Grothendieck foundations in second order arithmetic
Colin McLarty
- [FOM] Inconsistency of P
Daniel Mehkeri
- [FOM] Inconsistency of P
Daniel Mehkeri
- [FOM] Inconsistency of P
Daniel Mehkeri
- [FOM] Inconsistency of P
Daniel Mehkeri
- [FOM] Interpretability in Q
Daniel Mehkeri
- [FOM] inconsistency of P
Edward Nelson
- [FOM] inconsistency of P
Edward Nelson
- [FOM] inconsistency of P
Arnold Neumaier
- [FOM] CfP: Intuitionistic Modal Logics and Applications (IMLA) special issue JLogComp
Valeria de Paiva
- [FOM] inconsistency of P
Vaughan Pratt
- [FOM] WoLLIC 2012 - Call for Papers
Ruy de Queiroz
- [FOM] inconsistency of P
Panu Raatikainen
- [FOM] inconsistency of P
Panu Raatikainen
- [FOM] Inconsistency of P
Panu Raatikainen
- [FOM] Inconsistency of P
Panu Raatikainen
- [FOM] inconsistency of P
Panu Raatikainen
- [FOM] Inconsistency of P
Panu Raatikainen
- [FOM] Inconsistency of P
Panu Raatikainen
- [FOM] Inconsistency of P
Panu Raatikainen
- [FOM] Inconsistency of P
Panu Raatikainen
- [FOM] Inconsistency of P: two questions
Panu Raatikainen
- [FOM] Inconsistency of P
Panu Raatikainen
- [FOM] inconsistency of P and extreme formalism
Panu Raatikainen
- [FOM] Inconsistency of P
Rempe, Lasse
- [FOM] Cauchy subsequences of rationals and Con(PA)
David Roberts
- [FOM] inconsistency of P
David Roberts
- [FOM] inconsistency of P and extreme formalism
Robert Rynasiewicz
- [FOM] Fwd: invitation to comment
Robert Rynasiewicz
- [FOM] inconsistency of P
Sam Sanders
- [FOM] inconsistency of P
Sam Sanders
- [FOM] Inconsistency of Inaccessibility
Joe Shipman
- [FOM] inconsistency of P
Studtmann, Paul
- [FOM] inconsistency of P
Studtmann, Paul
- [FOM] LATA 2012: submission deadline extended
"Carlos Martín Vide"
- [FOM] inconsistency of P and extreme formalism
Brian White
- [FOM] PhD and postdoc positions in inductive logic at Kent
Jon Williamson
- [FOM] The Reasoner 5(11) available for download
Jon Williamson
- [FOM] Inconsistency of Inaccessibility
MartDowd at aol.com
- [FOM] Inconsistency of Inaccessibility
MartDowd at aol.com
- [FOM] Inconsistency of Inaccessibility
MartDowd at aol.com
- [FOM] Fwd: invitation to comment
charlie
- [FOM] Fwd: invitation to comment (charlie)
charlie
- [FOM] lying to children
T.Forster at dpmms.cam.ac.uk
- [FOM] 4th Workshop on the Philosophy of Information
gprimiero at libero.it
- [FOM] inconsistency of P
W.Taylor at math.canterbury.ac.nz
- [FOM] PhD-student position in Mathematical Logic
palmgren at math.uu.se
- [FOM] Model Theory/Hodges/Exercises
pax0 at seznam.cz
Last message date:
Fri Oct 28 08:34:08 EDT 2011
Archived on: Sat Oct 29 00:16:37 EDT 2011
This archive was generated by
Pipermail 0.09 (Mailman edition).