November 2011 Archives by author

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

Starting: Thu Nov 3 07:13:28 EDT 2011
Ending: Wed Nov 30 21:31:22 EST 2011
Messages: 72

• [FOM] LPAR-18 workshops IWIL-2012 and APS-6 - Calls for Papers   Geoff Sutcliffe by way of Martin Davis <martin at eipye.com>
• [FOM] Generalization Axiom Scheme.   Zuhair Abdul Ghafoor Al-Johar
• [FOM] Generalization Axiom Scheme   Zuhair Abdul Ghafoor Al-Johar
• [FOM] A question about Ackermann's set theory.   Zuhair Abdul Ghafoor Al-Johar
• [FOM] Generalization Axiom Scheme   Zuhair Abdul Ghafoor Al-Johar
• [FOM] On the nature of Sets   Zuhair Abdul Ghafoor Al-Johar
• [FOM] Generalization Axiom Scheme   Zuhair Abdul Ghafoor Al-Johar
• [FOM] Generalization Axiom Scheme   Zuhair Abdul Ghafoor Al-Johar
• [FOM] IAS Univalent Foundations Program   Steve Awodey
• [FOM] MFPS First Call for Papers   Ulrich Berger
• [FOM] Is ZF interpretable in ZF minus extensionality plus X inaccessibles?   Frode Bjørdal
• [FOM] expressive power of natural languages   Robert Black
• [FOM] From Compactness to Completeness   Alex Blum
• [FOM] From Compactness to Completeness   Alex Blum
• [FOM] why should we, in computer science, be excited about the possibility of speeds exceeding speed of light   Paul Budnik
• [FOM] closing thread on speeds exceeding speed of light   Martin Davis
• [FOM] Universe-sized groups with only set-sized normal subgroups   David Diamondstone
• [FOM] Banach Tarski Paradox/Line   David Diamondstone
• [FOM] Mini-Workshop "Maximalist and Minimalist Perspectives on Infinity" Seville, Spain, Nov. 7 & 8   José Ferreirós Domínguez
• [FOM] First order axiomatizability   François Dorais
• [FOM] why should we, in computer science, be excited about the possibility of speeds exceeding speed of light   Tom Dunion
• [FOM] expressive power of natural languages   ARF (Richard L. Epstein)
• [FOM] why should we, in computer science, be excited about the possibility of speeds exceeding speed of light   Steven Ericsson-Zenith
• [FOM] expressive power of natural languages   Monroe Eskew
• [FOM] Banach Tarski Paradox/Line   Christian Espindola
• [FOM] 469: Invariant Maximaility/Incompleteness   Harvey Friedman
• [FOM] 470: Invariant Maximal Square Theorem   Harvey Friedman
• [FOM] 471:Shift Invariant Maximal Squares/Incompleteness   Harvey Friedman
• [FOM] 472:Shift Invariant Maximal Squares/Incompleteness 2   Harvey Friedman
• [FOM] Banach Tarski Paradox/Line   K. P. Hart
• [FOM] why should we, in computer science, be excited about the possibility of speeds exceeding speed of light   Richard Heck
• [FOM] expressive power of natural languages   Richard Heck
• [FOM] Variants of ACA   Jeff Hirst
• [FOM] Master in Pure and Applied Logic   Joost J. Joosten
• [FOM] why should we, in computer science, be excited about the possibility of speeds exceeding speed of light   Kreinovich, Vladik
• [FOM] why should we, in computer science, be excited about the possibility of speeds exceeding speed of light   Kreinovich, Vladik
• [FOM] why should we, in computer science, be excited about the possibility of speeds exceeding speed of light   Kreinovich, Vladik
• [FOM] LICS 2012 - Final Call for Workshop Proposals   Kreutzer, Stephan
• [FOM] DICE 2012 - Second Call for Papers   Ugo Dal Lago
• [FOM] Funding Application Deadline for the Turing MAMLS   Robert Lubarsky
• [FOM] Grothendieck foundations: Zariski and coherent cohomology   Colin McLarty
• [FOM] Grothendieck foundations: Zariski and coherent cohomology   Colin McLarty
• [FOM] Banach Tarski Paradox/Line   George McNulty
• [FOM] WST 2012: First Call For Papers   Georg Moser
• [FOM] Universe-sized groups with only set-sized normal subgroups   David Roberts
• [FOM] A quotation from Fraenkel   David Roberts
• [FOM] Banach Tarski Paradox/Line   David Roberts
• [FOM] Grothendieck foundations: Zariski and coherent cohomology   David Roberts
• [FOM] SAT 2012: Call for Papers   Roberto Sebastiani
• [FOM] closing thread on speeds exceeding speed of light   Joe Shipman
• [FOM] Banach Tarski Paradox/Line   Joe Shipman
• [FOM] Croatian Logical Association   Sandro Skansi
• [FOM] why should we, in computer science, be excited about the possibility of speeds exceeding speed of light   Apostolos Syropoulos
• [FOM] Banach Tarski Paradox/Line   Alasdair Urquhart
• [FOM] fun with paradoxes   Alasdair Urquhart
• [FOM] CCA 2012, Call for Papers   Klaus Weihrauch
• [FOM] Banach Tarski Paradox/Line   Brian White
• [FOM] Witness   T.Forster at dpmms.cam.ac.uk
• [FOM] A quotation from Fraenkel   T.Forster at dpmms.cam.ac.uk
• [FOM] A quotation from Fraenkel   T.Forster at dpmms.cam.ac.uk
• [FOM] expressive power of natural languages   americanmcgeesfr at gmx.net
• [FOM] AL-MUKHATABAT- A New electronic Journal in logic and Epsitemology.   mlika hamdi
• [FOM] fun with paradoxes   hxl
• [FOM] CfP: Symposium on the History and Philosophy of Programming - Birmingham 5-6 July 2012   gprimiero at libero.it
• [FOM] Banach Tarski Paradox/Line   W.Taylor at math.canterbury.ac.nz
• [FOM] Banach Tarski Paradox/Line   W.Taylor at math.canterbury.ac.nz
• [FOM] Banach Tarski Paradox/Line   W.Taylor at math.canterbury.ac.nz
• [FOM] why should we, in computer science, be excited about the possibility of speeds exceeding speed of light   meskew at math.uci.edu
• [FOM] Variants of ACA   pax0 at seznam.cz
• [FOM] First order axiomatizability   pax0 at seznam.cz
• [FOM] Banach Tarski Paradox/Line   pax0 at seznam.cz
• [FOM] Variants of ACA   pax0 at seznam.cz

Last message date: Wed Nov 30 21:31:22 EST 2011
Archived on: Thu Dec 1 17:14:19 EST 2011

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