December 2009 Archives by subject
Starting: Tue Dec 1 08:32:00 EDT 2009
Ending: Thu Dec 31 13:09:02 EDT 2009
Messages: 80
- [FOM] #373 typo
Harvey Friedman
- [FOM] 2nd CFP: Symposium on Mathematical Practice and Cognition
Andrew Aberdein
- [FOM] 373:Upper Shifts, Greedy Chains, Vector Reduction, and Large Cardinals
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] [CiE] Newsletter No.24, December 13, 2009
CiE
- [FOM] A new definition of Cardinality.
T.Forster at dpmms.cam.ac.uk
- [FOM] A puzzle concerning truth
Vaughan Pratt
- [FOM] A puzzle concerning truth
Andrej Bauer
- [FOM] A textbook on logic with natural deduction
Andrej Bauer
- [FOM] A textbook on logic with natural deduction
Sara L. Uckelman
- [FOM] A textbook on logic with natural deduction
Jon Awbrey
- [FOM] A textbook on logic with natural deduction
Ulrich Berger
- [FOM] A textbook on logic with natural deduction
George McNulty
- [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
Jean Gallier
- [FOM] A textbook on logic with natural deduction
Peter Hancock
- [FOM] A textbook on logic with natural deduction
paul at personalit.net
- [FOM] A textbook on logic with natural deduction
praatika at mappi.helsinki.fi
- [FOM] A textbook on logic with natural deduction
posta at mariochiari.net
- [FOM] A textbook on logic with natural deduction
Andrej Bauer
- [FOM] A textbook on logic with natural deduction
Charles Silver
- [FOM] A textbook on logic with natural deduction
Vaughan Pratt
- [FOM] A textbook on logic with natural deduction
Charles Parsons
- [FOM] A textbook on logic with natural deduction
paul at personalit.net
- [FOM] A textbook on logic with natural deduction
Charles Silver
- [FOM] A textbook on logic with natural deduction
paul at personalit.net
- [FOM] BEST 2010 First Announcement
Andres Caicedo
- [FOM] Cactus Language and Differential Logic
Jon Awbrey
- [FOM] CALL FOR PAPERS: FROM PRACTICE TO RESULTS IN LOGIC AND MATHEMATICS
Martin Davis
- [FOM] Call for papers: Philosophy and Model Theory Conference, Paris, June 2-5, 2010
Brice Halimi
- [FOM] cardinality beyond regularity and Choice
Irving
- [FOM] cardinality beyond regularity and Choice
Zuhair Abdul Ghafoor Al-Johar
- [FOM] cardinality beyond regularity and Choice
Irving
- [FOM] Cardinality Beyond Regularity and Choice!
Zuhair Abdul Ghafoor Al-Johar
- [FOM] Cardinality Beyond Regularity and Choice!
T.Forster at dpmms.cam.ac.uk
- [FOM] Cardinality Beyond Regularity and Choice!
Thomas Forster
- [FOM] Cardinality Beyond Regularity and Choice!
Monroe Eskew
- [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!
T.Forster at dpmms.cam.ac.uk
- [FOM] Cardinality Beyond Regularity and Choice!
Zuhair Abdul Ghafoor Al-Johar
- [FOM] CFP, LfSA10 -- Logics for System Analysis 2010 at FLoC, Edinburgh
Andre Platzer
- [FOM] CFP: International Workshop on Hybrid Logic and Applications (HyLo 2010)
Thomas Bolander
- [FOM] CFP: LRR10: LOGIC, REASONING AND RATIONALITY
Albrecht Heeffer
- [FOM] Conference honoring Smullyan's 90th birthday
Martin Davis
- [FOM] First Announcement BLAST 2010
Bart Kastermans
- [FOM] First Call for papers - Infinity 2010
Yaroslav D. Sergeyev
- [FOM] First Call for papers - Infinity 2010
Julian Rohrhuber
- [FOM] ITP 2010 - Third Call for Papers
Matt Kaufmann
- [FOM] J.UCS Special Issue CCA 2009: Second Call for Papers
Peter Hertling
- [FOM] literature on non-standard models
catarina dutilh
- [FOM] literature on non-standard models
Matthew Moore (Philosophy)
- [FOM] Logic in Computer Science (LICS) - Call for Papers
Stephan Kreutzer
- [FOM] LPAR-16 - Dakar, Senegal - April 2010
Geoff Sutcliffe by way of Martin Davis <martin at eipye.com>
- [FOM] Mac lane set theory
Thomas Forster
- [FOM] Mac lane set theory
joeshipman at aol.com
- [FOM] Mac lane set theory
Thomas Forster
- [FOM] Mac lane set theory
Jeremy Bem
- [FOM] Mac lane set theory
rgheck
- [FOM] Mac lane set theory
Jeremy Bem
- [FOM] Mathematical Truth
Paul Budnik
- [FOM] Mycielski's "A System of Axioms of Set Theory for the Rationalists"
Rupert McCallum
- [FOM] Physics and Computation 2010 -- CALL FOR PAPERS
José
- [FOM] Posting to FOM
Miller, S. DR MATH
- [FOM] Square of Opposition Congress
Jon Awbrey
- [FOM] Square of Opposition Congress - Corsica 2010
BEZIAU Jean-Yves
- [FOM] Square of Opposition Congress -- Font Fix
Jon Awbrey
- [FOM] theory of cardinals in HOL?
Andrei Popescu
- [FOM] theory of cardinals in HOL?
Andrej Bauer
Last message date:
Thu Dec 31 13:09:02 EDT 2009
Archived on: Thu Dec 31 19:47:59 EDT 2009
This archive was generated by
Pipermail 0.09 (Mailman edition).