December 2009 Archives by author

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

Starting: Tue Dec 1 08:32:00 EDT 2009
Ending: Thu Dec 31 13:09:02 EDT 2009
Messages: 80

• [FOM] literature on non-standard models   Matthew Moore (Philosophy)
• [FOM] LPAR-16 - Dakar, Senegal - April 2010   Geoff Sutcliffe by way of Martin Davis <martin at eipye.com>
• [FOM] 2nd CFP: Symposium on Mathematical Practice and Cognition   Andrew Aberdein
• [FOM] Cardinality Beyond Regularity and Choice!   Zuhair Abdul Ghafoor Al-Johar
• [FOM] cardinality beyond regularity and Choice   Zuhair Abdul Ghafoor Al-Johar
• [FOM] Cardinality Beyond Regularity and Choice!   Zuhair Abdul Ghafoor Al-Johar
• [FOM] Cardinality Beyond Regularity and Choice!   Zuhair Abdul Ghafoor Al-Johar
• [FOM] Cardinality Beyond Regularity and Choice!   Zuhair Abdul Ghafoor Al-Johar
• [FOM] A textbook on logic with natural deduction   David Auerbach
• [FOM] A textbook on logic with natural deduction   David Auerbach
• [FOM] A textbook on logic with natural deduction   Jon Awbrey
• [FOM] Cactus Language and Differential Logic   Jon Awbrey
• [FOM] Square of Opposition Congress   Jon Awbrey
• [FOM] Square of Opposition Congress -- Font Fix   Jon Awbrey
• [FOM] A textbook on logic with natural deduction   Andrej Bauer
• [FOM] A textbook on logic with natural deduction   Andrej Bauer
• [FOM] theory of cardinals in HOL?   Andrej Bauer
• [FOM] A puzzle concerning truth   Andrej Bauer
• [FOM] Mac lane set theory   Jeremy Bem
• [FOM] Mac lane set theory   Jeremy Bem
• [FOM] A textbook on logic with natural deduction   Ulrich Berger
• [FOM] CFP: International Workshop on Hybrid Logic and Applications (HyLo 2010)   Thomas Bolander
• [FOM] Mathematical Truth   Paul Budnik
• [FOM] BEST 2010 First Announcement   Andres Caicedo
• [FOM] [CiE] Newsletter No.24, December 13, 2009   CiE
• [FOM] Conference honoring Smullyan's 90th birthday   Martin Davis
• [FOM] CALL FOR PAPERS: FROM PRACTICE TO RESULTS IN LOGIC AND MATHEMATICS   Martin Davis
• [FOM] Cardinality Beyond Regularity and Choice!   Monroe Eskew
• [FOM] Cardinality Beyond Regularity and Choice!   Thomas Forster
• [FOM] Mac lane set theory   Thomas Forster
• [FOM] Mac lane set theory   Thomas Forster
• [FOM] 373:Upper Shifts, Greedy Chains, Vector Reduction, and Large Cardinals   Harvey Friedman
• [FOM] #373 typo   Harvey Friedman
• [FOM] 374:Upper Shift Greedy Chain Games   Harvey Friedman
• [FOM] 375: Upper Shift Clique Games and Large Cardinals 1   Harvey Friedman
• [FOM] 376: The Upper Shift Greedy Clique Theorem, and Large Cardinals   Harvey Friedman
• [FOM] 377: The Polynomial Shift Theorem   Harvey Friedman
• [FOM] 378: Upper Shift Clique Sequences and Large Cardinals   Harvey Friedman
• [FOM] 379: Greedy Sets and Huge Cardinals 1   Harvey Friedman
• [FOM] 380: More Polynomial Shift Theorems   Harvey Friedman
• [FOM] 381:Trigonometric Block Theorems   Harvey Friedman
• [FOM] 382:Upper Shift Greedy Cliques and Large Cardinals   Harvey Friedman
• [FOM] 383:Upper Shift Greedy Clique Sequences and Large Cardinals 1   Harvey Friedman
• [FOM] 384: The Polynomial Shift Translation Theorem/CORRECTION   Harvey Friedman
• [FOM] A textbook on logic with natural deduction   Jean Gallier
• [FOM] Call for papers: Philosophy and Model Theory Conference, Paris, June 2-5, 2010   Brice Halimi
• [FOM] A textbook on logic with natural deduction   Peter Hancock
• [FOM] CFP: LRR10: LOGIC, REASONING AND RATIONALITY   Albrecht Heeffer
• [FOM] J.UCS Special Issue CCA 2009: Second Call for Papers   Peter Hertling
• [FOM] cardinality beyond regularity and Choice   Irving
• [FOM] cardinality beyond regularity and Choice   Irving
• [FOM] Square of Opposition Congress - Corsica 2010   BEZIAU Jean-Yves
• [FOM] Physics and Computation 2010 -- CALL FOR PAPERS   José
• [FOM] First Announcement BLAST 2010   Bart Kastermans
• [FOM] ITP 2010 - Third Call for Papers   Matt Kaufmann
• [FOM] Logic in Computer Science (LICS) - Call for Papers   Stephan Kreutzer
• [FOM] Mycielski's "A System of Axioms of Set Theory for the Rationalists"   Rupert McCallum
• [FOM] A textbook on logic with natural deduction   George McNulty
• [FOM] Posting to FOM   Miller, S. DR MATH
• [FOM] A textbook on logic with natural deduction   Charles Parsons
• [FOM] CFP, LfSA10 -- Logics for System Analysis 2010 at FLoC, Edinburgh   Andre Platzer
• [FOM] theory of cardinals in HOL?   Andrei Popescu
• [FOM] A textbook on logic with natural deduction   Vaughan Pratt
• [FOM] A puzzle concerning truth   Vaughan Pratt
• [FOM] First Call for papers - Infinity 2010   Julian Rohrhuber
• [FOM] First Call for papers - Infinity 2010   Yaroslav D. Sergeyev
• [FOM] A textbook on logic with natural deduction   Charles Silver
• [FOM] A textbook on logic with natural deduction   Charles Silver
• [FOM] A new definition of Cardinality.   T.Forster at dpmms.cam.ac.uk
• [FOM] Cardinality Beyond Regularity and Choice!   T.Forster at dpmms.cam.ac.uk
• [FOM] Cardinality Beyond Regularity and Choice!   T.Forster at dpmms.cam.ac.uk
• [FOM] A textbook on logic with natural deduction   Sara L. Uckelman
• [FOM] literature on non-standard models   catarina dutilh
• [FOM] Mac lane set theory   joeshipman at aol.com
• [FOM] A textbook on logic with natural deduction   paul at personalit.net
• [FOM] A textbook on logic with natural deduction   paul at personalit.net
• [FOM] A textbook on logic with natural deduction   paul at personalit.net
• [FOM] A textbook on logic with natural deduction   posta at mariochiari.net
• [FOM] A textbook on logic with natural deduction   praatika at mappi.helsinki.fi
• [FOM] Mac lane set theory   rgheck

Last message date: Thu Dec 31 13:09:02 EDT 2009
Archived on: Thu Dec 31 19:47:59 EDT 2009

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